Skip to content
Test Mathlib

Test Mathlib #2522

Sign in to view logs

Test Mathlib

Test Mathlib #2522

Triggered via workflow run February 8, 2025 02:11
@fgdoraisfgdorais
completed ⁠ 24cbb07
Status Success
Total duration 59s
Artifacts –

test_mathlib.yml

on: workflow_run
on-success
53s
on-success
Fit to window
Zoom out
Zoom in