Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,861 workflow runs
3,861 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

while loops with multiple invariants Build #1892: Pull request #382 synchronize by shigoel
In progress abdoo8080:mult_invs
abdoo8080:mult_invs
In progress
Add pySpec generator Build #1891: Pull request #355 synchronize by joehendrix
16m 28s jhx/python_fixes
jhx/python_fixes
16m 28s
PR #355 CodeQL #1801: by joehendrix
1m 57s refs/pull/355/head
refs/pull/355/head
1m 57s
Add primitive type prelude for Python Build #1890: Pull request #262 synchronize by thanhnguyen-aws
24m 0s thanhnguyen-aws:pythonprelude
thanhnguyen-aws:pythonprelude
24m 0s
Upgrade to Lean 4.27.0 (#381) Deploy Documentation #33: Commit 36b1457 pushed by github-merge-queue bot
15m 50s main
main
15m 50s
Push on main CodeQL #1800: by github-merge-queue bot
1m 47s main
main
1m 47s
Build Build #1889: Merge group checks requested
23m 45s
23m 45s
Add opaque definitions for a simple API Build #1888: Pull request #388 opened by atomb
26m 57s atomb/add-simple-api-opaque
atomb/add-simple-api-opaque
26m 57s
PR #388 CodeQL #1799: by atomb
2m 4s refs/pull/388/head
refs/pull/388/head
2m 4s
Transform.runProgram return an extra updated bool result, add analysis cache, and updates to ProcedureInlining Build #1887: Pull request #377 synchronize by aqjune-aws
18m 55s jlee/inline-planner
jlee/inline-planner
18m 55s
PR #377 CodeQL #1798: by aqjune-aws
2m 1s refs/pull/377/head
refs/pull/377/head
2m 1s
Upgrade to Lean 4.27.0 Build #1886: Pull request #381 synchronize by joehendrix
19m 15s jhx/lean4.27.0
jhx/lean4.27.0
19m 15s
PR #381 CodeQL #1797: by joehendrix
1m 40s refs/pull/381/head
refs/pull/381/head
1m 40s
Add support for function declaration statements Build #1885: Pull request #352 synchronize by MikaelMayer
23m 27s add-func-decl-to-statements
add-func-decl-to-statements
23m 27s
PR #352 CodeQL #1796: by MikaelMayer
1m 52s refs/pull/352/head
refs/pull/352/head
1m 52s
Laurel Language Enhancements Build #1884: Pull request #385 synchronize by fabiomadge
18m 49s jverify-strata-backend
jverify-strata-backend
18m 49s
PR #385 CodeQL #1795: by fabiomadge
1m 43s refs/pull/385/head
refs/pull/385/head
1m 43s
Add pySpec generator Build #1883: Pull request #355 synchronize by joehendrix
24m 24s jhx/python_fixes
jhx/python_fixes
24m 24s
PR #355 CodeQL #1794: by joehendrix
1m 51s refs/pull/355/head
refs/pull/355/head
1m 51s
while loops with multiple invariants Build #1882: Pull request #382 synchronize by joscoh
18m 35s abdoo8080:mult_invs
abdoo8080:mult_invs
18m 35s
Laurel Language Enhancements Build #1881: Pull request #385 synchronize by fabiomadge
19m 12s jverify-strata-backend
jverify-strata-backend
19m 12s
PR #385 CodeQL #1793: by fabiomadge
1m 49s refs/pull/385/head
refs/pull/385/head
1m 49s
Add mutually recursive types to Core concrete syntax Build #1880: Pull request #360 synchronize by joscoh
17m 53s josh/mutual-ddm
josh/mutual-ddm
17m 53s
Laurel Language Enhancements Build #1879: Pull request #385 synchronize by fabiomadge
19m 18s jverify-strata-backend
jverify-strata-backend
19m 18s
PR #385 CodeQL #1792: by fabiomadge
1m 51s refs/pull/385/head
refs/pull/385/head
1m 51s