5 commits

Author	SHA1	Message	Date
dependabot[bot]	bdd64051f1	Bump actions/checkout from 2 to 3 (#411) ... Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v2...v3) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2022-03-09 02:18:09 +09:00
Niklas Bolander	a944c26b24	Use latest TexLive release for CI builds (#401) ... [texlive/texlive](https://hub.docker.io/r/texlive/texlive)'s source is available at: https://gitlab.com/islandoftex/images/texlive. Closes #401.	2022-02-13 20:23:36 +00:00
Byungjin Park	2901266b32	Add integration github action with yamllint	2022-02-05 01:05:49 +09:00
Oliver Ford	de4c94ff0b	Swap failing CircleCI status for passing GH Action ... I'm ambivalent about Circle vs. Actions, but the former is failing missing a key in order to clone the repo, and I think I lack access to fix that. Since it's only a simple workflow, seemed easiest to recreate in Actions - and as that passes (as of d62f1625be) it seems to make more sense to use that for a nice green status than red from Circle.	2021-11-10 18:10:32 +00:00
Vash Patel	ec08f30106	Trial Github Action to test PDF compilation ... Part of #345 - just as a test alongside Circle CI (which currently fails due to missing SSH key) and without moving the example PDFs to releases.	2021-11-10 17:54:24 +00:00