cimas: migrate to generic-rake for metanorma-* request-checks: false #505
Job | Run time |
---|---|
5s | |
33s | |
3m 37s | |
5m 17s | |
18s | |
2m 8s | |
38s | |
1s | |
21s | |
1s | |
1s | |
1s | |
1s | |
1s | |
13m 3s |
Job | Run time |
---|---|
5s | |
33s | |
3m 37s | |
5m 17s | |
18s | |
2m 8s | |
38s | |
1s | |
21s | |
1s | |
1s | |
1s | |
1s | |
1s | |
13m 3s |