Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10,868 workflow runs
10,868 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #5410: Merge group checks requested
10m 7s
10m 7s
Build Build #5409: Merge group checks requested
9m 53s
9m 53s
feat(python): Add support for ** (power) operator Build #5408: Pull request #690 synchronize by MikaelMayer
8m 49s feat/python-pow-operator
feat/python-pow-operator
8m 49s
PR #690 CodeQL #4999: by MikaelMayer
1m 39s refs/pull/690/head
refs/pull/690/head
1m 39s
feat(python): Add support for ** (power) operator Build #5407: Pull request #690 synchronize by MikaelMayer
8m 59s feat/python-pow-operator
feat/python-pow-operator
8m 59s
PR #690 CodeQL #4998: by MikaelMayer
1m 49s refs/pull/690/head
refs/pull/690/head
1m 49s
Fix #689, check isRecursive for .func Build #5406: Pull request #709 opened by joscoh
9m 52s josh/fix-689
josh/fix-689
9m 52s
PR #709 CodeQL #4997: by joscoh
1m 42s refs/pull/709/head
refs/pull/709/head
1m 42s
Fix bug in handling of blocks that occur in expresssions Build #5405: Pull request #672 synchronize by joscoh
9m 4s fixImpureExpressionBlockHandling
fixImpureExpressionBlockHandling
9m 4s
PR #672 CodeQL #4996: by joscoh
1m 39s refs/pull/672/head
refs/pull/672/head
1m 39s
Add class method signatures to TransalationContext Build #5404: Pull request #695 synchronize by thanhnguyen-aws
8m 57s thanhnguyen-aws:methoddecl
thanhnguyen-aws:methoddecl
8m 57s
Resolve Laurel in Python pipeline Build #5403: Pull request #638 synchronize by keyboardDrummer
8m 46s resolvePythonsLaurel
resolvePythonsLaurel
8m 46s
PR #638 CodeQL #4995: by keyboardDrummer
1m 36s refs/pull/638/head
refs/pull/638/head
1m 36s
Fix unsupported regex patterns causing cvc5 theory-combination errors Build #5402: Pull request #699 synchronize by shigoel
2m 29s shilpi/unsupported-regex-smt-fix
shilpi/unsupported-regex-smt-fix
2m 29s
PR #699 CodeQL #4994: by shigoel
1m 55s refs/pull/699/head
refs/pull/699/head
1m 55s
Inlining assertions should keep metadata Build #5401: Pull request #707 synchronize by MikaelMayer
8m 48s issue-706-inlining-assertions-should-keep-metadata
issue-706-inlining-assertions-should-keep-metadata
8m 48s
PR #707 CodeQL #4993: by MikaelMayer
1m 40s refs/pull/707/head
refs/pull/707/head
1m 40s
Add class method signatures to TransalationContext Build #5400: Pull request #695 synchronize by thanhnguyen-aws
8m 41s thanhnguyen-aws:methoddecl
thanhnguyen-aws:methoddecl
8m 41s
Inlining assertions should keep metadata Build #5399: Pull request #707 opened by MikaelMayer
12m 21s issue-706-inlining-assertions-should-keep-metadata
issue-706-inlining-assertions-should-keep-metadata
12m 21s
PR #707 CodeQL #4992: by MikaelMayer
1m 42s refs/pull/707/head
refs/pull/707/head
1m 42s
Fix unsupported regex patterns causing cvc5 theory-combination errors Build #5398: Pull request #699 synchronize by shigoel
8m 59s shilpi/unsupported-regex-smt-fix
shilpi/unsupported-regex-smt-fix
8m 59s
PR #699 CodeQL #4991: by shigoel
1m 42s refs/pull/699/head
refs/pull/699/head
1m 42s
feat(python): Add support for ** (power) operator Build #5397: Pull request #690 synchronize by MikaelMayer
9m 37s feat/python-pow-operator
feat/python-pow-operator
9m 37s
PR #690 CodeQL #4990: by MikaelMayer
1m 44s refs/pull/690/head
refs/pull/690/head
1m 44s
Resolve Laurel in Python pipeline Build #5396: Pull request #638 synchronize by keyboardDrummer
8m 45s resolvePythonsLaurel
resolvePythonsLaurel
8m 45s