Skip to content

FIX #87: Add tectonic to extra #395

FIX #87: Add tectonic to extra

FIX #87: Add tectonic to extra #395

Triggered via pull request May 4, 2024 19:18
Status Success
Total duration 21m 28s
Artifacts

build.yaml

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