Skip to content
CI

Support native compilation of HOL Light, add unit tests #85

Sign in to view logs

Support native compilation of HOL Light, add unit tests

Support native compilation of HOL Light, add unit tests #85

Triggered via pull request October 9, 2024 04:59
@aqjune-awsaqjune-aws
opened #114
aqjune-aws:nativecomp
Status Failure
Total duration 10m 10s
Artifacts –

main.yml

on: pull_request
OCaml 4.05, Camlp5 7.10
7m 15s
OCaml 4.05, Camlp5 7.10
OCaml 4.14, Camlp5 8.03 (make switch)
10m 0s
OCaml 4.14, Camlp5 8.03 (make switch)
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
OCaml 4.05, Camlp5 7.10
Process completed with exit code 1.
OCaml 4.14, Camlp5 8.03 (make switch)
Process completed with exit code 1.
OCaml 4.05, Camlp5 7.10
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.05, Camlp5 7.10
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/