Skip to content
OscarCI

Change job name of <username>-patch-<number> branches #139

Sign in to view logs

Change job name of <username>-patch-<number> branches

Change job name of <username>-patch-<number> branches #139

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
49s
Polymake#release,matching: [Oscar#master] - ubuntu-latest, julia ~1.6.0-0
11m 50s
Polymake#release,matching: [Oscar#master] - ubuntu-latest, julia ~1.10.0-0
9m 23s
Polymake#release,[Oscar]#release - ubuntu-latest, julia ~1.6.0-0
10m 48s
Polymake#release,[Oscar]#release - ubuntu-latest, julia ~1.10.0-0
9m 42s
Singular#master - macos-latest, julia ~1.10.0-0
2m 12s
44m 44s