Commit Graph

3 Commits

Author SHA1 Message Date
Bruce Mitchener
793d1d08c8 ci: Update to current versions of actions.
This should remove the warnings within the GitHub Actions UI about
using the deprecated Node 12 and 16 versions.
2024-02-12 16:50:36 +07:00
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