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
Feature request: Parallel solving Build #8378: Pull request #1046 synchronize by MikaelMayer
25m 11s issue-1045-feature-request-parallel-solving
issue-1045-feature-request-parallel-solving
25m 11s
Feature request: Parallel solving Label review status #1785: Pull request #1046 synchronize by MikaelMayer
18s
18s
Feature request: Parallel solving Label merge conflicts #1752: Pull request #1046 synchronize by MikaelMayer
27s
27s
Feature request: Parallel solving Label PR areas #1013: Pull request #1046 synchronize by MikaelMayer
5m 25s
5m 25s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Build #8377: Pull request #935 synchronize by MikaelMayer
24m 30s issue-917-abstract-solver-interface-decouple-term
issue-917-abstract-solver-interface-decouple-term
24m 30s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label PR areas #1012: Pull request #935 synchronize by MikaelMayer
39s
39s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label merge conflicts #1751: Pull request #935 synchronize by MikaelMayer
22s
22s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label review status #1784: Pull request #935 synchronize by MikaelMayer
59s
59s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Build #8376: Pull request #753 synchronize by MikaelMayer
24m 34s issue-749-partial-evaluation-deduplication-could-b
issue-749-partial-evaluation-deduplication-could-b
24m 34s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label PR areas #1011: Pull request #753 synchronize by MikaelMayer
20s
20s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label merge conflicts #1750: Pull request #753 synchronize by MikaelMayer
26s
26s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label review status #1783: Pull request #753 synchronize by MikaelMayer
18s
18s
PR #753 CodeQL #7264: by MikaelMayer
1m 41s refs/pull/753/head
refs/pull/753/head
1m 41s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label review status #1782: Pull request #753 submitted by MikaelMayer
17s
17s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label review status #1781: Pull request #753 submitted by MikaelMayer
21s
21s
Feature request: Parallel solving Build #8375: Pull request #1046 synchronize by MikaelMayer
22m 11s issue-1045-feature-request-parallel-solving
issue-1045-feature-request-parallel-solving
22m 11s
Feature request: Parallel solving Label merge conflicts #1749: Pull request #1046 synchronize by MikaelMayer
19s
19s
Feature request: Parallel solving Label review status #1780: Pull request #1046 synchronize by MikaelMayer
43s
43s
Feature request: Parallel solving Label PR areas #1010: Pull request #1046 synchronize by MikaelMayer
21s
21s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Build #8374: Pull request #935 synchronize by MikaelMayer
20m 3s issue-917-abstract-solver-interface-decouple-term
issue-917-abstract-solver-interface-decouple-term
20m 3s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label PR areas #1009: Pull request #935 synchronize by MikaelMayer
5m 16s
5m 16s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label merge conflicts #1748: Pull request #935 synchronize by MikaelMayer
22s
22s
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding Label review status #1779: Pull request #935 synchronize by MikaelMayer
16s
16s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Build #8373: Pull request #753 synchronize by MikaelMayer
20m 5s issue-749-partial-evaluation-deduplication-could-b
issue-749-partial-evaluation-deduplication-could-b
20m 5s
Separate type-checking, partial evaluation and ANF into Core-to-Core phases Label review status #1778: Pull request #753 synchronize by MikaelMayer
20s
20s