Skip to content

Actions: mit-pdos/daisy-nfsd

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
20 workflow runs
20 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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