Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Build #7298: Pull request #475 synchronize by MikaelMayer
In progress migrate-b3-smt-pipeline-core-to-core
migrate-b3-smt-pipeline-core-to-core
In progress
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Label merge conflicts #709: Pull request #475 synchronize by MikaelMayer
15s
15s
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Label PR areas #22: Pull request #475 synchronize by MikaelMayer
12s
12s
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Label review status #44: Pull request #475 synchronize by MikaelMayer
10s
10s
PR #475 CodeQL #6580: by MikaelMayer
1m 36s refs/pull/475/head
refs/pull/475/head
1m 36s
Only use Lean caches on PRs (#953) Deploy Documentation #370: Commit 6c9424f pushed by github-merge-queue bot
In progress main
main
In progress
Only use Lean caches on PRs (#953) Label merge conflicts #708: Commit 6c9424f pushed by github-merge-queue bot
20s main
main
20s
Only use Lean caches on PRs (#953) Build #7297: Commit 6c9424f pushed by github-merge-queue bot
In progress main
main
In progress
Push on main CodeQL #6579: by github-merge-queue bot
1m 38s main
main
1m 38s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Build #7296: Pull request #753 synchronize by MikaelMayer
In progress issue-749-partial-evaluation-deduplication-could-b
issue-749-partial-evaluation-deduplication-could-b
In progress
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label review status #43: Pull request #753 synchronize by MikaelMayer
10s
10s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label PR areas #21: Pull request #753 synchronize by MikaelMayer
11s
11s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label merge conflicts #707: Pull request #753 synchronize by MikaelMayer
14s
14s
PR #753 CodeQL #6578: by MikaelMayer
1m 40s refs/pull/753/head
refs/pull/753/head
1m 40s
Update toolchain from Lean 4.27.0 to Lean 4.29.1 Label review status #42: Pull request #967 submitted by MikaelMayer
11s
11s
Build Build #7295: Merge group checks requested
32m 55s
32m 55s
Only use Lean caches on PRs Label review status #41: Pull request #953 submitted by MikaelMayer
11s
11s
Denotational Semantics for Lambda Label review status #40: Pull request #865 submitted by atomb
11s
11s
Denotational Semantics for Lambda Build #7294: Pull request #865 synchronize by joscoh
25m 30s josh/denote2
josh/denote2
25m 30s
Denotational Semantics for Lambda Label PR areas #20: Pull request #865 synchronize by joscoh
11s
11s
Denotational Semantics for Lambda Label review status #39: Pull request #865 synchronize by joscoh
12s
12s
Denotational Semantics for Lambda Label merge conflicts #706: Pull request #865 synchronize by joscoh
16s
16s
PR #865 CodeQL #6577: by joscoh
1m 32s refs/pull/865/head
refs/pull/865/head
1m 32s
Denotational Semantics for Lambda Label review status #38: Pull request #865 submitted by joscoh
11s
11s
Denotational Semantics for Lambda Build #7293: Pull request #865 synchronize by joscoh
26m 17s josh/denote2
josh/denote2
26m 17s