Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,387 workflow runs
1,387 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
CoPset lemmas and ReservationMap Build Iris Lean #1354: Pull request #425 synchronize by suhr
4m 5s suhr:rvmap
suhr:rvmap
4m 5s
feat: mono nat (algebra + bi) (#409) Build Iris Lean #1353: Commit aa47755 pushed by Kaptch
4m 16s master
master
4m 16s
feat: mono nat (algebra + bi) Build Iris Lean #1352: Pull request #409 synchronize by Kaptch
4m 29s Kaptch:mono-nat
Kaptch:mono-nat
4m 29s
feat: iinduction Build Iris Lean #1351: Pull request #430 opened by alvinylt
4m 50s ISTA-PLV:iInduction
ISTA-PLV:iInduction
4m 50s
feat: Completeness Build Iris Lean #1350: Pull request #423 synchronize by markusdemedeiros
3m 46s completeness
completeness
3m 46s
feat: Completeness Build Iris Lean #1349: Pull request #423 synchronize by markusdemedeiros
3m 57s completeness
completeness
3m 57s
CoPset lemmas and ReservationMap Build Iris Lean #1348: Pull request #425 synchronize by suhr
3m 52s suhr:rvmap
suhr:rvmap
3m 52s
CoPset lemmas and ReservationMap Build Iris Lean #1347: Pull request #425 synchronize by suhr
3m 35s suhr:rvmap
suhr:rvmap
3m 35s
CoPset lemmas and ReservationMap Build Iris Lean #1346: Pull request #425 synchronize by suhr
3m 42s suhr:rvmap
suhr:rvmap
3m 42s
Check Stale Porting Entries Check Stale Porting Entries #38: Scheduled
31s master
master
31s
CoPset lemmas and ReservationMap Build Iris Lean #1345: Pull request #425 synchronize by suhr
3m 47s suhr:rvmap
suhr:rvmap
3m 47s
CoPset lemmas and ReservationMap Build Iris Lean #1344: Pull request #425 synchronize by suhr
3m 57s suhr:rvmap
suhr:rvmap
3m 57s
feat: Completeness Build Iris Lean #1343: Pull request #423 synchronize by markusdemedeiros
3m 21s completeness
completeness
3m 21s
feat: Completeness Build Iris Lean #1342: Pull request #423 synchronize by markusdemedeiros
3m 16s completeness
completeness
3m 16s
feat: Completeness Build Iris Lean #1341: Pull request #423 synchronize by markusdemedeiros
3m 38s completeness
completeness
3m 38s
feat: Completeness Build Iris Lean #1340: Pull request #423 synchronize by markusdemedeiros
3m 13s completeness
completeness
3m 13s
feat: Completeness Build Iris Lean #1339: Pull request #423 synchronize by markusdemedeiros
3m 44s completeness
completeness
3m 44s
feat: add to_eq to simplify use of eq_of_eqv (#424) Build Iris Lean #1338: Commit 2fc846d pushed by lzy0505
3m 45s master
master
3m 45s
feat: add to_eq to simplify use of eq_of_eqv Build Iris Lean #1337: Pull request #424 synchronize by lzy0505
3m 56s to_eq
to_eq
3m 56s
CoPset lemmas and ReservationMap Build Iris Lean #1336: Pull request #425 synchronize by suhr
3m 42s suhr:rvmap
suhr:rvmap
3m 42s
CoPset lemmas and ReservationMap Build Iris Lean #1335: Pull request #425 opened by suhr
4m 4s suhr:rvmap
suhr:rvmap
4m 4s
Check Stale Porting Entries Check Stale Porting Entries #37: Scheduled
36s master
master
36s
feat: GenHeap Build Iris Lean #1334: Pull request #412 synchronize by ayhon
3m 43s ayhon:fele/feat/gen-heap
ayhon:fele/feat/gen-heap
3m 43s
feat: GenHeap Build Iris Lean #1333: Pull request #412 synchronize by ayhon
3m 38s ayhon:fele/feat/gen-heap
ayhon:fele/feat/gen-heap
3m 38s
feat: GenHeap Build Iris Lean #1332: Pull request #412 synchronize by ayhon
3m 40s ayhon:fele/feat/gen-heap
ayhon:fele/feat/gen-heap
3m 40s