Skip to content
Build DafnyRef.pdf

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

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 #19197

Run time

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