Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
641 workflow runs
641 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: bump version to 4.27.0 Build Iris Lean #603: Commit 745e0c4 pushed by markusdemedeiros
1m 42s master
master
1m 42s
chore: update tactics.md Build Iris Lean #602: Pull request #146 synchronize by MackieLoeffel
21s msammler/update_tactics_md
msammler/update_tactics_md
21s
chore: update tactics.md (#146) Build Iris Lean #601: Commit b6dd4ab pushed by MackieLoeffel
27s master
master
27s
refactor: Simplify Heaps API Build Iris Lean #600: Pull request #148 synchronize by markusdemedeiros
24s finite-maps-unified
finite-maps-unified
24s
refactor: Simplify Heaps API Build Iris Lean #599: Pull request #148 synchronize by markusdemedeiros
44s finite-maps-unified
finite-maps-unified
44s
refactor: Simplify Heaps API Build Iris Lean #598: Pull request #148 opened by markusdemedeiros
30s finite-maps-unified
finite-maps-unified
30s
chore: Bump Lean to 4.27.0 Build Iris Lean #597: Pull request #147 opened by lzy0505
1m 5s v4.27.0
v4.27.0
1m 5s
chore: update tactics.md Build Iris Lean #596: Pull request #146 opened by MackieLoeffel
26s msammler/update_tactics_md
msammler/update_tactics_md
26s
feat: add context duplication to ispecialize Build Iris Lean #595: Pull request #144 synchronize by MackieLoeffel
23s msammler/dup_context
msammler/dup_context
23s
chore: mark iMod as ported Build Iris Lean #594: Commit 1bed579 pushed by MackieLoeffel
20s master
master
20s
feat: add context duplication to ispecialize Build Iris Lean #593: Pull request #144 opened by MackieLoeffel
1m 12s msammler/dup_context
msammler/dup_context
1m 12s
feat: Weakest Precondition examples (#135) Build Iris Lean #592: Commit 1beba7b pushed by markusdemedeiros
46s master
master
46s
feat: Weakest Precondition examples Build Iris Lean #591: Pull request #135 synchronize by markusdemedeiros
19s lob-example
lob-example
19s
chore: AI Contribution Guidelines (#143) Build Iris Lean #590: Commit 3a455a0 pushed by markusdemedeiros
21s master
master
21s
chore: AI Contribution Guidelines Build Iris Lean #589: Pull request #143 synchronize by markusdemedeiros
1m 29s ai-contributions
ai-contributions
1m 29s
feat: Weakest Precondition examples Build Iris Lean #588: Pull request #135 synchronize by MackieLoeffel
1m 5s lob-example
lob-example
1m 5s
feat: implement imodintro and imod (#141) Build Iris Lean #587: Commit cc6b3cb pushed by MackieLoeffel
1m 10s master
master
1m 10s
feat: implement imodintro and imod Build Iris Lean #586: Pull request #141 synchronize by MackieLoeffel
34s msammler/imodintro
msammler/imodintro
34s
feat: implement imodintro and imod Build Iris Lean #585: Pull request #141 synchronize by lzy0505
58s msammler/imodintro
msammler/imodintro
58s
chore: AI Contribution Guidelines Build Iris Lean #584: Pull request #143 synchronize by markusdemedeiros
22s ai-contributions
ai-contributions
22s