Skip to content

Actions: leanprover-community/iris-lean

Actions

Build Iris Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,016 workflow runs
2,016 workflow runs

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: port bi/lib/counterexamples.v (+ fix IntoWand instances) Build Iris Lean #2137: Pull request #540 synchronize by alvinylt
4m 58s ISTA-PLV:Counterexamples
ISTA-PLV:Counterexamples
4m 58s
chore: imports in Iris.lean (#552) Build Iris Lean #2136: Commit 10b5520 pushed by markusdemedeiros
4m 24s master
master
4m 24s
feat: port bi/lib/counterexamples.v (+ fix IntoWand instances) Build Iris Lean #2135: Pull request #540 synchronize by alvinylt
4m 54s ISTA-PLV:Counterexamples
ISTA-PLV:Counterexamples
4m 54s
feat: port bi/lib/counterexamples.v (+ fix IntoWand instances) Build Iris Lean #2134: Pull request #540 synchronize by alvinylt
7m 34s ISTA-PLV:Counterexamples
ISTA-PLV:Counterexamples
7m 34s
fix: Wrong priorities of AndIntoSep instances Build Iris Lean #2133: Pull request #555 synchronize by lzy0505
9m 49s lzy0505:zliu/fix-icase-affine
lzy0505:zliu/fix-icase-affine
9m 49s
chore: imports in Iris.lean Build Iris Lean #2132: Pull request #552 reopened by alvinylt
5m 6s ISTA-PLV:Imports
ISTA-PLV:Imports
5m 6s
feat: inext with later credits Build Iris Lean #2131: Pull request #510 synchronize by alvinylt
5m 6s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 6s
feat: inext with later credits Build Iris Lean #2130: Pull request #510 synchronize by alvinylt
5m 16s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 16s
feat: inext with later credits Build Iris Lean #2129: Pull request #510 synchronize by alvinylt
4m 11s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
4m 11s
feat: inext with later credits Build Iris Lean #2128: Pull request #510 synchronize by alvinylt
5m 3s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 3s
feat: add total weakest preconditions Build Iris Lean #2127: Pull request #554 reopened by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: inext with later credits Build Iris Lean #2126: Pull request #510 synchronize by alvinylt
4m 54s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
4m 54s
fix: Wrong priorities of AndIntoSep instances Build Iris Lean #2125: Pull request #555 synchronize by lzy0505
4m 30s lzy0505:zliu/fix-icase-affine
lzy0505:zliu/fix-icase-affine
4m 30s
feat: port bi/lib/counterexamples.v (+ fix IntoWand instances) Build Iris Lean #2122: Pull request #540 synchronize by alvinylt
4m 25s ISTA-PLV:Counterexamples
ISTA-PLV:Counterexamples
4m 25s
feat: OFE step-indexing parametrisation, port algebra/stepindex_finite.v Build Iris Lean #2121: Pull request #550 synchronize by alvinylt
2m 28s ISTA-PLV:StepIndexOFE
ISTA-PLV:StepIndexOFE
2m 28s
feat: port bi/lib/counterexamples.v (+ fix IntoWand instances) Build Iris Lean #2120: Pull request #540 synchronize by alvinylt
5m 15s ISTA-PLV:Counterexamples
ISTA-PLV:Counterexamples
5m 15s
feat: inext with later credits Build Iris Lean #2119: Pull request #510 synchronize by alvinylt
4m 45s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
4m 45s
feat: remaining specialisation patterns Build Iris Lean #2118: Pull request #500 synchronize by alvinylt
4m 36s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
4m 36s
feat: remaining specialisation patterns Build Iris Lean #2117: Pull request #500 synchronize by alvinylt
3m 10s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
3m 10s
feat: inext with later credits Build Iris Lean #2116: Pull request #510 synchronize by alvinylt
3m 43s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
3m 43s
feat: remaining specialisation patterns Build Iris Lean #2115: Pull request #500 synchronize by alvinylt
3m 38s ISTA-PLV:SpecPats
ISTA-PLV:SpecPats
3m 38s
chore: imports in Iris.lean Build Iris Lean #2114: Pull request #552 synchronize by alvinylt
6m 2s ISTA-PLV:Imports
ISTA-PLV:Imports
6m 2s
feat: remaining introduction patterns and case destruction patterns (… Build Iris Lean #2113: Commit 3d3dfe0 pushed by MackieLoeffel
4m 37s master
master
4m 37s
feat: remaining introduction patterns and case destruction patterns Build Iris Lean #2112: Pull request #496 synchronize by MackieLoeffel
5m 39s ISTA-PLV:IntroPats
ISTA-PLV:IntroPats
5m 39s
feat: OFE step-indexing parametrisation, port algebra/stepindex_finite.v Build Iris Lean #2111: Pull request #550 synchronize by alvinylt
2m 2s ISTA-PLV:StepIndexOFE
ISTA-PLV:StepIndexOFE
2m 2s