Skip to content
Check formatting

TC: Iterate typechecking function arguments until no quantifiers can … #1397

Sign in to view logs

TC: Iterate typechecking function arguments until no quantifiers can …

TC: Iterate typechecking function arguments until no quantifiers can … #1397

Triggered via push October 30, 2024 17:34
@AlasdairAlasdair
pushed 4e6b071
bvimplictconcat
Status Success
Total duration 38s
Artifacts –

formatting.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 2 notices
build (5.0.0, ubuntu-latest, 0.26.0)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
704 tests found
There are 704 tests, see "Raw output" for the full list of tests.
704 tests found
There are 704 tests, see "Raw output" for the full list of tests.