Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,208 workflow runs
4,208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert Python Specs to Lean 4.27 modules Build #2084: Pull request #400 synchronize by joehendrix
24m 32s jhx/python_modules
jhx/python_modules
24m 32s
PR #400 CodeQL #1943: by joehendrix
1m 35s refs/pull/400/head
refs/pull/400/head
1m 35s
Convert Python Specs to Lean 4.27 modules Build #2083: Pull request #400 synchronize by joehendrix
23m 33s jhx/python_modules
jhx/python_modules
23m 33s
PR #400 CodeQL #1942: by joehendrix
1m 37s refs/pull/400/head
refs/pull/400/head
1m 37s
Fix Ion serialization for ArgF/OperationF/ExprF mutual recursion Build #2082: Pull request #406 synchronize by joehendrix
17m 54s jhx/ion_fix
jhx/ion_fix
17m 54s
PR #406 CodeQL #1941: by joehendrix
1m 41s refs/pull/406/head
refs/pull/406/head
1m 41s
Fix Ion serialization for ArgF/OperationF/ExprF mutual recursion Build #2081: Pull request #406 synchronize by joehendrix
17m 24s jhx/ion_fix
jhx/ion_fix
17m 24s
PR #406 CodeQL #1940: by joehendrix
1m 40s refs/pull/406/head
refs/pull/406/head
1m 40s
Fix Ion serialization for ArgF/OperationF/ExprF mutual recursion Build #2080: Pull request #406 opened by joehendrix
24m 12s jhx/ion_fix
jhx/ion_fix
24m 12s
PR #406 CodeQL #1939: by joehendrix
1m 33s refs/pull/406/head
refs/pull/406/head
1m 33s
Add DDM support for parsing functions that are not top-level + Strata… Deploy Documentation #47: Commit c666eba pushed by github-merge-queue bot
10m 39s main
main
10m 39s
Push on main CodeQL #1938: by github-merge-queue bot
2m 12s main
main
2m 12s
Build Build #2079: Merge group checks requested
26m 18s
26m 18s
Add DDM support for parsing functions that are not top-level + Strata Core support to parse function statements Build #2078: Pull request #379 synchronize by MikaelMayer
17m 18s add-function-statements-ddm
add-function-statements-ddm
17m 18s
PR #379 CodeQL #1937: by MikaelMayer
5m 51s refs/pull/379/head
refs/pull/379/head
5m 51s
Laurel Language Enhancements Build #2077: Pull request #385 synchronize by fabiomadge
18m 26s jverify-strata-backend
jverify-strata-backend
18m 26s
PR #385 CodeQL #1936: by fabiomadge
2m 12s refs/pull/385/head
refs/pull/385/head
2m 12s
Add primitive type prelude for Python Build #2076: Pull request #262 synchronize by andrewmwells-amazon
24m 2s thanhnguyen-aws:pythonprelude
thanhnguyen-aws:pythonprelude
24m 2s
Convert Python Specs to Lean 4.27 modules Build #2075: Pull request #400 synchronize by joehendrix
11m 10s jhx/python_modules
jhx/python_modules
11m 10s
PR #400 CodeQL #1935: by joehendrix
1m 39s refs/pull/400/head
refs/pull/400/head
1m 39s
Add DDM support for parsing functions that are not top-level + Strata Core support to parse function statements Build #2074: Pull request #379 synchronize by MikaelMayer
20m 48s add-function-statements-ddm
add-function-statements-ddm
20m 48s
PR #379 CodeQL #1934: by MikaelMayer
2m 1s refs/pull/379/head
refs/pull/379/head
2m 1s
Laurel Language Enhancements Build #2073: Pull request #385 synchronize by fabiomadge
17m 1s jverify-strata-backend
jverify-strata-backend
17m 1s
PR #385 CodeQL #1933: by fabiomadge
1m 49s refs/pull/385/head
refs/pull/385/head
1m 49s
Laurel Language Enhancements Build #2072: Pull request #385 synchronize by fabiomadge
18m 3s jverify-strata-backend
jverify-strata-backend
18m 3s