Skip to content

Actions: jasisz/aver

Actions

CI

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
CI CI #3092: Scheduled
21m 5s main
main
21m 5s
Reject non-primitive string interpolation at the typechecker CI #3091: Commit 27f90dd pushed by jasisz
17m 10s main
main
17m 10s
Reject non-primitive string interpolation at the typechecker CI #3090: Pull request #813 synchronize by jasisz
6m 6s feat/explicit-stringify-interpolation
feat/explicit-stringify-interpolation
6m 6s
Reject non-primitive string interpolation at the typechecker CI #3089: Pull request #813 opened by jasisz
6m 28s feat/explicit-stringify-interpolation
feat/explicit-stringify-interpolation
6m 28s
Emit kernel-checked proofs for decidable verify cases CI #3088: Commit 33beb50 pushed by jasisz
13m 28s main
main
13m 28s
Route kernel-decidable Lean verify cases through decide +kernel CI #3087: Pull request #812 synchronize by jasisz
6m 30s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
6m 30s
Route kernel-decidable Lean verify cases through decide +kernel CI #3086: Pull request #812 synchronize by jasisz
6m 2s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
6m 2s
Route kernel-decidable Lean verify cases through decide +kernel CI #3085: Pull request #812 opened by jasisz
6m 12s feat/kernel-decide-verify-cases
feat/kernel-decide-verify-cases
6m 12s
Close six small review leftovers across TCP tests, law citation, and … CI #3084: Commit 0ccede2 pushed by jasisz
17m 50s main
main
17m 50s
Support top-level bindings in the self-host pipeline CI #3083: Commit b035ccf pushed by jasisz
12m 39s main
main
12m 39s
Stringify List<Int> embeds in wasm-gc string interpolation CI #3082: Commit 26839c9 pushed by jasisz
15m 23s main
main
15m 23s
Render List<Int> in wasm-gc string interpolation CI #3081: Pull request #811 opened by jasisz
8m 16s fix/packed-field-interpolation
fix/packed-field-interpolation
8m 16s
Close six small review leftovers across TCP tests, law citation, and diagnostics CI #3080: Pull request #810 opened by jasisz
5m 57s chore/review-leftovers-batch
chore/review-leftovers-batch
5m 57s
Support top-level bindings in the self-host pipeline CI #3079: Pull request #809 opened by jasisz
6m 32s fix/self-host-top-level-bindings
fix/self-host-top-level-bindings
6m 32s
CI CI #3078: Scheduled
21m 44s main
main
21m 44s
Type Bytes.fromList with an all-literal in-range list as total CI #3077: Commit 6c09811 pushed by jasisz
15m 16s main
main
15m 16s
Type Bytes.fromList with an all-literal in-range list as total CI #3076: Pull request #808 synchronize by jasisz
6m 20s feat/literal-bytes-discharge
feat/literal-bytes-discharge
6m 20s
Restore the full StringEscapeRoundtrip threshold via total nibble div… CI #3075: Commit 29c6cfd pushed by jasisz
19m 15s main
main
19m 15s
Type Bytes.fromList with an all-literal in-range list as total CI #3074: Pull request #808 opened by jasisz
6m 0s feat/literal-bytes-discharge
feat/literal-bytes-discharge
6m 0s
Restore the full StringEscapeRoundtrip threshold via total nibble division CI #3073: Pull request #807 opened by jasisz
6m 14s feat/definitional-hex-and-full-escape-threshold
feat/definitional-hex-and-full-escape-threshold
6m 14s
Type Int.div and Int.mod with a nonzero literal divisor as total CI #3072: Commit 3f02d3f pushed by jasisz
13m 45s main
main
13m 45s
Type Int.div and Int.mod with a nonzero literal divisor as total CI #3071: Pull request #806 synchronize by jasisz
5m 57s feat/literal-divisor-discharge
feat/literal-divisor-discharge
5m 57s
Type Int.div and Int.mod with a nonzero literal divisor as total CI #3070: Pull request #806 opened by jasisz
3m 25s feat/literal-divisor-discharge
feat/literal-divisor-discharge
3m 25s
Add a multi-field differential for qualified ungated construction CI #3069: Commit 9341ab5 pushed by jasisz
15m 22s main
main
15m 22s
Add a multi-field differential for qualified ungated construction CI #3068: Pull request #804 synchronize by jasisz
9m 15s test/multi-field-qualified-demotion-differential
test/multi-field-qualified-demotion-differential
9m 15s