Skip to content
Build LaTeX document

tokenize "derivation" #130

Sign in to view logs

tokenize "derivation"

tokenize "derivation" #130

Triggered via push September 24, 2025 09:51
@rzachrzach
pushed ca7cef2
master
Status Success
Total duration 4m 26s
Artifacts 1

build.yml

on: push
build_latex
4m 21s
build_latex
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
open-logic-debug.pdf Expired
3.67 MB
sha256:f715a987f93540cf4b9f7653422a801816d63f79a33e4d3eee5c039ec8e58424