Skip to content
.github/workflows/push_pr.yml

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done #388

Sign in to view logs

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done #388

Triggered via pull request November 12, 2024 22:30
@Ruben-VandeVeldeRuben-VandeVelde
opened #216
Ruben-VandeVelde:IsDedekindDomain.HeightOneSpectrum.valuation_comap
Status Success
Total duration 3m 57s
Artifacts –

push_pr.yml

on: pull_request
Build project
3m 46s
Build project
Fit to window
Zoom out
Zoom in