Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
643 workflow runs
643 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix build Build Iris Lean #538: Commit 52d00d9 pushed by MackieLoeffel
51s master
master
51s
doc: add proof mode porting information Build Iris Lean #537: Commit 1401971 pushed by MackieLoeffel
40s master
master
40s
feat: Add FiniteMap interface Build Iris Lean #536: Pull request #131 opened by lzy0505
23s lzy0505:zliu/fin-map-interface
lzy0505:zliu/fin-map-interface
23s
feat: Add ihave : Q tactic Build Iris Lean #535: Pull request #120 synchronize by lzy0505
1m 12s msammler/add_have
msammler/add_have
1m 12s
feat: Heap and Heapview Functors Build Iris Lean #534: Pull request #130 opened by screenl
1m 9s screenl:heapfunctors
screenl:heapfunctors
1m 9s
doc: mark numbers.v complete in PORTING.v Build Iris Lean #533: Commit 0ae0a47 pushed by markusdemedeiros
1m 12s master
master
1m 12s
feat: Numbers CMRA classes Build Iris Lean #532: Commit 4ad1d28 pushed by markusdemedeiros
1m 16s master
master
1m 16s
feat: Numbers Build Iris Lean #531: Pull request #67 synchronize by markusdemedeiros
21s Shreyas4991:numbers
Shreyas4991:numbers
21s
feat: Numbers Build Iris Lean #530: Pull request #67 synchronize by markusdemedeiros
1m 8s Shreyas4991:numbers
Shreyas4991:numbers
1m 8s
feat: Numbers Build Iris Lean #529: Pull request #67 synchronize by markusdemedeiros
26s Shreyas4991:numbers
Shreyas4991:numbers
26s
doc: add PORTING.md and PULL_REQUEST_TEMPLATE.md Build Iris Lean #528: Commit 41901e6 pushed by markusdemedeiros
20s master
master
20s
doc: add PORTING.md and PULL_REQUEST_TEMPLATE.md Build Iris Lean #527: Pull request #128 opened by markusdemedeiros
22s todo-list
todo-list
22s
feat: Add ihave : Q tactic Build Iris Lean #526: Pull request #120 synchronize by MackieLoeffel
1m 1s msammler/add_have
msammler/add_have
1m 1s
feat: Heap Instances (#125) Build Iris Lean #525: Commit 23bd256 pushed by markusdemedeiros
54s master
master
54s
feat: Heap Instances Build Iris Lean #524: Pull request #125 synchronize by markusdemedeiros
27s heapinstances
heapinstances
27s
feat: Heap Instances Build Iris Lean #523: Pull request #125 opened by markusdemedeiros
57s heapinstances
heapinstances
57s
feat: Add ihave : Q tactic Build Iris Lean #522: Pull request #120 synchronize by MackieLoeffel
50s msammler/add_have
msammler/add_have
50s
feat: Add ihave : Q tactic Build Iris Lean #521: Pull request #120 synchronize by MackieLoeffel
47s msammler/add_have
msammler/add_have
47s
feat: Add ihave : Q tactic Build Iris Lean #520: Pull request #120 synchronize by MackieLoeffel
25s msammler/add_have
msammler/add_have
25s
feat: Add ihave : Q tactic Build Iris Lean #519: Pull request #120 synchronize by MackieLoeffel
1m 18s msammler/add_have
msammler/add_have
1m 18s
Clean up tactic implementations (#119) Build Iris Lean #518: Commit b02fb83 pushed by MackieLoeffel
57s master
master
57s
RFunctor of Agree (#118) Build Iris Lean #517: Commit 6ec77ab pushed by markusdemedeiros
57s master
master
57s
RFunctor of Agree Build Iris Lean #516: Pull request #118 synchronize by markusdemedeiros
20s screenl:agreefunctor
screenl:agreefunctor
20s
RFunctor of Agree Build Iris Lean #515: Pull request #118 synchronize by markusdemedeiros
1m 0s screenl:agreefunctor
screenl:agreefunctor
1m 0s
feat: Add ihave : Q tactic Build Iris Lean #514: Pull request #120 synchronize by MackieLoeffel
1m 12s msammler/add_have
msammler/add_have
1m 12s