Skip to content

Make it an error to include the vector file before a default order #376

Make it an error to include the vector file before a default order

Make it an error to include the vector file before a default order #376

Triggered via push February 19, 2024 16:52
Status Success
Total duration 14m 23s
Artifacts

build.yml

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

Annotations

2 errors, 4 warnings, and 2 notices
1 out of 9 runs with error: string_literal_type.sail: /#L0
./typecheck/tests.xml
1 out of 9 runs with error: string_literal_type.sail: /#L0
./typecheck/tests.xml
build (4.08.1, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (5.0.0, ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.08.1, macOS-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (5.0.0, macOS-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
609 tests found
There are 609 tests, see "Raw output" for the full list of tests.
609 tests found
There are 609 tests, see "Raw output" for the full list of tests.