Skip to content

Initial test of new PolyML and HOL4 versions compatibility #656

Initial test of new PolyML and HOL4 versions compatibility

Initial test of new PolyML and HOL4 versions compatibility #656

Triggered via push January 22, 2024 10:09
Status Failure
Total duration 18m 23s
Artifacts

build.yaml

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

Annotations

2 errors and 2 warnings
Build (v5.7.1, 4.8.4, master)
Process completed with exit code 2.
Build (v5.9.1, 4.8.4, master)
The operation was canceled.
Build (v5.7.1, 4.8.4, master)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build (v5.9.1, 4.8.4, master)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/