Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,561 workflow runs
1,561 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #133 CodeQL #695: by atomb
1m 56s refs/pull/133/head
refs/pull/133/head
1m 56s
Complete CallElimCorrect proof Build #613: Pull request #157 synchronize by thanhnguyen-aws
9m 42s thanhnguyen-aws:callelimcorrect
thanhnguyen-aws:callelimcorrect
9m 42s
Add Typescript Basic features (#141) TypeScript Conformance Testing #13: Commit ff2f248 pushed by andrewmwells-amazon
5m 28s typescript-frontend
typescript-frontend
5m 28s
Add Laurel, a language for compiling Java to, and in the future also other languages Build #611: Pull request #152 synchronize by keyboardDrummer
10m 30s keyboardDrummer:highStrata
keyboardDrummer:highStrata
10m 30s
Push on main CodeQL #694: by github-merge-queue bot
1m 29s main
main
1m 29s
Complete CallElimCorrect proof Build #609: Pull request #157 synchronize by thanhnguyen-aws
9m 51s thanhnguyen-aws:callelimcorrect
thanhnguyen-aws:callelimcorrect
9m 51s
Fill-in proof for ProgramWF Build #608: Pull request #162 synchronize by thanhnguyen-aws
9m 39s thanhnguyen-aws:statementwf
thanhnguyen-aws:statementwf
9m 39s
Add position info to DDM. Build #607: Pull request #112 synchronize by aqjune-aws
4m 49s jhx/position_info
jhx/position_info
4m 49s
PR #112 CodeQL #693: by aqjune-aws
1m 31s refs/pull/112/head
refs/pull/112/head
1m 31s
Push on main CodeQL #692: by github-merge-queue bot
1m 32s main
main
1m 32s
Add position info to DDM. Build #606: Pull request #112 synchronize by aqjune-aws
9m 9s jhx/position_info
jhx/position_info
9m 9s
PR #112 CodeQL #691: by aqjune-aws
1m 39s refs/pull/112/head
refs/pull/112/head
1m 39s
Add inductive types to Lambda Build #605: Pull request #167 opened by joscoh
9m 34s josh/sum-product-types
josh/sum-product-types
9m 34s
PR #167 CodeQL #690: by joscoh
1m 42s refs/pull/167/head
refs/pull/167/head
1m 42s
Add a distinct command to Strata.Boogie and fix a few small issues Build #604: Pull request #166 synchronize by atomb
7m 50s boogie-fixes
boogie-fixes
7m 50s
PR #166 CodeQL #689: by atomb
1m 46s refs/pull/166/head
refs/pull/166/head
1m 46s
Add a distinct command to Strata.Boogie and fix a few small issues Build #603: Pull request #166 synchronize by atomb
7m 29s boogie-fixes
boogie-fixes
7m 29s
PR #166 CodeQL #688: by atomb
1m 46s refs/pull/166/head
refs/pull/166/head
1m 46s
Add a distinct command to Strata.Boogie and fix a few small issues Build #602: Pull request #166 opened by atomb
9m 8s boogie-fixes
boogie-fixes
9m 8s
PR #166 CodeQL #687: by atomb
1m 42s refs/pull/166/head
refs/pull/166/head
1m 42s
Add position info to DDM. Build #601: Pull request #112 synchronize by joehendrix
9m 12s jhx/position_info
jhx/position_info
9m 12s
PR #112 CodeQL #686: by joehendrix
1m 37s refs/pull/112/head
refs/pull/112/head
1m 37s
Add position info to DDM. Build #600: Pull request #112 synchronize by joehendrix
9m 40s jhx/position_info
jhx/position_info
9m 40s
PR #112 CodeQL #685: by joehendrix
2m 0s refs/pull/112/head
refs/pull/112/head
2m 0s
Add Laurel, a language for compiling Java to, and in the future also other languages Build #599: Pull request #152 synchronize by keyboardDrummer
9m 14s keyboardDrummer:highStrata
keyboardDrummer:highStrata
9m 14s