Skip to content
ci

fix: github script fix repo #9209

Sign in to view logs

fix: github script fix repo

fix: github script fix repo #9209

Triggered via pull request October 28, 2024 01:07
@fgdoraisfgdorais
synchronize #1012
mathlib-test-fix-repo
Status Success
Total duration 47s
Artifacts –

build.yml

on: pull_request
Build
37s
Build
Fit to window
Zoom out
Zoom in