Skip to content

Merge branch 'develop' #61

Merge branch 'develop'

Merge branch 'develop' #61

Triggered via push June 14, 2024 17:32
Status Cancelled
Total duration 32s
Artifacts

ci.yml

on: push
Matrix: BlackBox
Matrix: BlackBox Coverage
Matrix: CS
Matrix: Psalm
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 warnings
BlackBox Coverage (ubuntu-latest, 8.3)
Canceling since a higher priority waiting request for 'coverage' exists
BlackBox (ubuntu-latest, 8.3)
Canceling since a higher priority waiting request for 'proofs' exists
CS (8.2)
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/.
Psalm (8.2, lowest)
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/.
Psalm (8.2, highest)
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/.
Psalm (8.3, highest)
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/.
Psalm (8.3, lowest)
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/.