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
Fix self.field.method() calls bypassing dispatch resolution Label review status #1742: Pull request #1085 submitted by tautschnig
19s
19s
Eliminate redundant exception checks in try/except bodies Label review status #1741: Pull request #1091 submitted by Copilot AI
Action required
Action required
Copilot code review Copilot code review #73: by Copilot AI
5m 47s refs/pull/1091/head
refs/pull/1091/head
5m 47s
Eliminate redundant exception checks in try/except bodies Build #8348: Pull request #1091 opened by tautschnig
28m 38s tautschnig/isError_transform
tautschnig/isError_transform
28m 38s
Eliminate redundant exception checks in try/except bodies Label merge conflicts #1723: Pull request #1091 opened by tautschnig
21s
21s
Eliminate redundant exception checks in try/except bodies Label review status #1740: Pull request #1091 opened by tautschnig
24s
24s
Eliminate redundant exception checks in try/except bodies Label PR areas #985: Pull request #1091 opened by tautschnig
22s
22s
PR #1091 CodeQL #7247: by tautschnig
1m 36s refs/pull/1091/head
refs/pull/1091/head
1m 36s
Separate SMT error categories: encoding, timeout, crash Label merge conflicts #1722: Pull request #1090 opened by shigoel
21s
21s
Separate SMT error categories: encoding, timeout, crash Label review status #1739: Pull request #1090 opened by shigoel
16s
16s
Separate SMT error categories: encoding, timeout, crash Label PR areas #984: Pull request #1090 opened by shigoel
18s
18s
Separate SMT error categories: encoding, timeout, crash Build #8347: Pull request #1090 opened by shigoel
In progress shilpi/separate-smt-error-categories
shilpi/separate-smt-error-categories
In progress
PR #1090 CodeQL #7246: by shigoel
1m 42s refs/pull/1090/head
refs/pull/1090/head
1m 42s
Support str.prefixof and str.suffixof in Core dialect Label review status #1738: Pull request #1083 submitted by shigoel
22s
22s
Support str.prefixof and str.suffixof in Core dialect Label review status #1737: Pull request #1083 synchronize by MikaelMayer
22s
22s
Support str.prefixof and str.suffixof in Core dialect Label merge conflicts #1721: Pull request #1083 synchronize by MikaelMayer
35s
35s
Support str.prefixof and str.suffixof in Core dialect Label PR areas #983: Pull request #1083 synchronize by MikaelMayer
19s
19s
Support str.prefixof and str.suffixof in Core dialect Build #8346: Pull request #1083 synchronize by MikaelMayer
15m 39s issue-1081-support-str-prefixof-and-str-suffixof-in
issue-1081-support-str-prefixof-and-str-suffixof-in
15m 39s
PR #1083 CodeQL #7245: by MikaelMayer
1m 20s refs/pull/1083/head
refs/pull/1083/head
1m 20s
Support str.prefixof and str.suffixof in Core dialect Label review status #1736: Pull request #1083 submitted by MikaelMayer
1m 14s
1m 14s
Prove correctness of the term creators in SMT/Factory.lean Build #8345: Pull request #1088 synchronize by aqjune-aws
30m 18s jlee/smt-factory-correct
jlee/smt-factory-correct
30m 18s
Prove correctness of the term creators in SMT/Factory.lean Label PR areas #982: Pull request #1088 synchronize by aqjune-aws
35s
35s
Prove correctness of the term creators in SMT/Factory.lean Label review status #1735: Pull request #1088 synchronize by aqjune-aws
24s
24s
Prove correctness of the term creators in SMT/Factory.lean Label merge conflicts #1720: Pull request #1088 synchronize by aqjune-aws
26s
26s
PR #1088 CodeQL #7244: by aqjune-aws
1m 37s refs/pull/1088/head
refs/pull/1088/head
1m 37s