Skip to content

Merge pull request #6298 from AndrewVSutherland/main #3502

Merge pull request #6298 from AndrewVSutherland/main

Merge pull request #6298 from AndrewVSutherland/main #3502

Annotations

1 warning

devmirror artin_representations genus2_curves

succeeded Dec 10, 2024 in 2m 45s
Set up job
0s
Run actions/checkout@v3
1s
Run conda-incubator/setup-miniconda@v2
15s
Cache conda
24s
Run install script
0s
Show conda info
7s
Cache pip
0s
pip stuff
7s
checking that we didn't miss any test files
2s
Config LMFDB to run tests against proddb
0s
Run LMFDB tests
1m 45s
Run linting
0s
Post Cache pip
0s
Post Cache conda
0s
Post Run conda-incubator/setup-miniconda@v2
0s
Post Run actions/checkout@v3
0s
Complete job
0s