Skip to content
continuous integration

fix · #33657

Sign in to view logs

fix ·

fix · #33657

Triggered via push July 4, 2023 17:30
@jjaassoonnjjaassoonn
pushed 50c845c
port/AlgebraicGeometry.Morphisms.QuasiSeparated
Status Success
Total duration 15m 11s
Artifacts –

build.yml

on: push
Lint style
48s
Lint style
Check all files imported
8s
Check all files imported
Build
14m 46s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Post-CI job
10s
Post-CI job
Fit to window
Zoom out
Zoom in