Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,819 workflow runs
6,819 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix anchor bugs in pythonRegexToCore; add differential test suite Build #3360: Pull request #517 opened by shigoel
18m 55s shilpi/regex-fix
shilpi/regex-fix
18m 55s
PR #517 CodeQL #3190: by shigoel
2m 8s refs/pull/517/head
refs/pull/517/head
2m 8s
Add re.compile to prelude to avoid crash on regex imports Build #3359: Pull request #512 synchronize by joehendrix
18m 40s jhx/pyspec_re
jhx/pyspec_re
18m 40s
PR #512 CodeQL #3189: by joehendrix
1m 55s refs/pull/512/head
refs/pull/512/head
1m 55s
Eliminate need for forward type declarations in recursive datatypes Build #3358: Pull request #443 synchronize by joehendrix
19m 56s jhx/ddm_preregister
jhx/ddm_preregister
19m 56s
PR #443 CodeQL #3188: by joehendrix
1m 53s refs/pull/443/head
refs/pull/443/head
1m 53s
Refactor DialectFileMap to use IO.Ref for LoadedDialects Build #3357: Pull request #516 synchronize by joehendrix
18m 10s jhx/filemap
jhx/filemap
18m 10s
PR #516 CodeQL #3187: by joehendrix
1m 57s refs/pull/516/head
refs/pull/516/head
1m 57s
Support Any type, Operations, and Kwargs handling for Python->Laurel Build #3356: Pull request #489 synchronize by thanhnguyen-aws
19m 1s laureltrans
laureltrans
19m 1s
PR #489 CodeQL #3186: by thanhnguyen-aws
2m 2s refs/pull/489/head
refs/pull/489/head
2m 2s
Refactor DialectFileMap to use IO.Ref for LoadedDialects Build #3355: Pull request #516 synchronize by joehendrix
18m 31s jhx/filemap
jhx/filemap
18m 31s
PR #516 CodeQL #3185: by joehendrix
2m 0s refs/pull/516/head
refs/pull/516/head
2m 0s
Refactor DialectFileMap to use IO.Ref for LoadedDialects Build #3354: Pull request #516 synchronize by joehendrix
19m 5s jhx/filemap
jhx/filemap
19m 5s
PR #516 CodeQL #3184: by joehendrix
1m 44s refs/pull/516/head
refs/pull/516/head
1m 44s
Support Any type, Operations, and Kwargs handling for Python->Laurel Build #3353: Pull request #489 synchronize by thanhnguyen-aws
20m 6s laureltrans
laureltrans
20m 6s
PR #489 CodeQL #3183: by thanhnguyen-aws
2m 9s refs/pull/489/head
refs/pull/489/head
2m 9s
Add support for unstructured programs Build #3352: Pull request #202 synchronize by atomb
19m 42s add-cfgs
add-cfgs
19m 42s
PR #202 CodeQL #3182: by atomb
1m 52s refs/pull/202/head
refs/pull/202/head
1m 52s
Refactor DialectFileMap to use IO.Ref for LoadedDialects Build #3351: Pull request #516 synchronize by joehendrix
21m 44s jhx/filemap
jhx/filemap
21m 44s
PR #516 CodeQL #3181: by joehendrix
1m 55s refs/pull/516/head
refs/pull/516/head
1m 55s
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis Build #3350: Pull request #475 synchronize by MikaelMayer
20m 27s migrate-b3-smt-pipeline-core-to-core
migrate-b3-smt-pipeline-core-to-core
20m 27s
PR #475 CodeQL #3180: by MikaelMayer
1m 43s refs/pull/475/head
refs/pull/475/head
1m 43s
feat: Add statement-level type declarations Build #3349: Pull request #507 synchronize by MikaelMayer
17m 56s statement-type-declarations
statement-type-declarations
17m 56s
PR #507 CodeQL #3179: by MikaelMayer
1m 55s refs/pull/507/head
refs/pull/507/head
1m 55s
feat: Add statement-level type declarations Build #3348: Pull request #507 synchronize by MikaelMayer
19m 7s statement-type-declarations
statement-type-declarations
19m 7s