Skip to content
continuous integration (mathlib forks)

Use targeted implicits, as per Junyan's suggestion #41869

Sign in to view logs

Use targeted implicits, as per Junyan's suggestion

Use targeted implicits, as per Junyan's suggestion #41869

Triggered via push August 17, 2023 19:18
@adomaniadomani
pushed b05da78
adomani_amanzd
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)
4s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in