5 commits

Author	SHA1	Message	Date
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