Skip to content
CI

trying to make the git-diff format nicer #3791

Sign in to view logs

trying to make the git-diff format nicer

trying to make the git-diff format nicer #3791

Triggered via push March 28, 2024 05:22
@benjaminsavagebenjaminsavage
pushed b6abe9f
fiat_shamir
Status Success
Total duration 14m 37s
Artifacts –

check.yml

on: push
Basic Checks
8m 9s
Basic Checks
Release builds and tests
5m 16s
Release builds and tests
Additional Builds and Concurrency Tests
7m 5s
Additional Builds and Concurrency Tests
miri
3m 24s
miri
Measure coverage
9m 57s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Release builds and tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Additional Builds and Concurrency Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Basic Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Measure coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.