Commit graph

525 commits

Author SHA1 Message Date
eaf0763583
correctly compile in pipeline
All checks were successful
Build LaTeX packages / build (push) Successful in 1m55s
2023-10-19 02:50:36 +02:00
72cc9d78b0
set -e for compilation script
All checks were successful
Build LaTeX packages / build (push) Successful in 1m50s
2023-10-19 02:49:26 +02:00
34f0a41699
change job name
All checks were successful
Build LaTeX packages / build (push) Successful in 1m44s
2023-10-19 02:47:45 +02:00
c07e84d91b
generate documentation on master
All checks were successful
Build LaTeX packages / build (push) Successful in 1m42s
2023-10-19 02:23:39 +02:00
8798571831
fix path
Some checks failed
Build LaTeX packages / build (push) Failing after 36s
2023-10-19 02:21:55 +02:00
823c5097ce
adjust ci to new build style
Some checks failed
Build LaTeX packages / build (push) Failing after 23s
2023-10-19 02:21:13 +02:00
6d8a131865
Rework building of documentation files
Instead of an ugly Makefile structure, we now use a single compile
script that collects all the files in build/doc.
2023-10-19 01:34:46 +02:00
b587beb806
use single job
All checks were successful
Build LaTeX packages / build (push) Successful in 4m43s
2023-10-18 18:46:34 +02:00
ed6ee5ec64
remove unneeded ssh step 2023-10-18 16:35:40 +02:00
2cd113166d
update readme
Some checks failed
Build LaTeX packages / build (push) Successful in 4m34s
Build LaTeX packages / deploy-pages (push) Failing after 7s
2023-10-18 16:28:52 +02:00
6263366b56
adapt commit message in build repo
Some checks failed
Build LaTeX packages / build (push) Successful in 4m34s
Build LaTeX packages / deploy-pages (push) Failing after 7s
2023-10-18 16:25:41 +02:00
0156ddca43
fix origin url
Some checks failed
Build LaTeX packages / build (push) Successful in 4m37s
Build LaTeX packages / deploy-pages (push) Failing after 7s
2023-10-18 16:21:37 +02:00
476b57d2ba
fix permissions on ssh key
Some checks failed
Build LaTeX packages / build (push) Failing after 28s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 16:03:51 +02:00
3858718041
change setting up git: don't use agent, directly write to ~/.ssh
Some checks failed
Build LaTeX packages / build (push) Failing after 30s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 16:01:37 +02:00
e8fedd07a0
configure git directly before building
Some checks failed
Build LaTeX packages / build (push) Failing after 28s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 15:51:43 +02:00
65c801c212
rename deploy key secret
Some checks failed
Build LaTeX packages / build (push) Failing after 31s
Build LaTeX packages / deploy-pages (push) Failing after 7s
2023-10-18 11:31:12 +02:00
f941a10fe6
correct domain for host key
Some checks failed
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:27:37 +02:00
5a0ec99d86
enter remote host key
Some checks failed
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:25:56 +02:00
3c8f825e3f
fix push
Some checks failed
Build LaTeX packages / build (push) Failing after 30s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:24:21 +02:00
7e76546afd
fix pushing to build repo
Some checks failed
Build LaTeX packages / build (push) Failing after 29s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:19:33 +02:00
d5af0e7ad1
fix ssh url
Some checks failed
Build LaTeX packages / build (push) Failing after 47s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:16:37 +02:00
4719ba2d52
explicitly use ssh to clone
Some checks failed
Build LaTeX packages / build (push) Failing after 20s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:15:23 +02:00
e0b9b7ad44
fix ref name
Some checks failed
Build LaTeX packages / build (push) Failing after 32s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:13:58 +02:00
7c3775828e
clone history as well
Some checks failed
Build LaTeX packages / build (push) Failing after 30s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:12:09 +02:00
546a7007cc
fetch tags
Some checks failed
Build LaTeX packages / build (push) Failing after 27s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:11:01 +02:00
4008cb355f
clone submodules
Some checks failed
Build LaTeX packages / build (push) Failing after 25s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:06:35 +02:00
298e515a51
fix environment variable
Some checks failed
Build LaTeX packages / build (push) Failing after 24s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 11:04:38 +02:00
896956f6fa
fix ref name context variable
Some checks failed
Build LaTeX packages / build (push) Failing after 25s
Build LaTeX packages / deploy-pages (push) Failing after 6s
2023-10-18 10:26:11 +02:00
77140598bf
fix repo url
Some checks failed
Build LaTeX packages / build (push) Failing after 21s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 10:21:00 +02:00
27a592b9f1
specify branch to checkout
Some checks failed
Build LaTeX packages / build (push) Failing after 43s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 10:11:47 +02:00
1de88c00b8
rename deploy key variable
Some checks failed
Build LaTeX packages / build (push) Failing after 50s
Build LaTeX packages / deploy-pages (push) Failing after 7s
2023-10-18 09:56:35 +02:00
0aece45a9c
move ci file to corect location
Some checks failed
Build LaTeX packages / build (push) Failing after 14s
Build LaTeX packages / deploy-pages (push) Has been skipped
2023-10-18 09:52:14 +02:00
6aa92357e0
ajust ci 2023-10-18 09:51:02 +02:00
3483a24dca
disable indexing with beamer clas 2023-06-18 21:15:50 +02:00
51afbd7188
add category of presheaves 2022-10-17 18:34:37 +02:00
521ce5c804
fix whitespace around \vocab 2022-08-18 16:09:02 +02:00
b6a13cfa40
add green background style 2022-08-18 11:32:37 +02:00
2d16a2d72a make todo commands accept optional arguments 2022-06-27 17:33:08 +02:00
8c5b9ad7a4 load missing decorations library for tikz-cd 2022-06-27 17:10:15 +02:00
e9f75cd220 fix error in category declaration 2022-06-27 16:46:26 +02:00
80377fc784 fix error in csv: use quotechar | correctly 2022-06-27 16:31:41 +02:00
aaa93783b2 fix error in csv dictionary: use proper quotechar | 2022-06-27 16:21:30 +02:00
bd9d19bcfb Merge branch 'master' into bachelor-thesis 2022-06-27 16:16:03 +02:00
d96c0bdb38 refproof: fix optional argument of oldproof environment 2022-06-27 16:15:41 +02:00
45a0b480cb Merge branch 'master' into bachelor-thesis 2022-06-27 16:02:11 +02:00
b7ba678943 add fix for equal arrows in tikz-cd 2022-06-27 16:02:01 +02:00
3a734d9f1b add CGHaus and SimplicialSet categories 2022-06-27 15:56:21 +02:00
cf7b02f41f Merge branch 'master' into bachelor-thesis 2022-06-27 15:33:49 +02:00
c939483b42 fix @counteralias usage of thmtools 2022-06-27 15:32:53 +02:00
5f2a38ae45 fix bug 2022-06-12 17:43:00 +02:00