Build and Verify

Use https for texlive repos #423

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request August 17, 2023 10:47

maxnoe

opened #233

fix_repository_option

Status Success

Total duration 1m 2s

Artifacts –

build.yml

on: pull_request