paul
1 Followers · 0 Following
Repositories
19
 Projects Packages Public Activity Starred Repositories
paul created branch master in paul/ma 2023-06-09 15:14:44 +02:00
paul pushed to master at paul/ma 2023-06-09 15:14:44 +02:00
74b1e45305 Add readme for latexmk usage
8d8f1fb8df Initialize latexmk and research report
paul created repository paul/ma 2023-06-09 15:10:25 +02:00
paul pushed to main at paul/infrastructure 2023-06-09 00:56:00 +02:00
7e446f25eb Bump ansible version in ansible-playbook --check CI step
paul pushed to main at paul/infrastructure 2023-06-09 00:53:55 +02:00
21329ecabd Make CI install ansible package
paul pushed to main at paul/infrastructure 2023-06-09 00:51:09 +02:00
017f417cb5 Make CI install ansible package
paul pushed to main at paul/infrastructure 2023-06-09 00:43:41 +02:00
06b673ec89 Apply ansible-lint fixes
84bfeb5c32 Add ansible-lint configuration file
Compare 2 commits »
paul pushed to main at paul/infrastructure 2023-06-09 00:32:55 +02:00
083f93ec5f Update nixpkgs
552a3c58a6 Add swap files to gitignore
Compare 2 commits »
paul pushed to main at paul/infrastructure 2023-06-09 00:27:41 +02:00
4060c7afba Update ansible-lint version in CI
paul pushed to main at paul/infrastructure 2023-06-08 23:55:49 +02:00
6c3bd0f1d4 Add score
paul pushed to main at paul/infrastructure 2023-06-08 21:45:49 +02:00
41b3733482 Bump utoy to 0.6
paul pushed to main at paul/jon 2023-06-06 18:11:59 +02:00
paul pushed to main at paul/jon 2023-06-06 16:51:32 +02:00
bbd51978cb Implement some more python features
b886d71a0b Add python
e31017831a Fix error
Compare 3 commits »
paul pushed to flake at paul/ihaskell-docker 2023-04-20 06:19:34 +02:00
72e503998c Get jupyenv and docker to run
0790caf39a Backup commit
Compare 2 commits »
paul created branch flake in paul/ihaskell-docker 2023-04-20 06:19:34 +02:00
paul pushed tag 0.6 to paul/utoy 2023-04-06 14:25:11 +02:00
paul pushed to main at paul/utoy 2023-04-06 14:25:02 +02:00
77887bb29e Bump version to 0.6
paul pushed tag 0.6 to paul/utoy 2023-04-06 14:15:21 +02:00
paul pushed to main at paul/utoy 2023-04-06 14:15:18 +02:00
1a563d39e9 Bump version to 0.6
paul pushed to main at paul/utoy 2023-04-06 14:09:16 +02:00
7c4fea02d1 Add root route
e344ddefb5 Add plaintext root
2024e230a8 Use phases whitelist instead of dont*
Compare 3 commits »