Skip to content

Actions: cajal-technologies/talos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,666 workflow runs
1,666 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
Prove GCD and merge sort termination with total weakest preconditions Testsuite Report Freshness #289: Pull request #166 opened by mfornet
11m 42s codex/iris-total-wp-proofs
codex/iris-total-wp-proofs
11m 42s
Prove GCD and merge sort termination with total weakest preconditions Verifier Report Preview #401: Pull request #166 opened by mfornet
2m 24s codex/iris-total-wp-proofs
codex/iris-total-wp-proofs
2m 24s
Prove GCD and merge sort termination with total weakest preconditions Verifier Freshness #464: Pull request #166 opened by mfornet
1m 47s codex/iris-total-wp-proofs
codex/iris-total-wp-proofs
1m 47s
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
PR #166 CodeQL #6: by mfornet
1m 59s refs/pull/166/head
refs/pull/166/head
1m 59s
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 (#165) Verifier Report Preview #400: Commit 38bd5b7 pushed by mfornet
2m 26s main
main
2m 26s
Reuse Lake builds in Codex worktrees (#165) Verifier Freshness #463: Commit 38bd5b7 pushed by mfornet
2m 1s main
main
2m 1s
Push on main CodeQL #5: by mfornet
1m 44s main
main
1m 44s
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
Reuse Lake builds in Codex worktrees Verifier Report Preview #399: Pull request #165 opened by mfornet
2m 18s codex/reuse-lake-builds
codex/reuse-lake-builds
2m 18s
Reuse Lake builds in Codex worktrees Testsuite Report Freshness #288: Pull request #165 opened by mfornet
8m 14s codex/reuse-lake-builds
codex/reuse-lake-builds
8m 14s
Reuse Lake builds in Codex worktrees Verifier Freshness #462: Pull request #165 opened by mfornet
2m 1s codex/reuse-lake-builds
codex/reuse-lake-builds
2m 1s
PR #165 CodeQL #4: by mfornet
2m 2s refs/pull/165/head
refs/pull/165/head
2m 2s
Push on main CodeQL #3: by mfornet
2m 0s main
main
2m 0s
Upgrade Lean to 4.32.2 (#164) Verifier Report Preview #398: Commit 7972b55 pushed by mfornet
7m 8s main
main
7m 8s
Upgrade Lean to 4.32.2 (#164) Verifier Freshness #461: Commit 7972b55 pushed by mfornet
6m 24s main
main
6m 24s
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 Verifier Report Preview #397: Pull request #164 opened by mfornet
7m 41s codex/upgrade-lean-4.32.2
codex/upgrade-lean-4.32.2
7m 41s
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
Upgrade Lean to 4.32.2 Testsuite Report Freshness #287: Pull request #164 opened by mfornet
17m 15s codex/upgrade-lean-4.32.2
codex/upgrade-lean-4.32.2
17m 15s
Upgrade Lean to 4.32.2 Verifier Freshness #460: Pull request #164 opened by mfornet
6m 49s codex/upgrade-lean-4.32.2
codex/upgrade-lean-4.32.2
6m 49s
PR #164 CodeQL #2: by mfornet
1m 54s refs/pull/164/head
refs/pull/164/head
1m 54s
CodeQL Setup CodeQL #1: by lukerj00
2m 1s main
main
2m 1s
interpreter: measure-based termination for small-step configurations Verifier Freshness #459: Pull request #163 opened by theebayuser
1m 44s theebayuser:iris/measure-termination
theebayuser:iris/measure-termination
1m 44s