continuous integration (staging)

chore: bump Std (#8505) #5352

Sign in to view logs

Triggered via push November 20, 2023 04:04

mathlib-bors[bot]

staging

Status Success

Total duration 1h 16m 54s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows