Skip to content
continuous integration (mathlib forks)

golf #74443

Sign in to view logs

golf

golf #74443

Triggered via push February 8, 2024 19:28
@chrisflavchrisflav
pushed ffe5722
chrisflav/galois-examples.3
Status Success
Total duration 12s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in