- 01 Jul, 2022 2 commits
-
-
Anton Akhmerov authored
-
Anton Akhmerov authored
-
- 30 Jun, 2022 1 commit
-
-
Anton Akhmerov authored
-
- 23 May, 2022 1 commit
-
-
Anton Akhmerov authored
-
- 09 May, 2022 1 commit
-
-
Anton Akhmerov authored
-
- 10 Nov, 2020 1 commit
-
-
Marten Arthers authored
-
- 02 Oct, 2020 1 commit
-
-
Anton Akhmerov authored
-
- 19 Aug, 2020 1 commit
-
-
André Melo authored
-
- 02 Aug, 2020 1 commit
-
-
Anton Akhmerov authored
-
- 25 Jul, 2019 1 commit
-
-
Joseph Weston authored
-
- 19 Jul, 2019 1 commit
-
-
Anton Akhmerov authored
-
- 30 Apr, 2019 1 commit
-
-
Anton Akhmerov authored
-
- 13 Nov, 2018 1 commit
-
-
Anton Akhmerov authored
-
- 09 Nov, 2018 2 commits
-
-
Anton Akhmerov authored
Otherwise git show fails.
-
Anton Akhmerov authored
-
- 13 Jul, 2018 1 commit
-
-
Joseph Weston authored
Fix output filter Closes #6 See merge request !2
-
- 01 May, 2018 1 commit
-
-
Rafal Skolasinski authored
-
- 09 Apr, 2018 1 commit
-
-
Rafal Skolasinski authored
-
- 26 Mar, 2018 1 commit
-
-
Anton Akhmerov authored
-
- 02 Feb, 2018 3 commits
-
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
-
- 24 Oct, 2017 1 commit
-
-
Joseph Weston authored
Closes #2.
-
- 20 Oct, 2017 7 commits
-
-
Joseph Weston authored
Now whenever a tex file changes a PDF of the latexdiff between this version and the version of the last successful pipeline for this branch is made.
-
Joseph Weston authored
Closes #1.
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
This can be used later to diff things against the last good commit (e.g. tex files). Also add CI helper scripts to a hidden directory.
-
Joseph Weston authored
CI_JOB_TOKEN does not give API access (see [1]), so we need to give projects based on the skeleton some way of accessing the Gitlab API with at least minimal permissions (so they can inspect pipelines, other projects etc). This token needs to be distributed to people with the correct permissions, who clone this repository. We cannot just store such a token in the repository itself. Instead we store it out-of-band in a project snippet that is only accessible to users with the correct permissions. We use a project snippet because Gitlab does not yet have group-level snippets (go figure). [1]: https://gitlab.com/gitlab-org/gitlab-ce/issues/29566#note_35563221
-
- 19 Oct, 2017 4 commits
-
-
Joseph Weston authored
-
Joseph Weston authored
Sometimes things break if we don't specify this
-
Joseph Weston authored
-
Joseph Weston authored
-
- 18 Oct, 2017 3 commits
-
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
-
- 17 Oct, 2017 1 commit
-
-
Joseph Weston authored
-