Skip to content
Deploy Jekyll site to Pages

Use full type declaration names in Boogie generation (#5030) #30

Sign in to view logs

Use full type declaration names in Boogie generation (#5030)

Use full type declaration names in Boogie generation (#5030) #30

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11s
deploy
7s
18s