Skip to content
Run Miri Safety Checks

fix: Make comet-git-info.properties optional #1220

Sign in to view logs

fix: Make comet-git-info.properties optional

fix: Make comet-git-info.properties optional #1220

Triggered via pull request October 21, 2024 14:56
@andygroveandygrove
opened #1027
andygrove:git-info-optional
Status Success
Total duration 39m 59s
Artifacts –

miri.yml

on: pull_request
Miri
39m 45s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Miri
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/