Skip to content

Depend on OCaml 5.1.1+ #1208

Depend on OCaml 5.1.1+

Depend on OCaml 5.1.1+ #1208

Triggered via pull request January 22, 2024 11:37
@dhildhil
synchronize #1192
dhil:ocaml-5.1
Status Success
Total duration 11m 2s
Artifacts

default.yml

on: pull_request
Matrix: build-doc
Matrix: interpreter
Matrix: js-runtime-lint
Matrix: postgres-mysql-sqlite3
Matrix: rule-check
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
js-runtime-lint (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-node@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-doc (ubuntu-20.04)
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/
rule-check (ubuntu-20.04, 5.1.0)
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/
links-mysql_mysql57 (ubuntu-20.04, 5.1.0)
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/
postgres-mysql-sqlite3 (ubuntu-20.04, 5.1.0)
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/
interpreter (ubuntu-20.04, 5.1.0)
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/