Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,467 workflow runs
2,467 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
fix: avoid recursion in invariant side conditions Build Iris Lean #2477: Pull request #611 synchronize by n33levo
Action required n33levo:nsarkar/fix-iinv-name-recursion
n33levo:nsarkar/fix-iinv-name-recursion
Action required
Fix: handle local Rocq name collisions in check-porting.py (#622) Build Iris Lean #2476: Commit 38a0be2 pushed by lzy0505
5m 37s master
master
5m 37s
Fix: handle local Rocq name collisions in check-porting.py Build Iris Lean #2475: Pull request #622 opened by lzy0505
5m 21s lzy0505:zliu/fix-porting-name-collusion
lzy0505:zliu/fix-porting-name-collusion
5m 21s
feat: Intial annotations for HeapLang (#605) Build Iris Lean #2474: Commit 676d1fd pushed by lzy0505
5m 37s master
master
5m 37s
fix: avoid recursion in invariant side conditions Build Iris Lean #2473: Pull request #611 synchronize by n33levo
Action required n33levo:nsarkar/fix-iinv-name-recursion
n33levo:nsarkar/fix-iinv-name-recursion
Action required
Check Stale Porting Entries Check Stale Porting Entries #111: Scheduled
33s master
master
33s
feat: finish CMRA.lean Build Iris Lean #2472: Pull request #614 synchronize by markusdemedeiros
5m 25s finish-cmra
finish-cmra
5m 25s
feat: finish CMRA.lean Build Iris Lean #2471: Pull request #614 synchronize by markusdemedeiros
5m 41s finish-cmra
finish-cmra
5m 41s
feat: Intial annotations for HeapLang Build Iris Lean #2470: Pull request #605 synchronize by markusdemedeiros
5m 30s heap-lang-easy
heap-lang-easy
5m 30s
feat: Intial annotations for HeapLang Build Iris Lean #2469: Pull request #605 synchronize by markusdemedeiros
5m 25s heap-lang-easy
heap-lang-easy
5m 25s
feat: InternalFractional and rw lock examples Build Iris Lean #2468: Pull request #608 synchronize by markusdemedeiros
6m 5s rw-locks
rw-locks
6m 5s
feat: port chain.v Build Iris Lean #2467: Pull request #621 opened by Kaptch
6m 35s Kaptch:chain
Kaptch:chain
6m 35s
feat: Array derived laws and example file Build Iris Lean #2466: Pull request #620 opened by markusdemedeiros
5m 25s array
array
5m 25s
feat: Port ghost var Build Iris Lean #2465: Pull request #619 opened by markusdemedeiros
5m 38s ghost-var
ghost-var
5m 38s
feat: Deal with numbers (#601) Build Iris Lean #2464: Commit ee0d298 pushed by Kaptch
6m 7s master
master
6m 7s
feat: Deal with numbers Build Iris Lean #2463: Pull request #601 synchronize by Kaptch
5m 35s mono_Z
mono_Z
5m 35s
feat: InternalFractional and rw lock examples Build Iris Lean #2462: Pull request #608 synchronize by markusdemedeiros
5m 28s rw-locks
rw-locks
5m 28s
feat: InternalFractional and rw lock examples Build Iris Lean #2461: Pull request #608 synchronize by markusdemedeiros
5m 25s rw-locks
rw-locks
5m 25s
feat: InternalFractional and rw lock examples Build Iris Lean #2460: Pull request #608 synchronize by markusdemedeiros
6m 18s rw-locks
rw-locks
6m 18s
feat: add total weakest preconditions Build Iris Lean #2459: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: add total weakest preconditions Build Iris Lean #2458: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: add total weakest preconditions Build Iris Lean #2457: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: InternalFractional and rw lock examples Build Iris Lean #2456: Pull request #608 synchronize by markusdemedeiros
6m 20s rw-locks
rw-locks
6m 20s
feat: inext with later credits (#510) Build Iris Lean #2455: Commit a38558c pushed by MackieLoeffel
6m 11s master
master
6m 11s
feat: inext with later credits Build Iris Lean #2454: Pull request #510 synchronize by MackieLoeffel
4m 50s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
4m 50s