Skip to content

regroup optionals in proofs #5891

regroup optionals in proofs

regroup optionals in proofs #5891

Triggered via pull request October 4, 2024 08:53
Status Failure
Total duration 15s
Artifacts

check_commit.yml

on: pull_request
Check commit and PR
3s
Check commit and PR
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Check commit and PR
Error: Your first line has to contain a commit type and scope like "feat(my_feature): msg".
Check commit and PR
The following actions use a deprecated Node.js version and will be forced to run on node20: gsactions/commit-message-checker@16fa2d5de096ae0d35626443bcd24f1e756cafee. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/