Skip to content

FIX #87: Add tectonic to extra #415

FIX #87: Add tectonic to extra

FIX #87: Add tectonic to extra #415

Triggered via pull request May 6, 2024 20:10
@daamiendaamien
synchronize #228
87_tectonic
Status Success
Total duration 23m 26s
Artifacts

build.yaml

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