Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,763 workflow runs
2,763 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend Cmds.toGotoTransform to handle all Stmt types Build #1305: Pull request #289 synchronize by tautschnig
17m 50s tautschnig/ToCProverGOTO-Stmt
tautschnig/ToCProverGOTO-Stmt
17m 50s
PR #289 CodeQL #1295: by tautschnig
1m 37s refs/pull/289/head
refs/pull/289/head
1m 37s
Copilot code review Copilot code review #2: by Copilot AI
4m 1s refs/pull/289/head
refs/pull/289/head
4m 1s
Extend Cmds.toGotoTransform to handle all Stmt types Build #1304: Pull request #289 synchronize by tautschnig
19m 28s tautschnig/ToCProverGOTO-Stmt
tautschnig/ToCProverGOTO-Stmt
19m 28s
PR #289 CodeQL #1294: by tautschnig
1m 34s refs/pull/289/head
refs/pull/289/head
1m 34s
Add SARIF output format support with comprehensive tests Build #1303: Pull request #290 synchronize by tautschnig
15m 13s tautschnig/SARIF-output
tautschnig/SARIF-output
15m 13s
PR #290 CodeQL #1293: by tautschnig
1m 45s refs/pull/290/head
refs/pull/290/head
1m 45s
Modes for controlling irrelevant axiom removal Build #1302: Pull request #301 synchronize by shigoel
16m 7s shilpi/irrelevant-ax-fix
shilpi/irrelevant-ax-fix
16m 7s
PR #301 CodeQL #1292: by shigoel
1m 34s refs/pull/301/head
refs/pull/301/head
1m 34s
Add support for DDM-defined datatypes Build #1301: Pull request #300 synchronize by joscoh
20m 49s josh/concrete-ast-ddm-2
josh/concrete-ast-ddm-2
20m 49s
PR #300 CodeQL #1291: by joscoh
1m 41s refs/pull/300/head
refs/pull/300/head
1m 41s
Update codeowners Build #1300: Pull request #303 synchronize by joscoh
18m 6s codeowners
codeowners
18m 6s
PR #303 CodeQL #1290: by joscoh
1m 35s refs/pull/303/head
refs/pull/303/head
1m 35s
Update codeowners Build #1299: Pull request #303 synchronize by joscoh
15m 23s codeowners
codeowners
15m 23s
PR #303 CodeQL #1289: by joscoh
1m 28s refs/pull/303/head
refs/pull/303/head
1m 28s
Add primitive type prelude for Python Build #1298: Pull request #262 synchronize by thanhnguyen-aws
20m 19s thanhnguyen-aws:pythonprelude
thanhnguyen-aws:pythonprelude
20m 19s
Add primitive type prelude for Python Build #1297: Pull request #262 synchronize by thanhnguyen-aws
18m 22s thanhnguyen-aws:pythonprelude
thanhnguyen-aws:pythonprelude
18m 22s
Add primitive type prelude for Python Build #1296: Pull request #262 synchronize by thanhnguyen-aws
17m 44s thanhnguyen-aws:pythonprelude
thanhnguyen-aws:pythonprelude
17m 44s
Add a translator from SMT.Term to SMTDDM.Term Build #1295: Pull request #177 synchronize by aqjune-aws
16m 46s jlee/smt2
jlee/smt2
16m 46s
PR #177 CodeQL #1288: by aqjune-aws
1m 34s refs/pull/177/head
refs/pull/177/head
1m 34s
Push on main CodeQL #1287: by github-merge-queue bot
1m 33s main
main
1m 33s
Translate datatypes to SMT via declare-datatype Build #1294: Pull request #251 synchronize by joscoh
12m 30s josh/declare-datatype
josh/declare-datatype
12m 30s
PR #251 CodeQL #1286: by joscoh
1m 35s refs/pull/251/head
refs/pull/251/head
1m 35s
Add a translator from SMT.Term to SMTDDM.Term Build #1293: Pull request #177 synchronize by aqjune-aws
13m 21s jlee/smt2
jlee/smt2
13m 21s
PR #177 CodeQL #1285: by aqjune-aws
1m 55s refs/pull/177/head
refs/pull/177/head
1m 55s