Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,282 workflow runs
1,282 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
feat: heaplang opsem+instances Build Iris Lean #1254: Commit d826c6a pushed by Kaptch
In progress master
master
In progress
feat: heaplang opsem+instances Build Iris Lean #1253: Pull request #410 synchronize by Kaptch
4m 34s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
4m 34s
feat: heaplang opsem+instances Build Iris Lean #1252: Pull request #410 synchronize by Kaptch
3m 53s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
3m 53s
feat: heaplang opsem+instances Build Iris Lean #1251: Pull request #410 synchronize by Kaptch
4m 8s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
4m 8s
feat: heaplang opsem+instances Build Iris Lean #1250: Pull request #410 synchronize by Kaptch
4m 32s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
4m 32s
Start porting GhostMap Build Iris Lean #1249: Pull request #407 synchronize by suhr
2m 26s suhr:ghostmap
suhr:ghostmap
2m 26s
feat: Update later credits and fancy updates soundness proofs Build Iris Lean #1248: Pull request #411 synchronize by lzy0505
5m 31s lzy0505:zliu/fix-stale-6ee29e
lzy0505:zliu/fix-stale-6ee29e
5m 31s
Check Stale Porting Entries Check Stale Porting Entries #33: Scheduled
52s master
master
52s
feat: heaplang opsem+instances Build Iris Lean #1247: Pull request #410 synchronize by MackieLoeffel
4m 31s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
4m 31s
feat: Update later credits and fancy updates soundness proofs Build Iris Lean #1246: Pull request #411 opened by lzy0505
5m 52s lzy0505:zliu/fix-stale-6ee29e
lzy0505:zliu/fix-stale-6ee29e
5m 52s
Start porting GhostMap Build Iris Lean #1245: Pull request #407 synchronize by suhr
6m 0s suhr:ghostmap
suhr:ghostmap
6m 0s
feat: mono nat (algebra + bi) Build Iris Lean #1244: Pull request #409 synchronize by markusdemedeiros
4m 17s Kaptch:mono-nat
Kaptch:mono-nat
4m 17s
feat: add BI/Updates missing delaborators Build Iris Lean #1243: Pull request #408 synchronize by markusdemedeiros
5m 17s ayhon:fele/feat/add-updates-delaborators
ayhon:fele/feat/add-updates-delaborators
5m 17s
refactor: use step_fupd_mono more (#404) Build Iris Lean #1242: Commit 10f05c2 pushed by markusdemedeiros
4m 14s master
master
4m 14s
feat: heaplang opsem+instances Build Iris Lean #1241: Pull request #410 synchronize by Kaptch
4m 35s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
4m 35s
feat: heaplang opsem+instances Build Iris Lean #1240: Pull request #410 opened by Kaptch
41s Kaptch:heaplang-opsem
Kaptch:heaplang-opsem
41s
feat: mono nat (algebra + bi) Build Iris Lean #1239: Pull request #409 synchronize by Kaptch
5m 59s Kaptch:mono-nat
Kaptch:mono-nat
5m 59s
feat: mono nat (algebra + bi) Build Iris Lean #1238: Pull request #409 opened by Kaptch
5m 58s Kaptch:mono-nat
Kaptch:mono-nat
5m 58s
Check Stale Porting Entries Check Stale Porting Entries #32: Scheduled
36s master
master
36s
Start porting GhostMap Build Iris Lean #1237: Pull request #407 synchronize by suhr
6m 30s suhr:ghostmap
suhr:ghostmap
6m 30s
refactor: use step_fupd_mono more Build Iris Lean #1236: Pull request #404 synchronize by ayhon
4m 21s ayhon:fele/minor/use-step_fupd_mono-more
ayhon:fele/minor/use-step_fupd_mono-more
4m 21s
feat: add BI/Updates missing delaborators Build Iris Lean #1235: Pull request #408 synchronize by ayhon
6m 1s ayhon:fele/feat/add-updates-delaborators
ayhon:fele/feat/add-updates-delaborators
6m 1s
feat: add BI/Updates missing delaborators Build Iris Lean #1234: Pull request #408 opened by ayhon
1m 34s ayhon:fele/feat/add-updates-delaborators
ayhon:fele/feat/add-updates-delaborators
1m 34s
Check Stale Porting Entries Check Stale Porting Entries #31: Scheduled
37s master
master
37s
Start porting GhostMap Build Iris Lean #1233: Pull request #407 opened by suhr
6m 41s suhr:ghostmap
suhr:ghostmap
6m 41s