Skip to content
Build LaTeX PDF

main #1

Sign in to view logs

main

main #1

Triggered via push December 8, 2025 22:22
@denisecasedenisecase
pushed db77b7d
main
Status Success
Total duration 1m 50s
Artifacts 1

build.yml

on: push
build-pdf
1m 46s
build-pdf
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cep_formal_semantics Expired
437 KB
sha256:26ff2a3fd26bbfba54da4a28ba363229b529e8185c19b90c3e9c79ac67df90ef