Update unit test to cover ilde task name longer than configMAX_TASK_N… #626
ci.yml
on: push
git-secrets
1m 33s
formatting
23s
spell-check
2m 35s
doxygen
3m 3s
verify-manifest
3m 7s
memory-statistics
2m 41s
proof_ci
0s