Skip to content
Stdlib Naming Convention

feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… #1042

Sign in to view logs

feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil…

feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… #1042

Run time

Learn about OS pricing on GitHub Actions
Job Run time
enforce-lowercase-stdlib
4s
4s