Skip to content
continuous integration (staging)

feat: port Counterexamples.Cyclotomic105 (#5117) #3273

Sign in to view logs

feat: port Counterexamples.Cyclotomic105 (#5117)

feat: port Counterexamples.Cyclotomic105 (#5117) #3273

Triggered via push June 16, 2023 06:56
@borsbors[bot]
pushed a1244a4
staging
Status Success
Total duration 11m 20s
Artifacts –

bors.yml

on: push
Lint style
13s
Lint style
Check all files imported
7s
Check all files imported
Build
10m 57s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in