Skip to content
Build LaTeX document

Fix a couple of typos in the definition of OpenAssum(z,d) in the arithmetization section #151

Sign in to view logs

Fix a couple of typos in the definition of OpenAssum(z,d) in the arithmetization section

Fix a couple of typos in the definition of OpenAssum(z,d) in the arithmetization section #151

Triggered via pull request February 9, 2026 16:44
@beastaughbeastaugh
opened #418
beastaugh:inc-fixes
Status Failure
Total duration 7m 8s
Artifacts –

build.yml

on: pull_request
build_latex
7m 4s
build_latex
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build_latex
The process '/usr/bin/git' failed with exit code 128
build_latex
unable to access 'https://github.com/OpenLogicProject/OpenLogic/': The requested URL returned error: 500
build_latex
unable to access 'https://github.com/OpenLogicProject/OpenLogic/': The requested URL returned error: 500
build_latex
unable to access 'https://github.com/OpenLogicProject/OpenLogic/': The requested URL returned error: 500