Skip to content

chore: rename Nat.prime_def_lt'' to Nat.prime_def (#19255) #12123

chore: rename Nat.prime_def_lt'' to Nat.prime_def (#19255)

chore: rename Nat.prime_def_lt'' to Nat.prime_def (#19255) #12123

Triggered via push November 21, 2024 10:01
Status Success
Total duration 28m 19s
Artifacts 1

bors.yml

on: push
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
14s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
import-graph Expired
177 KB