Skip to content

Actions: jasisz/aver

Actions

Certification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cert.yml
370 workflow runs
370 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
Reject non-primitive string interpolation at the typechecker Certification #370: Commit 27f90dd pushed by jasisz
23m 46s main
main
23m 46s
Reject non-primitive string interpolation at the typechecker Certification #369: Pull request #813 synchronize by jasisz
25m 28s feat/explicit-stringify-interpolation
feat/explicit-stringify-interpolation
25m 28s
Reject non-primitive string interpolation at the typechecker Certification #368: Pull request #813 opened by jasisz
30m 47s feat/explicit-stringify-interpolation
feat/explicit-stringify-interpolation
30m 47s
Emit kernel-checked proofs for decidable verify cases Certification #367: Commit 33beb50 pushed by jasisz
32m 2s main
main
32m 2s
Route kernel-decidable Lean verify cases through decide +kernel Certification #366: Pull request #812 synchronize by jasisz
32m 3s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
32m 3s
Route kernel-decidable Lean verify cases through decide +kernel Certification #365: Pull request #812 synchronize by jasisz
1m 38s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
1m 38s
Route kernel-decidable Lean verify cases through decide +kernel Certification #364: Pull request #812 opened by jasisz
29m 49s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
29m 49s
Close six small review leftovers across TCP tests, law citation, and … Certification #363: Commit 0ccede2 pushed by jasisz
28m 34s main
main
28m 34s
Support top-level bindings in the self-host pipeline Certification #362: Commit b035ccf pushed by jasisz
2m 30s main
main
2m 30s
Stringify List<Int> embeds in wasm-gc string interpolation Certification #361: Commit 26839c9 pushed by jasisz
11m 49s main
main
11m 49s
Render List<Int> in wasm-gc string interpolation Certification #360: Pull request #811 opened by jasisz
48m 48s fix/packed-field-interpolation
fix/packed-field-interpolation
48m 48s
Close six small review leftovers across TCP tests, law citation, and diagnostics Certification #359: Pull request #810 opened by jasisz
39m 29s chore/review-leftovers-batch
chore/review-leftovers-batch
39m 29s
Support top-level bindings in the self-host pipeline Certification #358: Pull request #809 opened by jasisz
26m 55s fix/self-host-top-level-bindings
fix/self-host-top-level-bindings
26m 55s
Type Bytes.fromList with an all-literal in-range list as total Certification #357: Commit 6c09811 pushed by jasisz
28m 49s main
main
28m 49s
Type Bytes.fromList with an all-literal in-range list as total Certification #356: Pull request #808 synchronize by jasisz
25m 54s feat/literal-bytes-discharge
feat/literal-bytes-discharge
25m 54s
Restore the full StringEscapeRoundtrip threshold via total nibble div… Certification #355: Commit 29c6cfd pushed by jasisz
44m 32s main
main
44m 32s
Type Bytes.fromList with an all-literal in-range list as total Certification #354: Pull request #808 opened by jasisz
36m 16s feat/literal-bytes-discharge
feat/literal-bytes-discharge
36m 16s
Restore the full StringEscapeRoundtrip threshold via total nibble division Certification #353: Pull request #807 opened by jasisz
25m 19s feat/definitional-hex-and-full-escape-threshold
feat/definitional-hex-and-full-escape-threshold
25m 19s
Type Int.div and Int.mod with a nonzero literal divisor as total Certification #352: Commit 3f02d3f pushed by jasisz
26m 43s main
main
26m 43s
Type Int.div and Int.mod with a nonzero literal divisor as total Certification #351: Pull request #806 synchronize by jasisz
27m 59s feat/literal-divisor-discharge
feat/literal-divisor-discharge
27m 59s
Type Int.div and Int.mod with a nonzero literal divisor as total Certification #350: Pull request #806 opened by jasisz
27m 1s feat/literal-divisor-discharge
feat/literal-divisor-discharge
27m 1s
Add a multi-field differential for qualified ungated construction Certification #349: Commit 9341ab5 pushed by jasisz
30m 53s main
main
30m 53s
Add a multi-field differential for qualified ungated construction Certification #348: Pull request #804 synchronize by jasisz
45m 20s test/multi-field-qualified-demotion-differential
test/multi-field-qualified-demotion-differential
45m 20s
Fix the wasip2 regression test build after the alias-map merge Certification #347: Commit b18112e pushed by jasisz
33m 41s main
main
33m 41s
Fix the wasip2 regression test build after the alias-map merge Certification #346: Pull request #805 opened by jasisz
55m 1s fix/wasip2-regression-tuple-binding
fix/wasip2-regression-tuple-binding
55m 1s