Skip to content
Deploy to GH Pages

Revert "using Prop for propositions, revealing more Int" #421

Sign in to view logs

Revert "using Prop for propositions, revealing more Int"

Revert "using Prop for propositions, revealing more Int" #421

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
13m 15s
deploy
12s
13m 27s