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
Core.formatProgram to produce round-trip-parseable output for all constructs Build #9087: Pull request #1165 synchronize by MikaelMayer
23m 30s issue-1158-core-formatprogram-does-not-produce-roun
issue-1158-core-formatprogram-does-not-produce-roun
23m 30s
Core.formatProgram to produce round-trip-parseable output for all constructs Label review status #3170: Pull request #1165 synchronize by MikaelMayer
10s
10s
Core.formatProgram to produce round-trip-parseable output for all constructs Label merge conflicts #2454: Pull request #1165 synchronize by MikaelMayer
14s
14s
Core.formatProgram to produce round-trip-parseable output for all constructs Label PR areas #1696: Pull request #1165 synchronize by MikaelMayer
11s
11s
PR #1165 CodeQL #7714: by MikaelMayer
1m 32s refs/pull/1165/head
refs/pull/1165/head
1m 32s
Split StrataMain.lean into importable library and thin executable root Build #9086: Pull request #1164 synchronize by MikaelMayer
21m 19s issue-1163-split-stratamain-lean-into-importable-li
issue-1163-split-stratamain-lean-into-importable-li
21m 19s
Split StrataMain.lean into importable library and thin executable root Label review status #3169: Pull request #1164 synchronize by MikaelMayer
10s
10s
Split StrataMain.lean into importable library and thin executable root Label merge conflicts #2453: Pull request #1164 synchronize by MikaelMayer
13s
13s
Split StrataMain.lean into importable library and thin executable root Label PR areas #1695: Pull request #1164 synchronize by MikaelMayer
11s
11s
Feature request: Parallel solving Build #9085: Pull request #1046 synchronize by MikaelMayer
22m 19s issue-1045-feature-request-parallel-solving
issue-1045-feature-request-parallel-solving
22m 19s
Feature request: Parallel solving Label merge conflicts #2452: Pull request #1046 synchronize by MikaelMayer
25s
25s
Feature request: Parallel solving Label PR areas #1694: Pull request #1046 synchronize by MikaelMayer
10s
10s
Feature request: Parallel solving Label review status #3168: Pull request #1046 synchronize by MikaelMayer
9s
9s
Core.formatProgram to produce round-trip-parseable output for all constructs Label review status #3167: Pull request #1165 submitted by MikaelMayer
9s
9s
Core.formatProgram to produce round-trip-parseable output for all constructs Label review status #3166: Pull request #1165 submitted by MikaelMayer
12s
12s
Core.formatProgram to produce round-trip-parseable output for all constructs Label review status #3165: Pull request #1165 submitted by MikaelMayer
10s
10s
Core.formatProgram to produce round-trip-parseable output for all constructs Build #9084: Pull request #1165 synchronize by MikaelMayer
22m 22s issue-1158-core-formatprogram-does-not-produce-roun
issue-1158-core-formatprogram-does-not-produce-roun
22m 22s
Core.formatProgram to produce round-trip-parseable output for all constructs Label merge conflicts #2451: Pull request #1165 synchronize by MikaelMayer
13s
13s
Core.formatProgram to produce round-trip-parseable output for all constructs Label PR areas #1693: Pull request #1165 synchronize by MikaelMayer
10s
10s
Core.formatProgram to produce round-trip-parseable output for all constructs Label review status #3164: Pull request #1165 synchronize by MikaelMayer
12s
12s
PR #1165 CodeQL #7713: by MikaelMayer
1m 27s refs/pull/1165/head
refs/pull/1165/head
1m 27s
Split StrataMain.lean into importable library and thin executable root Build #9083: Pull request #1164 synchronize by MikaelMayer
23m 47s issue-1163-split-stratamain-lean-into-importable-li
issue-1163-split-stratamain-lean-into-importable-li
23m 47s
Split StrataMain.lean into importable library and thin executable root Label PR areas #1692: Pull request #1164 synchronize by MikaelMayer
10s
10s
Split StrataMain.lean into importable library and thin executable root Label merge conflicts #2450: Pull request #1164 synchronize by MikaelMayer
18s
18s
Split StrataMain.lean into importable library and thin executable root Label review status #3163: Pull request #1164 synchronize by MikaelMayer
13s
13s