Skip to content

Actions: leanprover-community/iris-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,437 workflow runs
2,437 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: inext with later credits Build Iris Lean #2444: Pull request #510 synchronize by alvinylt
In progress ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
In progress
feat: port monotone list family Build Iris Lean #2443: Pull request #602 synchronize by markusdemedeiros
In progress mono_list
mono_list
In progress
feat: port monotone list family Build Iris Lean #2442: Pull request #602 synchronize by markusdemedeiros
In progress mono_list
mono_list
In progress
feat: port monotone list family Build Iris Lean #2441: Pull request #602 synchronize by markusdemedeiros
In progress mono_list
mono_list
In progress
feat: inext with later credits Build Iris Lean #2440: Pull request #510 synchronize by alvinylt
5m 56s ISTA-PLV:iNextLaterCredits
ISTA-PLV:iNextLaterCredits
5m 56s
feat: port monotone list family Build Iris Lean #2439: Pull request #602 synchronize by markusdemedeiros
5m 46s mono_list
mono_list
5m 46s
feat: add total weakest preconditions Build Iris Lean #2438: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: port monotone list family Build Iris Lean #2437: Pull request #602 synchronize by markusdemedeiros
5m 26s mono_list
mono_list
5m 26s
feat: add total weakest preconditions Build Iris Lean #2436: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Annotations for GenHeap and port of InvHeap Build Iris Lean #2435: Pull request #618 synchronize by markusdemedeiros
6m 19s gen-heap-bi
gen-heap-bi
6m 19s
feat: add total weakest preconditions Build Iris Lean #2434: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Annotations for GenHeap and port of InvHeap Build Iris Lean #2433: Pull request #618 opened by markusdemedeiros
5m 11s gen-heap-bi
gen-heap-bi
5m 11s
feat: add total weakest preconditions Build Iris Lean #2432: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Port bi/lib/relations.v (#588) Build Iris Lean #2431: Commit 2c03f52 pushed by markusdemedeiros
Queued master
master
Queued
feat: add total weakest preconditions Build Iris Lean #2430: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Annotations and missing lemmas for gmap Build Iris Lean #2429: Pull request #617 opened by markusdemedeiros
5m 30s annotate-gmap
annotate-gmap
5m 30s
feat: add total weakest preconditions Build Iris Lean #2428: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: add total weakest preconditions Build Iris Lean #2427: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: add total weakest preconditions Build Iris Lean #2426: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Port bi/lib/relations.v Build Iris Lean #2425: Pull request #588 synchronize by lzy0505
5m 19s lzy0505:Codex/port-relations
lzy0505:Codex/port-relations
5m 19s
feat: Port bi/lib/relations.v Build Iris Lean #2424: Pull request #588 synchronize by lzy0505
4m 52s lzy0505:Codex/port-relations
lzy0505:Codex/port-relations
4m 52s
feat: add total weakest preconditions Build Iris Lean #2423: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required
feat: Port bi/lib/relations.v Build Iris Lean #2422: Pull request #588 synchronize by lzy0505
6m 3s lzy0505:Codex/port-relations
lzy0505:Codex/port-relations
6m 3s
feat: Port bi/lib/relations.v Build Iris Lean #2421: Pull request #588 synchronize by lzy0505
5m 52s lzy0505:Codex/port-relations
lzy0505:Codex/port-relations
5m 52s
feat: add total weakest preconditions Build Iris Lean #2420: Pull request #554 synchronize by mfornet
Action required mfornet:master
mfornet:master
Action required