GitLab was upgraded during the server migration. If you cannot sign in, use "Forgot your password?" to reset it — passwords could not be carried over.

Commit a1adcea7 authored Jun 24, 2022 by Bryce Hepner

Update .gitlab-ci.yml

parent 924b28ae

.gitlab-ci.yml

+0 −2

Original line number	Original line	Diff line number	Diff line
	stages:
	- build
	build:		build:
	tags:		tags:
	- latex		- latex

Admin message