Skip to content
Back to pull request #1012

fix: github script fix repo #9210

Sign in to view logs

fix: github script fix repo

fix: github script fix repo #9210

Triggered via push October 28, 2024 01:14
@fgdoraisfgdorais
pushed 3d84e61
mathlib-test-fix-repo
Status Success
Total duration 40s
Artifacts –

build.yml

on: push
Build
31s
Build
Fit to window
Zoom out
Zoom in