Commit Graph

2 Commits

Author SHA1 Message Date
Bartosz Taudul
322e39d9ad Terser CI names. 2020-05-06 13:30:01 +02:00
Bartosz Taudul
bcaa07cdb4 Add latex manual CI job. 2020-05-06 02:05:53 +02:00