Skip to content

Actions: cajal-technologies/talos

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
484 workflow runs
484 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
interpreter: measure-based termination for small-step configurations CI #494: Pull request #163 synchronize by theebayuser
22m 11s theebayuser:iris/measure-termination
theebayuser:iris/measure-termination
22m 11s
Prove GCD and merge sort termination with total weakest preconditions CI #493: Pull request #166 opened by mfornet
29m 16s codex/iris-total-wp-proofs
codex/iris-total-wp-proofs
29m 16s
Reuse Lake builds in Codex worktrees (#165) CI #492: Commit 38bd5b7 pushed by mfornet
22m 42s main
main
22m 42s
Reuse Lake builds in Codex worktrees CI #491: Pull request #165 opened by mfornet
23m 43s codex/reuse-lake-builds
codex/reuse-lake-builds
23m 43s
Upgrade Lean to 4.32.2 (#164) CI #490: Commit 7972b55 pushed by mfornet
39m 28s main
main
39m 28s
Upgrade Lean to 4.32.2 CI #489: Pull request #164 opened by mfornet
27m 17s codex/upgrade-lean-4.32.2
codex/upgrade-lean-4.32.2
27m 17s
interpreter: measure-based termination for small-step configurations CI #488: Pull request #163 opened by theebayuser
15m 54s theebayuser:iris/measure-termination
theebayuser:iris/measure-termination
15m 54s
Merge Iris small-step foundation into main (#162) CI #487: Commit aa52510 pushed by mfornet
41m 4s main
main
41m 4s
Merge Iris small-step foundation into main CI #486: Pull request #162 opened by mfornet
23m 57s iris
iris
23m 57s
Integrate Iris small-step Wasm semantics CI #485: Pull request #161 synchronize by mfornet
40m 17s codex/iris-small-step-foundation
codex/iris-small-step-foundation
40m 17s
Integrate Iris small-step Wasm semantics CI #484: Pull request #161 synchronize by mfornet
41m 36s codex/iris-small-step-foundation
codex/iris-small-step-foundation
41m 36s
Integrate Iris small-step Wasm semantics CI #483: Pull request #161 synchronize by mfornet
19m 24s codex/iris-small-step-foundation
codex/iris-small-step-foundation
19m 24s
Integrate Iris small-step Wasm semantics CI #482: Pull request #161 synchronize by mfornet
19m 59s codex/iris-small-step-foundation
codex/iris-small-step-foundation
19m 59s
Integrate Iris small-step Wasm semantics CI #481: Pull request #161 synchronize by mfornet
21m 25s codex/iris-small-step-foundation
codex/iris-small-step-foundation
21m 25s
Integrate Iris small-step Wasm semantics CI #480: Pull request #161 synchronize by mfornet
48m 38s codex/iris-small-step-foundation
codex/iris-small-step-foundation
48m 38s
Integrate Iris small-step Wasm semantics CI #479: Pull request #161 synchronize by mfornet
21m 0s codex/iris-small-step-foundation
codex/iris-small-step-foundation
21m 0s
Integrate Iris small-step Wasm semantics CI #478: Pull request #161 opened by mfornet
56m 5s codex/iris-small-step-foundation
codex/iris-small-step-foundation
56m 5s
Iprop module-linking CI #477: Pull request #143 synchronize by Isabelle9999
12m 57s Isabelle9999:module-linking-clean
Isabelle9999:module-linking-clean
12m 57s
Add observation-labelled pure-core small-step semantics CI #476: Pull request #160 opened by Abraxas1010
15m 17s Abraxas1010:feature/observation-labelled-pure-core
Abraxas1010:feature/observation-labelled-pure-core
15m 17s
Swap ownership fix ( iprop) CI #475: Pull request #156 synchronize by Isabelle9999
12m 47s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
12m 47s
Swap ownership fix ( iprop) CI #474: Pull request #156 synchronize by Isabelle9999
11m 10s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
11m 10s
Swap ownership fix ( iprop) CI #473: Pull request #156 synchronize by Isabelle9999
9m 27s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
9m 27s
Add just differential: differential-test the runner against V8 via … CI #472: Commit e10bcdd pushed by mfornet
10m 47s main
main
10m 47s
Swap ownership fix ( iprop) CI #471: Pull request #156 synchronize by Isabelle9999
6h 5m 5s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
6h 5m 5s
interpreter: prove env-independence of run/exec/execOne for import-fr… CI #470: Commit 8c60e3f pushed by mfornet
14m 25s main
main
14m 25s