Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,224 workflow runs
2,224 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
feat: add total weakest preconditions Build Iris Lean #2199: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
Make Texan triples persistent Build Iris Lean #2198: Pull request #568 synchronize by suhr
5m 28s suhr:pers-triple
suhr:pers-triple
5m 28s
feat: Experimental integration between HeapLang and Std.do (4.33.0-rc1) Build Iris Lean #2197: Pull request #478 synchronize by markusdemedeiros
4m 21s complete-do-2
complete-do-2
4m 21s
feat: Experimental integration between HeapLang and Std.do (4.33.0-rc1) Build Iris Lean #2196: Pull request #478 synchronize by markusdemedeiros
1m 47s complete-do-2
complete-do-2
1m 47s
feat: remaining specialisation patterns Build Iris Lean #2195: Pull request #500 synchronize by alvinylt
4m 48s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
4m 48s
Make Texan triples persistent Build Iris Lean #2194: Pull request #568 synchronize by suhr
5m 11s suhr:pers-triple
suhr:pers-triple
5m 11s
Make Texan triples persistent Build Iris Lean #2193: Pull request #568 synchronize by suhr
4m 46s suhr:pers-triple
suhr:pers-triple
4m 46s
feat: remaining specialisation patterns Build Iris Lean #2192: Pull request #500 synchronize by alvinylt
4m 56s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
4m 56s
feat: Port IntoWand' and instances (#561) Build Iris Lean #2191: Commit 4a361b8 pushed by MackieLoeffel
5m 52s master
master
5m 52s
fix: correct parallel composition syntax and add test for par (#567) Build Iris Lean #2190: Commit 3ad92c2 pushed by MackieLoeffel
5m 40s master
master
5m 40s
feat: remaining specialisation patterns Build Iris Lean #2189: Pull request #500 synchronize by alvinylt
4m 3s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
4m 3s
feat: Port IntoWand' and instances Build Iris Lean #2188: Pull request #561 synchronize by lzy0505
4m 21s lzy0505:zliu/add-intowand-instances
lzy0505:zliu/add-intowand-instances
4m 21s
feat: remaining specialisation patterns Build Iris Lean #2187: Pull request #500 synchronize by alvinylt
5m 30s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
5m 30s
feat: Port IntoWand' and instances Build Iris Lean #2186: Pull request #561 synchronize by lzy0505
6m 0s lzy0505:zliu/add-intowand-instances
lzy0505:zliu/add-intowand-instances
6m 0s
Port algebra/mra.v Build Iris Lean #2185: Pull request #530 synchronize by lzy0505
6m 3s lzy0505:Codex/port-mra
lzy0505:Codex/port-mra
6m 3s
fix: correct parallel composition syntax and add test for par Build Iris Lean #2184: Pull request #567 synchronize by kdvkrs
5m 47s kdvkrs:fix/par-notation-subst
kdvkrs:fix/par-notation-subst
5m 47s
feat: contractive and nonexp tactics Build Iris Lean #2183: Pull request #558 synchronize by oliversoeser
6m 8s oliversoeser:fixpoint-construction
oliversoeser:fixpoint-construction
6m 8s
Make Texan triples persistent Build Iris Lean #2182: Pull request #568 opened by suhr
6m 23s suhr:pers-triple
suhr:pers-triple
6m 23s
Port algebra/lib/gset_bij.v Build Iris Lean #2181: Pull request #529 synchronize by lzy0505
5m 12s lzy0505:Codex/port-gset_bij
lzy0505:Codex/port-gset_bij
5m 12s
Port algebra/lib/gset_bij.v Build Iris Lean #2180: Pull request #529 synchronize by lzy0505
5m 29s lzy0505:Codex/port-gset_bij
lzy0505:Codex/port-gset_bij
5m 29s
Check Stale Porting Entries Check Stale Porting Entries #103: Scheduled
3m 56s master
master
3m 56s
feat: inext with later credits Build Iris Lean #2179: Pull request #510 synchronize by alvinylt
5m 13s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 13s
feat: OFE step-indexing parametrisation, port algebra/stepindex_finite.v Build Iris Lean #2178: Pull request #550 synchronize by alvinylt
5m 20s ISTA-PLV:StepIndexOFE
ISTA-PLV:StepIndexOFE
5m 20s
feat: inext with later credits Build Iris Lean #2177: Pull request #510 synchronize by alvinylt
5m 53s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 53s
feat: OFE step-indexing parametrisation, port algebra/stepindex_finite.v Build Iris Lean #2176: Pull request #550 synchronize by alvinylt
4m 56s ISTA-PLV:StepIndexOFE
ISTA-PLV:StepIndexOFE
4m 56s