Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,380 workflow runs
5,380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #472 CodeQL #2480: by MikaelMayer
1m 43s refs/pull/472/head
refs/pull/472/head
1m 43s
PR #472 CodeQL #2479: by MikaelMayer
1m 51s refs/pull/472/head
refs/pull/472/head
1m 51s
Match on SepFormat constructors in Ion serialization Build #2668: Pull request #478 synchronize by joehendrix
21m 30s jhx/ddm_ion
jhx/ddm_ion
21m 30s
PR #478 CodeQL #2478: by joehendrix
1m 52s refs/pull/478/head
refs/pull/478/head
1m 52s
Match on SepFormat constructors in Ion serialization Build #2667: Pull request #478 opened by joehendrix
22m 33s jhx/ddm_ion
jhx/ddm_ion
22m 33s
PR #478 CodeQL #2477: by joehendrix
1m 39s refs/pull/478/head
refs/pull/478/head
1m 39s
Use embedded Python dialect in pySpecs command Build #2666: Pull request #473 synchronize by joehendrix
21m 41s jhx/pydialect_temp
jhx/pydialect_temp
21m 41s
PR #473 CodeQL #2476: by joehendrix
1m 41s refs/pull/473/head
refs/pull/473/head
1m 41s
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Build #2665: Pull request #475 synchronize by MikaelMayer
18m 49s migrate-b3-smt-pipeline-core-to-core
migrate-b3-smt-pipeline-core-to-core
18m 49s
PR #475 CodeQL #2475: by MikaelMayer
1m 39s refs/pull/475/head
refs/pull/475/head
1m 39s
PR #472 CodeQL #2474: by MikaelMayer
1m 38s refs/pull/472/head
refs/pull/472/head
1m 38s
Refactor datatype tests to use concrete syntax Build #2664: Pull request #474 synchronize by joscoh
17m 43s josh/datatype-tests
josh/datatype-tests
17m 43s
PR #474 CodeQL #2473: by joscoh
1m 43s refs/pull/474/head
refs/pull/474/head
1m 43s
Add structured Func attributes, generalize constructor-based inlining Build #2663: Pull request #476 synchronize by joscoh
17m 47s josh/attributes
josh/attributes
17m 47s
PR #476 CodeQL #2472: by joscoh
1m 46s refs/pull/476/head
refs/pull/476/head
1m 46s
Refactor the Metadata field of Cmd/Stmt to have a mandatory value Build #2662: Pull request #477 synchronize by aqjune-aws
12m 28s jlee/metadatadef
jlee/metadatadef
12m 28s
PR #477 CodeQL #2471: by aqjune-aws
1m 37s refs/pull/477/head
refs/pull/477/head
1m 37s
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Build #2661: Pull request #475 synchronize by MikaelMayer
18m 47s migrate-b3-smt-pipeline-core-to-core
migrate-b3-smt-pipeline-core-to-core
18m 47s
PR #475 CodeQL #2470: by MikaelMayer
1m 43s refs/pull/475/head
refs/pull/475/head
1m 43s
Add function preconditions to Core (#444) Deploy Documentation #87: Commit cb2411d pushed by github-merge-queue bot
17m 55s main
main
17m 55s
Push on main CodeQL #2469: by github-merge-queue bot
1m 47s main
main
1m 47s
Support inheritance Build #2660: Pull request #459 synchronize by keyboardDrummer
19m 18s remy/inheritance
remy/inheritance
19m 18s
PR #459 CodeQL #2468: by keyboardDrummer
1m 48s refs/pull/459/head
refs/pull/459/head
1m 48s
Refactor the Metadata field of Cmd/Stmt to have a mandatory value Build #2659: Pull request #477 opened by aqjune-aws
22m 32s jlee/metadatadef
jlee/metadatadef
22m 32s
PR #477 CodeQL #2467: by aqjune-aws
1m 36s refs/pull/477/head
refs/pull/477/head
1m 36s