Update version numbers to v1.4.0 (#92) #368
bradleysmith23
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
unittest
21s
complexity
7s
doxygen
16s
spell-check
34s
formatting
7s
git-secrets
3s
memory_statistics
28s
link-verifier
44s
verify-manifest
5s
proof_ci
0s