Skip to content

build: update build.sc to adapt to mill 0.11 #3

build: update build.sc to adapt to mill 0.11

build: update build.sc to adapt to mill 0.11 #3

Triggered via push November 26, 2023 11:50
Status Failure
Total duration 1m 11s
Artifacts

formal.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
ci
The process '/opt/hostedtoolcache/mill/0.9.7/x64/mill' failed with exit code 1
ci
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, olafurpg/setup-scala@v10, jodersky/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ci
No files were found with the provided path: test_run_dir/NutCoreFormal_should_pass. No artifacts will be uploaded.