Skip to content
CI

Should I submit this to mathlib? #29

Sign in to view logs

Should I submit this to mathlib?

Should I submit this to mathlib? #29

Triggered via pull request December 7, 2023 20:44
@hmonroehmonroe
synchronize #7
hmonroe:master
Status Success
Total duration 4m 43s
Artifacts –

ci.yml

on: pull_request
build
4m 34s
build
Fit to window
Zoom out
Zoom in