Skip to content
.github/workflows/main.yml

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

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 #1496

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typechecking
21m 47s
21m 47s