Skip to content
Build DafnyRef.pdf

Fix name clash in generated CS files when module and types have same name #19209

Sign in to view logs

Fix name clash in generated CS files when module and types have same name

Fix name clash in generated CS files when module and types have same name #19209

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
build-refman (ubuntu-22.04)
2m 37s
2m 44s