Skip to content

Actions: metareflection/dafny-replay

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
342 workflow runs
342 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
generate methods too CI #193: Commit ee1b2ec pushed by namin
7m 30s main
main
7m 30s
pages build and deployment pages-build-deployment #143: by namin
41s main
main
41s
shoutout to lemmafit CI #192: Commit 3181ca0 pushed by namin
7m 20s main
main
7m 20s
pages build and deployment pages-build-deployment #142: by namin
40s main
main
40s
dafny2js update CI #191: Commit 452e41e pushed by namin
7m 4s main
main
7m 4s
pages build and deployment pages-build-deployment #141: by namin
39s main
main
39s
update dafny2js CI #190: Commit 6b4269e pushed by namin
7m 13s main
main
7m 13s
pages build and deployment pages-build-deployment #140: by namin
44s main
main
44s
use same convention as other apps CI #189: Commit a99c509 pushed by namin
7m 10s main
main
7m 10s
pages build and deployment pages-build-deployment #139: by namin
43s main
main
43s
use null-options CI #188: Commit ebab97d pushed by namin
6m 5s main
main
6m 5s
pages build and deployment pages-build-deployment #138: by namin
33s main
main
33s
double-click to edit CI #187: Commit c879432 pushed by namin
6m 55s main
main
6m 55s
pages build and deployment pages-build-deployment #137: by namin
41s main
main
41s
update dafny2js CI #186: Commit a99487b pushed by namin
6m 50s main
main
6m 50s
pages build and deployment pages-build-deployment #136: by namin
37s main
main
37s
mangle CI #185: Commit b8abd57 pushed by namin
7m 8s main
main
7m 8s
pages build and deployment pages-build-deployment #135: by namin
44s main
main
44s
update dafny2js CI #184: Commit 684719d pushed by namin
7m 22s main
main
7m 22s
pages build and deployment pages-build-deployment #134: by namin
40s main
main
40s
fix CI #183: Commit fac5ca4 pushed by namin
7m 16s main
main
7m 16s
pages build and deployment pages-build-deployment #133: by namin
39s main
main
39s
annotate return types in dafny2js CI #182: Commit 7010dc7 pushed by namin
7m 4s main
main
7m 4s
pages build and deployment pages-build-deployment #132: by namin
39s main
main
39s
update dafny2js CI #181: Commit bcdc7b5 pushed by namin
7m 9s main
main
7m 9s