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

Triggered via push January 31, 2024 10:27
@atombatomb
pushed 8bf0879
master
Status Success
Total duration 34s
Artifacts –

jekyll.yml

on: push
build
11s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in