Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Python 3.14 features and test on Python 3.13 and 3.14. Build #1335: Pull request #310 synchronize by joehendrix
In progress jhx/python_downgrade
jhx/python_downgrade
In progress
PR #310 CodeQL #1318: by joehendrix
In progress refs/pull/310/head
refs/pull/310/head
In progress
Percolate source location metadata from Boogie DDM down to Lambda Build #1334: Pull request #309 synchronize by shigoel
16m 7s shilpi/error-handling-fix
shilpi/error-handling-fix
16m 7s
PR #309 CodeQL #1317: by shigoel
1m 48s refs/pull/309/head
refs/pull/309/head
1m 48s
Remove Python 3.14 features and test on Python 3.13 and 3.14. Build #1333: Pull request #310 opened by joehendrix
19m 0s jhx/python_downgrade
jhx/python_downgrade
19m 0s
Add support for DDM-defined datatypes Build #1332: Pull request #300 synchronize by joscoh
13m 18s josh/concrete-ast-ddm-2
josh/concrete-ast-ddm-2
13m 18s
PR #300 CodeQL #1316: by joscoh
1m 38s refs/pull/300/head
refs/pull/300/head
1m 38s
PR #310 CodeQL #1315: by joehendrix
1m 51s refs/pull/310/head
refs/pull/310/head
1m 51s
Add support for DDM-defined datatypes Build #1331: Pull request #300 synchronize by joscoh
13m 38s josh/concrete-ast-ddm-2
josh/concrete-ast-ddm-2
13m 38s
PR #300 CodeQL #1314: by joscoh
2m 39s refs/pull/300/head
refs/pull/300/head
2m 39s
Percolate source location metadata from Boogie DDM down to Lambda Build #1330: Pull request #309 synchronize by shigoel
15m 11s shilpi/error-handling-fix
shilpi/error-handling-fix
15m 11s
PR #309 CodeQL #1313: by shigoel
1m 45s refs/pull/309/head
refs/pull/309/head
1m 45s
Percolate source location metadata from Boogie DDM down to Lambda Build #1329: Pull request #309 opened by shigoel
14m 55s shilpi/error-handling-fix
shilpi/error-handling-fix
14m 55s
PR #309 CodeQL #1312: by shigoel
1m 49s refs/pull/309/head
refs/pull/309/head
1m 49s
Fix issue #297 and #268, make proc inlining visit subblocks Build #1328: Pull request #302 synchronize by aqjune-aws
13m 27s jlee/issue-297-and-268
jlee/issue-297-and-268
13m 27s
PR #302 CodeQL #1311: by aqjune-aws
3m 11s refs/pull/302/head
refs/pull/302/head
3m 11s
feat(DDM): Java code generator for dialects Build #1327: Pull request #292 synchronize by fabiomadge
13m 13s fabiomadge:feat/java-codegen
fabiomadge:feat/java-codegen
13m 13s
Add a translator from SMT.Term to SMTDDM.Term Build #1326: Pull request #177 synchronize by aqjune-aws
13m 12s jlee/smt2
jlee/smt2
13m 12s
PR #177 CodeQL #1310: by aqjune-aws
1m 40s refs/pull/177/head
refs/pull/177/head
1m 40s
Improve Ion serialization and deserialization performance Build #1325: Pull request #298 synchronize by joehendrix
19m 55s jhx/ion_perf
jhx/ion_perf
19m 55s
PR #298 CodeQL #1309: by joehendrix
1m 44s refs/pull/298/head
refs/pull/298/head
1m 44s
Push on main CodeQL #1308: by github-merge-queue bot
1m 45s main
main
1m 45s
Modes for controlling irrelevant axiom removal Build #1324: Pull request #301 synchronize by shigoel
18m 44s shilpi/irrelevant-ax-fix
shilpi/irrelevant-ax-fix
18m 44s
PR #301 CodeQL #1307: by shigoel
1m 47s refs/pull/301/head
refs/pull/301/head
1m 47s
feat(DDM): Java code generator for dialects Build #1323: Pull request #292 synchronize by fabiomadge
12m 10s fabiomadge:feat/java-codegen
fabiomadge:feat/java-codegen
12m 10s