Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
636 workflow runs
636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Auth Cmra (#134) Build Iris Lean #628: Commit d1b18b3 pushed by markusdemedeiros
1m 16s master
master
1m 16s
feat: Auth Cmra Build Iris Lean #627: Pull request #134 synchronize by markusdemedeiros
1m 12s ahuoguo:AuthCmra
ahuoguo:AuthCmra
1m 12s
feat: Auth Cmra Build Iris Lean #626: Pull request #134 synchronize by markusdemedeiros
1m 16s ahuoguo:AuthCmra
ahuoguo:AuthCmra
1m 16s
refactor: Simplify Heaps API (#148) Build Iris Lean #625: Commit 35ea65f pushed by markusdemedeiros
1m 12s master
master
1m 12s
refactor: Simplify Heaps API Build Iris Lean #624: Pull request #148 synchronize by markusdemedeiros
1m 10s finite-maps-unified
finite-maps-unified
1m 10s
refactor: Simplify Heaps API Build Iris Lean #623: Pull request #148 synchronize by markusdemedeiros
1m 6s finite-maps-unified
finite-maps-unified
1m 6s
refactor: Simplify Heaps API Build Iris Lean #622: Pull request #148 synchronize by markusdemedeiros
1m 8s finite-maps-unified
finite-maps-unified
1m 8s
refactor: Simplify Heaps API Build Iris Lean #621: Pull request #148 synchronize by markusdemedeiros
1m 12s finite-maps-unified
finite-maps-unified
1m 12s
feat: Auth Cmra Build Iris Lean #620: Pull request #134 synchronize by ahuoguo
21s ahuoguo:AuthCmra
ahuoguo:AuthCmra
21s
refactor: Simplify Heaps API Build Iris Lean #619: Pull request #148 synchronize by markusdemedeiros
1m 8s finite-maps-unified
finite-maps-unified
1m 8s
feat: Auth Cmra Build Iris Lean #618: Pull request #134 synchronize by ahuoguo
1m 19s ahuoguo:AuthCmra
ahuoguo:AuthCmra
1m 19s
refactor: Simplify Heaps API Build Iris Lean #617: Pull request #148 synchronize by markusdemedeiros
1m 9s finite-maps-unified
finite-maps-unified
1m 9s
refactor: Simplify Heaps API Build Iris Lean #616: Pull request #148 synchronize by markusdemedeiros
21s finite-maps-unified
finite-maps-unified
21s
refactor: Simplify Heaps API Build Iris Lean #615: Pull request #148 synchronize by markusdemedeiros
1m 10s finite-maps-unified
finite-maps-unified
1m 10s
feat: Heap and Heapview Functors (#130) Build Iris Lean #614: Commit 4aea159 pushed by markusdemedeiros
1m 31s master
master
1m 31s
feat: Heap and Heapview Functors Build Iris Lean #613: Pull request #130 synchronize by markusdemedeiros
1m 11s screenl:heapfunctors
screenl:heapfunctors
1m 11s
feat: Heap and Heapview Functors Build Iris Lean #612: Pull request #130 synchronize by markusdemedeiros
1m 27s screenl:heapfunctors
screenl:heapfunctors
1m 27s
feat: Heap and Heapview Functors Build Iris Lean #611: Pull request #130 synchronize by markusdemedeiros
1m 22s screenl:heapfunctors
screenl:heapfunctors
1m 22s
feat: Heap and Heapview Functors Build Iris Lean #610: Pull request #130 synchronize by markusdemedeiros
1m 29s screenl:heapfunctors
screenl:heapfunctors
1m 29s
refactor: Simplify Heaps API Build Iris Lean #609: Pull request #148 synchronize by markusdemedeiros
37s finite-maps-unified
finite-maps-unified
37s
refactor: Simplify Heaps API Build Iris Lean #608: Pull request #148 synchronize by markusdemedeiros
42s finite-maps-unified
finite-maps-unified
42s
refactor: Simplify Heaps API Build Iris Lean #607: Pull request #148 synchronize by markusdemedeiros
1m 10s finite-maps-unified
finite-maps-unified
1m 10s
refactor: Simplify Heaps API Build Iris Lean #606: Pull request #148 synchronize by markusdemedeiros
1m 13s finite-maps-unified
finite-maps-unified
1m 13s
feat: add Löb induction example Build Iris Lean #605: Pull request #151 opened by markusdemedeiros
29s example-lob-rule
example-lob-rule
29s
feat: add Löb induction example (#151) Build Iris Lean #604: Commit bdd4e99 pushed by markusdemedeiros
28s master
master
28s