Update polarfire path #725
ci.yml
on: push
git-secrets
1m 16s
formatting
21s
spell-check
3m 8s
doxygen
1m 27s
verify-manifest
2m 25s
memory-statistics
1m 34s
proof_ci
0s