Skip to content
continuous integration (staging)

feat(CategoryTheory/Galois): finite G-sets are a `PreGaloisCategory… #6237

Sign in to view logs

feat(CategoryTheory/Galois): finite G-sets are a `PreGaloisCategory…

feat(CategoryTheory/Galois): finite G-sets are a `PreGaloisCategory… #6237

Triggered via push January 24, 2024 14:31
@mathlib-borsmathlib-bors[bot]
pushed 9a8dc7a
staging
Status Success
Total duration 1h 27m 30s
Artifacts –

bors.yml

on: push
Lint style
22s
Lint style
Check all files imported
9s
Check all files imported
Build
1h 10m
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
10s
check workflows
Post-CI job
11s
Post-CI job
Fit to window
Zoom out
Zoom in