Skip to content
continuous integration (mathlib forks)

getAll returns an array of strings. Add todo about dependencies #99934

Sign in to view logs

getAll returns an array of strings. Add todo about dependencies

getAll returns an array of strings. Add todo about dependencies #99934

Triggered via push May 27, 2024 12:04
@adomaniadomani
pushed cc7b70a
adomani/mkAll_in_lean
Status Success
Total duration 13s
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)
5s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
summarize_declarations
0s
summarize_declarations
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in