CI

[CI] Update CI runner from Ubuntu 18.04 to 22.04 #13

Sign in to view logs

Triggered via pull request November 18, 2023 23:32

gruenich

opened #14

feature/update-CI

Status Success

Total duration 15s

Artifacts –

ci.yml

on: pull_request

Testing UseLatexMk