Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

build.yml
754 workflow runs
754 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI CI #3259: Scheduled
May 14, 2024 09:02 45m 29s master
master
May 14, 2024 09:02 45m 29s
deps CI #3258: Commit 1358dcb pushed by zeldovich
May 13, 2024 13:04 46m 54s master
master
May 13, 2024 13:04 46m 54s
CI CI #3257: Scheduled
May 13, 2024 09:02 44m 57s master
master
May 13, 2024 09:02 44m 57s
CI CI #3256: Scheduled
May 12, 2024 09:02 54m 38s master
master
May 12, 2024 09:02 54m 38s
CI CI #3255: Scheduled
May 11, 2024 09:02 46m 35s master
master
May 11, 2024 09:02 46m 35s
Fix ShouldBuild CI #3254: Commit 1f093e9 pushed by tchajed
May 10, 2024 22:34 45m 43s master
master
May 10, 2024 22:34 45m 43s
Add some automation to make proofs more concise CI #3253: Commit 16342a3 pushed by tchajed
May 10, 2024 21:40 45m 5s master
master
May 10, 2024 21:40 45m 5s
CI CI #3252: Scheduled
May 10, 2024 09:03 45m 41s master
master
May 10, 2024 09:03 45m 41s
revamp integer conversions to support signed ints CI #3251: Commit 445cfb8 pushed by zeldovich
May 10, 2024 01:20 45m 25s master
master
May 10, 2024 01:20 45m 25s
fix word_cleanup infinite loop CI #3250: Commit 7297833 pushed by zeldovich
May 10, 2024 00:40 44m 59s master
master
May 10, 2024 00:40 44m 59s
always print the W64 coercion CI #3249: Commit ee8d8a8 pushed by zeldovich
May 9, 2024 23:25 44m 56s master
master
May 9, 2024 23:25 44m 56s
CI CI #3248: Scheduled
May 9, 2024 09:03 45m 5s master
master
May 9, 2024 09:03 45m 5s
Merge pull request #67 from zeldovich/int-rename CI #3247: Commit 572c417 pushed by zeldovich
May 9, 2024 01:53 44m 59s master
master
May 9, 2024 01:53 44m 59s
rename int types to be more explicit about unsignedness CI #3246: Pull request #67 synchronize by zeldovich
May 9, 2024 01:00 45m 27s zeldovich:int-rename
zeldovich:int-rename
May 9, 2024 01:00 45m 27s
rename int types to be more explicit about unsignedness CI #3245: Pull request #67 synchronize by zeldovich
May 8, 2024 23:07 44m 31s zeldovich:int-rename
zeldovich:int-rename
May 8, 2024 23:07 44m 31s
rename int types to be more explicit about unsignedness CI #3244: Pull request #67 synchronize by zeldovich
May 8, 2024 22:23 45m 10s zeldovich:int-rename
zeldovich:int-rename
May 8, 2024 22:23 45m 10s
rename int types to be more explicit about unsignedness CI #3243: Pull request #67 synchronize by zeldovich
May 8, 2024 22:04 43m 48s zeldovich:int-rename
zeldovich:int-rename
May 8, 2024 22:04 43m 48s
rename int types to be more explicit about unsignedness CI #3242: Pull request #67 synchronize by zeldovich
May 8, 2024 21:53 15m 16s zeldovich:int-rename
zeldovich:int-rename
May 8, 2024 21:53 15m 16s
rename int types to be more explicit about unsignedness CI #3241: Pull request #67 synchronize by zeldovich
May 8, 2024 21:47 29m 36s zeldovich:int-rename
zeldovich:int-rename
May 8, 2024 21:47 29m 36s
Skip Qeds in the right directory CI #3240: Commit 48d95b9 pushed by tchajed
May 8, 2024 20:14 46m 12s master
master
May 8, 2024 20:14 46m 12s
minimize explicit references to u64_instance, u8_instance CI #3239: Commit 07ff937 pushed by zeldovich
May 8, 2024 19:46 58m 28s master
master
May 8, 2024 19:46 58m 28s
Skip all QEDs in program_proof/ in CI CI #3238: Commit 65ea712 pushed by tchajed
May 8, 2024 18:34 57m 34s master
master
May 8, 2024 18:34 57m 34s
Checkpoint some invariance proof CI #3237: Commit 40f2b0d pushed by yunshengtw
May 8, 2024 15:51 55m 44s master
master
May 8, 2024 15:51 55m 44s
CI CI #3236: Scheduled
May 8, 2024 09:02 55m 41s master
master
May 8, 2024 09:02 55m 41s
Update marshal to use SliceAppendSlice CI #3235: Commit bcb2081 pushed by tchajed
May 7, 2024 21:06 55m 20s master
master
May 7, 2024 21:06 55m 20s