Skip to content
ci

fix: missing github token #9193

Sign in to view logs

fix: missing github token

fix: missing github token #9193

Triggered via pull request October 28, 2024 00:12
@fgdoraisfgdorais
synchronize #1010
mathlib-test-fix-token
Status Success
Total duration 39s
Artifacts –

build.yml

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