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: structured-to-unstructured forward soundness for simple-shape programs (small-step) Build #10256: Pull request #1348 opened by PROgram52bc
Queued htd/structured-to-unstructured-small-step-proof
htd/structured-to-unstructured-small-step-proof
Queued
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step) Label PR areas #2815: Pull request #1348 opened by PROgram52bc
13s
13s
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step) Label merge conflicts #3614: Pull request #1348 opened by PROgram52bc
27s
27s
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step) Label review status #5218: Pull request #1348 opened by PROgram52bc
13s
13s
feat: small-step CFG infrastructure for structured-to-unstructured forward-simulation proof Label merge conflicts #3613: Pull request #1347 opened by PROgram52bc
18s
18s
feat: small-step CFG infrastructure for structured-to-unstructured forward-simulation proof Build #10255: Pull request #1347 opened by PROgram52bc
Queued htd/structured-to-unstructured-small-step-infra
htd/structured-to-unstructured-small-step-infra
Queued
feat: small-step CFG infrastructure for structured-to-unstructured forward-simulation proof Label PR areas #2814: Pull request #1347 opened by PROgram52bc
16s
16s
feat: small-step CFG infrastructure for structured-to-unstructured forward-simulation proof Label review status #5217: Pull request #1347 opened by PROgram52bc
10s
10s
PR #1347 CodeQL #8711: by PROgram52bc
Queued refs/pull/1347/head
refs/pull/1347/head
Queued
Add type checking to Laurel resolution pass Build #10254: Pull request #1121 synchronize by leo-leesco
In progress keyboardDrummer-bot/issue-1120-type-checking
keyboardDrummer-bot/issue-1120-type-checking
In progress
Add type checking to Laurel resolution pass Label PR areas #2813: Pull request #1121 synchronize by leo-leesco
10s
10s
Add type checking to Laurel resolution pass Label merge conflicts #3612: Pull request #1121 synchronize by leo-leesco
25s
25s
Add type checking to Laurel resolution pass Label review status #5216: Pull request #1121 synchronize by leo-leesco
16s
16s
PR #1121 CodeQL #8710: by leo-leesco
8m 33s refs/pull/1121/head
refs/pull/1121/head
8m 33s
Remove Tools/BoogieToStrata (#1329) Build #10253: Commit 810e329 pushed by github-merge-queue Bot
Queued main
main
Queued
Remove Tools/BoogieToStrata (#1329) Deploy Documentation #482: Commit 810e329 pushed by github-merge-queue Bot
In progress main
main
In progress
Remove Tools/BoogieToStrata (#1329) Label merge conflicts #3611: Commit 810e329 pushed by github-merge-queue Bot
18s main
main
18s
Push on main CodeQL #8709: by github-merge-queue Bot
1m 29s main
main
1m 29s
Build Build #10252: Merge group checks requested
Queued
Queued
Merge main into main2 (2026-06-08) Label merge conflicts #3610: Pull request #1346 opened by shigoel
10s
10s
Merge main into main2 (2026-06-08) Label PR areas #2812: Pull request #1346 opened by shigoel
16s
16s
Merge main into main2 (2026-06-08) Label review status #5215: Pull request #1346 opened by shigoel
16s
16s
Merge main into main2 (2026-06-08) Build #10251: Pull request #1346 opened by shigoel
31m 11s merge-with-main-2026-06-08
merge-with-main-2026-06-08
31m 11s
PR #1346 CodeQL #8708: by shigoel
1m 15s refs/pull/1346/head
refs/pull/1346/head
1m 15s
Core Expression metadata Build #10250: Pull request #1066 synchronize by MikaelMayer
In progress issue-1065-extract-core-expression-metadata-from-pr
issue-1065-extract-core-expression-metadata-from-pr
In progress