Commit graph

9 commits

Author SHA1 Message Date
Byungjin Park (Claud)
8bffe694f9
Fix broken GitHub Actions workflows (#402)
* Fix pull-request-labeler to permit outside collaborator

* Add welcome GitHub workflow

* Update welcome.yaml
2022-02-26 21:35:57 +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 (Claud)
66a2128cad
Remove welcome action (#400) 2022-02-13 01:18:17 +09:00
Byungjin Park
f49d0adf7c
Add labeler action 2022-02-05 01:07:00 +09:00
Byungjin Park
d375504c37
Add sync-labels action 2022-02-05 01:06:36 +09:00
Byungjin Park
2901266b32
Add integration github action with yamllint 2022-02-05 01:05:49 +09:00
Byungjin Park
e3dbdff290
Add welcome github action 2022-02-05 00:39:32 +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