add algebra-tactics to ci #521
garesusers.yml
on: pull_request
test users: math-comp
10m 53s
test users: bluerock.io
13m 49s
Annotations
2 errors
|
test users: math-comp
Process completed with exit code 31.
|
|
test users: bluerock.io
Process completed with exit code 1.
|