Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,768 workflow runs
1,768 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
doc: update ProofMode.Display comment (#491) Build Iris Lean #1740: Commit 4c63090 pushed by MackieLoeffel
5m 3s master
master
5m 3s
Check Stale Porting Entries Check Stale Porting Entries #70: Scheduled
3m 30s master
master
3m 30s
feat: Abstract weakest precondition Build Iris Lean #1739: Pull request #475 synchronize by markusdemedeiros
4m 16s completeness-abstractwp
completeness-abstractwp
4m 16s
feat: Abstract weakest precondition Build Iris Lean #1738: Pull request #475 synchronize by markusdemedeiros
5m 1s completeness-abstractwp
completeness-abstractwp
5m 1s
feat: Primitive Laws for completeness Build Iris Lean #1737: Pull request #474 synchronize by markusdemedeiros
4m 29s completeness-primitivelaws
completeness-primitivelaws
4m 29s
Leibniz OFE construction Build Iris Lean #1736: Pull request #485 synchronize by Kaptch
3m 57s Kaptch:agree
Kaptch:agree
3m 57s
feat: Primitive Laws for completeness Build Iris Lean #1735: Pull request #474 synchronize by markusdemedeiros
4m 5s completeness-primitivelaws
completeness-primitivelaws
4m 5s
feat: Primitive Laws for completeness Build Iris Lean #1734: Pull request #474 synchronize by markusdemedeiros
4m 23s completeness-primitivelaws
completeness-primitivelaws
4m 23s
Leibniz OFE construction Build Iris Lean #1733: Pull request #485 synchronize by Kaptch
4m 10s Kaptch:agree
Kaptch:agree
4m 10s
Leibniz OFE construction Build Iris Lean #1732: Pull request #485 synchronize by Kaptch
4m 7s Kaptch:agree
Kaptch:agree
4m 7s
Leibniz OFE construction Build Iris Lean #1731: Pull request #485 synchronize by Kaptch
4m 16s Kaptch:agree
Kaptch:agree
4m 16s
Build Iris Lean Build Iris Lean #1730: by markusdemedeiros
4m 10s master
master
4m 10s
chore(deps): bump actions/cache from 5 to 6 Build Iris Lean #1729: Pull request #493 synchronize by markusdemedeiros
4m 23s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
4m 23s
chore(deps): bump actions/checkout from 6 to 7 (#492) Build Iris Lean #1728: Commit 237d29b pushed by markusdemedeiros
4m 14s master
master
4m 14s
chore(deps): bump actions/checkout from 6 to 7 Build Iris Lean #1727: Pull request #492 synchronize by markusdemedeiros
4m 40s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
4m 40s
Fix broken link to proofmode.md (#494) Build Iris Lean #1726: Commit f81256e pushed by markusdemedeiros
4m 34s master
master
4m 34s
Fix broken link to proofmode.md Build Iris Lean #1725: Pull request #494 opened by Forthoney
4m 0s Forthoney:patch-1
Forthoney:patch-1
4m 0s
feat: iinv Build Iris Lean #1724: Pull request #470 synchronize by alvinylt
4m 35s ISTA-PLV:iInv
ISTA-PLV:iInv
4m 35s
chore(deps): bump actions/cache from 5 to 6 Build Iris Lean #1723: Pull request #493 opened by dependabot Bot
3m 54s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
3m 54s
chore(deps): bump actions/checkout from 6 to 7 Build Iris Lean #1722: Pull request #492 opened by dependabot Bot
3m 59s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
3m 59s
github_actions in /. - Update #1443425320 Dependabot Updates #16: by dependabot Bot
42s master
master
42s
doc: update ProofMode.Display comment Build Iris Lean #1721: Pull request #491 opened by ayhon
4m 10s ayhon:patch-1
ayhon:patch-1
4m 10s
Check Stale Porting Entries Check Stale Porting Entries #69: Scheduled
29s master
master
29s
feat: OFunctor defined on COFEs (#489) Build Iris Lean #1720: Commit fd954b1 pushed by Kaptch
5m 1s master
master
5m 1s
feat: OFunctor defined on COFEs Build Iris Lean #1719: Pull request #489 synchronize by Kaptch
3m 58s Kaptch:ofunctor-cofe
Kaptch:ofunctor-cofe
3m 58s