Skip to content
continuous integration (staging)

chore: move gcd_eq_one_of_gcd_mul_right_eq_one_* earlier (#12365) #7679

Sign in to view logs

chore: move gcd_eq_one_of_gcd_mul_right_eq_one_* earlier (#12365)

chore: move gcd_eq_one_of_gcd_mul_right_eq_one_* earlier (#12365) #7679

Triggered via push April 24, 2024 09:49
@mathlib-borsmathlib-bors[bot]
pushed b6cdb4d
staging
Status Success
Total duration 54m 21s
Artifacts –

bors.yml

on: push
Lint style
28s
Lint style
Check all files imported
9s
Check all files imported
Build
53m 55s
Build
Cancel Previous Runs (CI)
6s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
10s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Post-CI job
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: 8BitJonny/gh-get-current-pr@2.2.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.