Skip to content
continuous integration (mathlib forks)

naming convention #79646

Sign in to view logs

naming convention

naming convention #79646

Triggered via push February 29, 2024 01:25
@yuma-mizunoyuma-mizuno
pushed efd32be
ymizuno-tensorLeft
Status Success
Total duration 10s
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