Skip to content

Actions: mit-pdos/daisy-nfsd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try to fix broken proof CI #437: Commit 68530c3 pushed by tchajed
October 16, 2024 23:35 2m 40s main
main
October 16, 2024 23:35 2m 40s
Bump setup-dafny-action in all jobs CI #436: Commit 5be664f pushed by tchajed
October 16, 2024 23:15 1m 31s main
main
October 16, 2024 23:15 1m 31s
Try adding a timeLimitMultiplier CI #435: Commit e919ddd pushed by tchajed
October 16, 2024 23:14 1m 36s main
main
October 16, 2024 23:14 1m 36s
Fix compilation CI #434: Commit 7bc9563 pushed by tchajed
October 16, 2024 23:13 1m 15s main
main
October 16, 2024 23:13 1m 15s
Update for Dafny 4.8 compatibility CI #433: Commit aa3cd3c pushed by tchajed
October 16, 2024 23:09 1m 14s main
main
October 16, 2024 23:09 1m 14s
Update AWS instructions for Lunar CI #432: Commit 26f42d8 pushed by tchajed
January 12, 2024 16:23 4m 44s main
main
January 12, 2024 16:23 4m 44s
Update dependencies in aws setup CI #431: Commit ac8bb3e pushed by tchajed
January 12, 2024 15:58 5m 0s main
main
January 12, 2024 15:58 5m 0s
Merge pull request #3 from mit-pdos/dafny-4 CI #430: Commit 644a915 pushed by tchajed
January 12, 2024 05:39 4m 31s main
main
January 12, 2024 05:39 4m 31s
Update to Dafny 4 CI #429: Pull request #3 synchronize by tchajed
January 12, 2024 05:34 5m 9s dafny-4
dafny-4
January 12, 2024 05:34 5m 9s
ci: run checkout first so go caching works CI #428: Commit 5be7d05 pushed by tchajed
January 12, 2024 05:34 4m 50s dafny-4
dafny-4
January 12, 2024 05:34 4m 50s
Update to Dafny 4 CI #427: Pull request #3 opened by tchajed
January 12, 2024 05:27 4m 42s dafny-4
dafny-4
January 12, 2024 05:27 4m 42s
Add a Dafny project file CI #426: Commit ded80e6 pushed by tchajed
January 12, 2024 05:27 4m 53s dafny-4
dafny-4
January 12, 2024 05:27 4m 53s
Attempt to make byte_fs proof more robust CI #425: Commit 4d7e6d1 pushed by tchajed
January 12, 2024 05:15 4m 52s dafny-4
dafny-4
January 12, 2024 05:15 4m 52s
Fix dirent proof CI #424: Commit efc002d pushed by tchajed
January 12, 2024 05:05 3m 37s dafny-4
dafny-4
January 12, 2024 05:05 3m 37s
Use new CLI for Go translation CI #423: Commit 7889de0 pushed by tchajed
January 12, 2024 04:50 2m 21s dafny-4
dafny-4
January 12, 2024 04:50 2m 21s
Fix roundup proofs CI #422: Commit 3d44c4f pushed by tchajed
January 12, 2024 03:50 2m 12s dafny-4
dafny-4
January 12, 2024 03:50 2m 12s
Add more assertions to nonlin proofs CI #421: Commit 0bc2d3e pushed by tchajed
January 12, 2024 03:44 1m 3s dafny-4
dafny-4
January 12, 2024 03:44 1m 3s
Bump setup-dafny-action for all jobs CI #420: Commit 23d9cfd pushed by tchajed
January 12, 2024 03:37 1m 2s dafny-4
dafny-4
January 12, 2024 03:37 1m 2s
Use latest version of setup-dafny-action CI #419: Commit 71dc096 pushed by tchajed
January 12, 2024 03:37 24s dafny-4
dafny-4
January 12, 2024 03:37 24s
Update CI config CI #418: Commit e6dcf26 pushed by tchajed
January 12, 2024 03:33 25s dafny-4
dafny-4
January 12, 2024 03:33 25s
Fix Go compilation issues CI #417: Commit 8bfd1d4 pushed by tchajed
January 12, 2024 03:30 1m 14s dafny-4
dafny-4
January 12, 2024 03:30 1m 14s
Prove last remaining assume CI #416: Commit 8574117 pushed by tchajed
January 11, 2024 23:40 57s dafny-4
dafny-4
January 11, 2024 23:40 57s
Start fixing assume false's CI #415: Commit 75ad622 pushed by tchajed
January 11, 2024 23:15 36s dafny-4
dafny-4
January 11, 2024 23:15 36s
Run dafny format CI #414: Commit cb1ff16 pushed by tchajed
January 11, 2024 16:56 40s dafny-4
dafny-4
January 11, 2024 16:56 40s
Migrate to new function syntax CI #413: Commit 31c390b pushed by tchajed
September 8, 2023 01:38 1m 14s dafny-4
dafny-4
September 8, 2023 01:38 1m 14s