Skip to content
Back to pull request #88

Error if duplicated mnemonics are found. #158

Sign in to view logs

Error if duplicated mnemonics are found.

Error if duplicated mnemonics are found. #158

Triggered via pull request February 5, 2024 09:36
@tsymallatsymalla
opened #88
tsymalla:fix_nameconflicts
Status Success
Total duration 4m 50s
Artifacts –

check-dialects-docker.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in