Skip to content

Actions: metareflection/dafny-replay

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
193 workflow runs
193 workflow runs

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
shoutout to lemmafit CI #192: Commit 3181ca0 pushed by namin
7m 20s main
main
7m 20s
dafny2js update CI #191: Commit 452e41e pushed by namin
7m 4s main
main
7m 4s
update dafny2js CI #190: Commit 6b4269e pushed by namin
7m 13s main
main
7m 13s
use same convention as other apps CI #189: Commit a99c509 pushed by namin
7m 10s main
main
7m 10s
use null-options CI #188: Commit ebab97d pushed by namin
6m 5s main
main
6m 5s
double-click to edit CI #187: Commit c879432 pushed by namin
6m 55s main
main
6m 55s
update dafny2js CI #186: Commit a99487b pushed by namin
6m 50s main
main
6m 50s
mangle CI #185: Commit b8abd57 pushed by namin
7m 8s main
main
7m 8s
update dafny2js CI #184: Commit 684719d pushed by namin
7m 22s main
main
7m 22s
fix CI #183: Commit fac5ca4 pushed by namin
7m 16s main
main
7m 16s
annotate return types in dafny2js CI #182: Commit 7010dc7 pushed by namin
7m 4s main
main
7m 4s
update dafny2js CI #181: Commit bcdc7b5 pushed by namin
7m 9s main
main
7m 9s
fix build CI #180: Commit 2077239 pushed by namin
7m 5s main
main
7m 5s
support optimize-erasable-datatype-wrapper in dafny2js CI #179: Commit 8910c1a pushed by namin
7m 1s main
main
7m 1s
use dafny2js submodule CI #178: Commit 4258327 pushed by namin
6m 35s main
main
6m 35s
claim extractor CI #177: Commit 003af69 pushed by namin
6m 55s main
main
6m 55s
Merge branch 'cloudflare-realtime-tweaks' CI #176: Commit 5dd6cea pushed by namin
7m 18s main
main
7m 18s
fix a multi-dispatch ad-hoc conversion bug CI #175: Commit 742c655 pushed by namin
7m 8s main
main
7m 8s
Merge pull request #19 from metareflection/support-cloudflare CI #174: Commit 4ed00b8 pushed by namin
6m 55s main
main
6m 55s
Support Cloudflare workers for backend CI #173: Pull request #19 synchronize by namin
6m 44s support-cloudflare
support-cloudflare
6m 44s
Support Cloudflare workers for backend CI #172: Pull request #19 opened by namin
7m 8s support-cloudflare
support-cloudflare
7m 8s
Update README with new blog post link CI #171: Commit 4da2910 pushed by namin
6m 10s main
main
6m 10s
Update verification command in README CI #170: Commit f885bff pushed by namin
6m 6s main
main
6m 6s
Update README with more blog post links CI #169: Commit 3b6e6a3 pushed by namin
6m 5s main
main
6m 5s