Skip to content
Build DafnyRef.pdf

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

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

Re-run triggered January 7, 2025 12:43
@olivier-awsolivier-aws
#6019
olivier-aws:fix_5746
Status Success
Total duration 2m 46s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
4s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
DafnyRef
1.47 MB