Skip to content
CI

Fix tactics in impconv.ml to raise Failure rather than Unchanged #74

Sign in to view logs

Fix tactics in impconv.ml to raise Failure rather than Unchanged

Fix tactics in impconv.ml to raise Failure rather than Unchanged #74

Triggered via pull request September 13, 2024 18:09
@aqjune-awsaqjune-aws
opened #109
aqjune-aws:imp_rewrite
Status Success
Total duration 8m 29s
Artifacts –

main.yml

on: pull_request
OCaml 4.05, Camlp5 7.10
5m 38s
OCaml 4.05, Camlp5 7.10
OCaml 4.14, Camlp5 8.03 (make switch)
8m 19s
OCaml 4.14, Camlp5 8.03 (make switch)
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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/