Skip to content
Formal Ledger Specs

Improve building the PDF via Makefile #528

Sign in to view logs

Improve building the PDF via Makefile

Improve building the PDF via Makefile #528

Triggered via push August 2, 2023 11:32
@WhatisRTWhatisRT
pushed 4073cf2
andre/build-improvements
Status Success
Total duration 4m 8s
Artifacts –

build.yml

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