Skip to content

FIX #87: Add tectonic to extra #429

FIX #87: Add tectonic to extra

FIX #87: Add tectonic to extra #429

Triggered via pull request May 14, 2024 13:09
@daamiendaamien
synchronize #228
87_tectonic
Status Success
Total duration 23m 33s
Artifacts

build.yaml

on: pull_request
Configure
5s
Configure
Matrix: Build
Fit to window
Zoom out
Zoom in