Skip to content
Render paper.pdf

Inductive type #38

Sign in to view logs

Inductive type

Inductive type #38

Triggered via push August 2, 2025 06:55
@Trebor-HuangTrebor-Huang
pushed 8f42cd4
main
Status Success
Total duration 30s
Artifacts 1

build.yaml

on: push
render-paper
27s
render-paper
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
model Expired
784 KB
sha256:07779c2bac223aedd27cece29d44cd9ec15327551f441ea20a364a3b600cdd4d