Skip to content

Actions: strata-org/Strata

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
File-relative error reporting Build #10580: Pull request #1367 synchronize by leo-leesco
21m 51s leo/type-error-line-col
leo/type-error-line-col
21m 51s
laurel: wire old() to Core two-state semantics Build #10579: Pull request #1203 synchronize by julesmt
40m 48s julesmt/features/laurel-old-two-state
julesmt/features/laurel-old-two-state
40m 48s
File-relative error reporting Build #10578: Pull request #1367 synchronize by leo-leesco
17m 29s leo/type-error-line-col
leo/type-error-line-col
17m 29s
fix(laurel): datatype ==/!= mis-lowered to reference comparison in heap-writing procedures Build #10577: Pull request #1349 synchronize by ssomayyajula
8m 59s fix/datatype-eq-heap-proc
fix/datatype-eq-heap-proc
8m 59s
fix(laurel): datatype ==/!= mis-lowered to reference comparison in heap-writing procedures Build #10576: Pull request #1349 synchronize by fabiomadge
31m 27s fix/datatype-eq-heap-proc
fix/datatype-eq-heap-proc
31m 27s
feat(laurel): add Java-style compound assignment (+= -= *= /= %= ^=) Build #10575: Pull request #1383 synchronize by fabiomadge
30m 58s feat/laurel-compound-assign
feat/laurel-compound-assign
30m 58s
feat(laurel): chained field access and paren-free field increment Build #10574: Pull request #1382 synchronize by fabiomadge
39m 20s feat/laurel-field-access-fixes
feat/laurel-field-access-fixes
39m 20s
laurel: wire old() to Core two-state semantics Build #10573: Pull request #1203 synchronize by keyboardDrummer
17m 31s julesmt/features/laurel-old-two-state
julesmt/features/laurel-old-two-state
17m 31s
feat(laurel): add Java-style compound assignment (+= -= *= /= %= ^=) Build #10572: Pull request #1383 opened by fabiomadge
37m 0s feat/laurel-compound-assign
feat/laurel-compound-assign
37m 0s
File-relative error reporting Build #10571: Pull request #1367 synchronize by keyboardDrummer
34m 27s leo/type-error-line-col
leo/type-error-line-col
34m 27s
fix(laurel): Run LiftInstanceProcedure before EliminateValueInReturns Build #10570: Pull request #1381 opened by olivier-aws
36m 33s return_instance_methods
return_instance_methods
36m 33s
Enable calling procedures in contracts Build #10569: Pull request #1352 synchronize by keyboardDrummer
38m 31s keyboardDrummer:issue-924-contract-and-proof-pass
keyboardDrummer:issue-924-contract-and-proof-pass
38m 31s
Restore Test 13: int-valued decreases generates correct obligations Build #10568: Commit 7b40c42 pushed by joehendrix
29m 19s main
main
29m 19s
Build Build #10567: Merge group checks requested
28m 27s
28m 27s
surface syntax casts for Boole and Core Build #10566: Pull request #1218 synchronize by kondylidou
36m 51s kondylidou:pr/casts-boole
kondylidou:pr/casts-boole
36m 51s
Port main2 core commits to main Build #10565: Pull request #1370 synchronize by shigoel
32m 56s port/main2-core-to-main
port/main2-core-to-main
32m 56s
Port main2 core commits to main Build #10564: Pull request #1370 synchronize by shigoel
29m 56s port/main2-core-to-main
port/main2-core-to-main
29m 56s
Port main2 core commits to main Build #10563: Pull request #1370 synchronize by shigoel
30m 52s port/main2-core-to-main
port/main2-core-to-main
30m 52s
Build Build #10562: Merge group checks requested
41m 23s
41m 23s
Port main2 core commits to main Build #10561: Pull request #1370 synchronize by shigoel
31m 27s port/main2-core-to-main
port/main2-core-to-main
31m 27s
Build Build #10560: Merge group checks requested
39m 11s
39m 11s
fix(laurel): datatype ==/!= mis-lowered to reference comparison in heap-writing procedures Build #10559: Pull request #1349 synchronize by fabiomadge
42m 20s fix/datatype-eq-heap-proc
fix/datatype-eq-heap-proc
42m 20s
surface syntax casts for Boole and Core Build #10558: Pull request #1218 synchronize by kondylidou
30m 8s kondylidou:pr/casts-boole
kondylidou:pr/casts-boole
30m 8s
choose operator in Boole Build #10556: Pull request #1365 synchronize by kondylidou
39m 42s kondylidou:pr/choose-expr
kondylidou:pr/choose-expr
39m 42s
feat(laurel): Adding surface syntax for calling instance procedures & lowering to Core Build #10555: Pull request #1328 synchronize by olivier-aws
33m 47s AD1024:mike/laurel-inst-proc-lowering
AD1024:mike/laurel-inst-proc-lowering
33m 47s