Skip to content
continuous integration (staging)

feat: add and use not_irreducible_pow (#8452) #5315

Sign in to view logs

feat: add and use not_irreducible_pow (#8452)

feat: add and use not_irreducible_pow (#8452) #5315

Triggered via push November 17, 2023 11:02
@mathlib-borsmathlib-bors[bot]
pushed 7c1536f
staging
Status Success
Total duration 1h 7m 5s
Artifacts –

bors.yml

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