Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add polymorphic functions to DDM and Strata.Boogie Build #1623: Pull request #321 synchronize by joscoh
18m 36s josh/ddm-poly-2
josh/ddm-poly-2
18m 36s
PR #321 CodeQL #1587: by joscoh
1m 41s refs/pull/321/head
refs/pull/321/head
1m 41s
Prefix destructors with datatype name Build #1622: Pull request #340 synchronize by joscoh
18m 41s josh/destructor-name
josh/destructor-name
18m 41s
PR #340 CodeQL #1586: by joscoh
1m 48s refs/pull/340/head
refs/pull/340/head
1m 48s
Add B3 Verifier: SMT-based verification for B3 programs Build #1621: Pull request #307 synchronize by shigoel
23m 26s b3-to-smt-converter
b3-to-smt-converter
23m 26s
PR #307 CodeQL #1585: by shigoel
1m 51s refs/pull/307/head
refs/pull/307/head
1m 51s
Add check for inhabited datatypes Build #1620: Pull request #319 synchronize by joscoh
18m 47s josh/inhabited
josh/inhabited
18m 47s
PR #319 CodeQL #1584: by joscoh
1m 42s refs/pull/319/head
refs/pull/319/head
1m 42s
Push on main CodeQL #1583: by github-merge-queue bot
1m 33s main
main
1m 33s
Fix bug, allow datatypes with type aliases Build #1619: Pull request #344 synchronize by joscoh
21m 33s josh/adt-alias
josh/adt-alias
21m 33s
PR #344 CodeQL #1582: by joscoh
1m 41s refs/pull/344/head
refs/pull/344/head
1m 41s
Fix bug, allow datatypes with type aliases Build #1618: Pull request #344 opened by joscoh
22m 6s josh/adt-alias
josh/adt-alias
22m 6s
PR #344 CodeQL #1581: by joscoh
1m 42s refs/pull/344/head
refs/pull/344/head
1m 42s
Push on main CodeQL #1580: by github-merge-queue bot
1m 36s main
main
1m 36s
Tests for Python Class Declarations Build #1617: Pull request #339 synchronize by andrewmwells-amazon
17m 40s andrewmwells/class_decl
andrewmwells/class_decl
17m 40s
PR #339 CodeQL #1579: by andrewmwells-amazon
1m 43s refs/pull/339/head
refs/pull/339/head
1m 43s
Push on main CodeQL #1578: by github-merge-queue bot
1m 35s main
main
1m 35s
Mutable fields Build #1616: Pull request #338 synchronize by andrewmwells-amazon
22m 35s keyboardDrummer:mutableFields
keyboardDrummer:mutableFields
22m 35s
Always use 1d locations in metadata Build #1615: Pull request #343 synchronize by keyboardDrummer
16m 37s keyboardDrummer:1dLocationsInMetadata
keyboardDrummer:1dLocationsInMetadata
16m 37s
Always use 1d locations in metadata Build #1614: Pull request #343 opened by keyboardDrummer
16m 31s keyboardDrummer:1dLocationsInMetadata
keyboardDrummer:1dLocationsInMetadata
16m 31s
Account for cover's labels in the procedure inlining transform Build #1613: Pull request #335 synchronize by shigoel
21m 48s shilpi/cover-label-proc-inlining
shilpi/cover-label-proc-inlining
21m 48s
PR #335 CodeQL #1577: by shigoel
1m 43s refs/pull/335/head
refs/pull/335/head
1m 43s
Scheduled CodeQL #1576: by github-advanced-security bot
1m 35s main
main
1m 35s
Add mutually recursive types to Lambda Build #1612: Pull request #333 synchronize by joscoh
13m 33s josh/mutual
josh/mutual
13m 33s
PR #333 CodeQL #1575: by joscoh
1m 46s refs/pull/333/head
refs/pull/333/head
1m 46s