Skip to content
CI

Merge pull request #137 from GaloisInc/135-post-release-polishing #118

Sign in to view logs

Merge pull request #137 from GaloisInc/135-post-release-polishing

Merge pull request #137 from GaloisInc/135-post-release-polishing #118

Triggered via push September 20, 2024 16:22
@kinirykiniry
pushed 2019b30
143-update-slides-to-include-new-slides-related-to-the-project
Status Success
Total duration 39m 53s
Artifacts –

main.yml

on: push
prove_specs
2m 14s
prove_specs
prove_framac
6m 22s
prove_framac
rts_posix_scenarios
6m 43s
rts_posix_scenarios
rts_riscv_build_verilator
2m 0s
rts_riscv_build_verilator
rts_riscv_build_fpga
39m 44s
rts_riscv_build_fpga
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
rts_riscv_build_verilator
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/
rts_riscv_build_verilator
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/
prove_specs
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/
prove_specs
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/
prove_framac
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/
prove_framac
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/
rts_posix_scenarios
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/
rts_posix_scenarios
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/
rts_riscv_build_fpga
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/
rts_riscv_build_fpga
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/