Skip to content
Sync Rust STD

Use kani as workdir #4

Sign in to view logs

Use kani as workdir

Use kani as workdir #4

Triggered via push July 26, 2024 17:59
@jaisnanjaisnan
pushed bfd8cb1
add-sync-ci-job-test
Status Success
Total duration 5m 48s
Artifacts –

update-subtree.yml

on: push
Matrix: prepare
sanity-check
0s
sanity-check
Matrix: sync
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
prepare (macos-latest)
The following actions uses Node.js version which is deprecated 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/
prepare (ubuntu-latest)
The following actions uses Node.js version which is deprecated 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/
sync (macos-latest)
The following actions uses Node.js version which is deprecated 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/
sync (ubuntu-latest)
The following actions uses Node.js version which is deprecated 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/