feat: Don't use '*' symbol for output filename, because CI failes. (#76) #13
Annotations
1 error
|
Run opam exec -- tools/generate-mathcomp-analysis.sh ${GITHUB_SHA::8}
Process completed with exit code 2.
|
Loading