Skip to content
Deploy Jekyll site to Pages

Use a DafnyProject instead of a root file for printing (#5645) #270

Sign in to view logs

Use a DafnyProject instead of a root file for printing (#5645)

Use a DafnyProject instead of a root file for printing (#5645) #270

Triggered via push July 23, 2024 13:45
@keyboardDrummerkeyboardDrummer
pushed f1b0c01
master
Status Success
Total duration 44s
Artifacts –

jekyll.yml

on: push
build
16s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in