Skip to content
.github/workflows/main.yml

Prove that the initial frame Ω is a spectral frame and define its patch #1499

Sign in to view logs

Prove that the initial frame Ω is a spectral frame and define its patch

Prove that the initial frame Ω is a spectral frame and define its patch #1499

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typechecking
18m 32s
18m 32s