Skip to content
continuous integration

Merge branch 'fun_prop-SL-GL' of https://github.com/j-loreaux/mathlib… #389

Sign in to view logs

Merge branch 'fun_prop-SL-GL' of https://github.com/j-loreaux/mathlib…

Merge branch 'fun_prop-SL-GL' of https://github.com/j-loreaux/mathlib… #389

Triggered via push April 4, 2026 05:44
@j-loreauxj-loreaux
pushed f0ad856
fun_prop-SL-GL
Status Skipped
Total duration –
Artifacts –

build.yml

on: push
ci  /  Build
ci / Build
ci  /  Lint style
ci / Lint style
ci  /  Upload to cache
ci / Upload to cache
ci  /  Post-Build Step
ci / Post-Build Step
ci  /  Post-CI job
ci / Post-CI job
Fit to window
Zoom out
Zoom in