Skip to content
continuous integration (mathlib forks)

duplicated assumption #65643

Sign in to view logs

duplicated assumption

duplicated assumption #65643

Triggered via push December 23, 2023 15:19
@YaelDilliesYaelDillies
pushed e33483c
scavenge_ordered_module
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