PR number update

Update URL in `README.md` to `ocaml.ci.dev` #141

Sign in to view logs

Triggered via pull request January 19, 2024 14:57

Leonidas-from-XIV

opened #485

Status Success

Total duration 12s

Artifacts –

pr-number.yml

on: pull_request_target

Update PR number

Annotations

1 warning

Update PR number

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, getsentry/action-git-diff-suggestions@main. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/