Skip to content
Compile paper

feat: add Lean4 syntax highlighting support to template #376

Sign in to view logs

feat: add Lean4 syntax highlighting support to template

feat: add Lean4 syntax highlighting support to template #376

Triggered via push November 13, 2023 00:20
@bollubollu
pushed 14c0d08
main
Status Failure
Total duration 1m 46s
Artifacts –

build_paper.yml

on: push
build
1m 35s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 12.