Philippe Zwietering flip
flip pushed to master at flip/real_analysis 2026-01-22 23:44:03 +01:00
23c5c26472 Artifacts opslaan
flip pushed to master at flip/real_analysis 2026-01-22 23:41:44 +01:00
b27c0d1872 Geen sudo meer nodig
flip pushed to master at flip/real_analysis 2026-01-22 23:36:03 +01:00
b92d0a5a97 Smerige sudo
flip pushed to master at flip/real_analysis 2026-01-22 23:33:33 +01:00
7fbca3031a Poging om jenkins uit het slop te trekken
flip pushed to master at flip/contests 2026-01-09 17:00:18 +01:00
121a9a02cb Day 2 aoc in progress
flip pushed to master at flip/contests 2026-01-05 16:47:30 +01:00
4ad2ec5240 Dag 1 advent of code 25 afgetikt
flip pushed to master at flip/real_analysis 2025-11-21 10:15:12 +01:00
12ba818631 Fix on template
flip pushed to master at flip/real_analysis 2025-11-16 00:50:35 +01:00
bc10cf8736 https ipv ssh voor de buildserver
flip pushed to master at flip/real_analysis 2025-11-16 00:45:52 +01:00
83c9218b81 Vieze workspace
flip pushed to master at flip/real_analysis 2025-11-16 00:37:09 +01:00
a7ec28cf5c Overbodig build script nu
9ea1970fcf Fixed submodule
Compare 2 commits »
flip pushed to master at flip/real_analysis 2025-11-16 00:31:50 +01:00
adcf470b30 Fix voor template, hopelijk nu werkend op buildsetup
108ef1755a Revert "Poging met een dockerfile"
Compare 2 commits »
flip pushed to master at flip/real_analysis 2025-11-15 20:37:47 +01:00
d2b0965281 Poging met een dockerfile
flip pushed to master at flip/real_analysis 2025-11-15 20:32:06 +01:00
ad278c6e66 Libertinus installeren met tlmgr
flip pushed to master at flip/real_analysis 2025-11-15 20:16:53 +01:00
40e3f57f5e Poging om font werkend te krijgen
flip pushed to master at flip/real_analysis 2025-11-15 20:02:49 +01:00
1bb9abb8cf Poging tot herstructurering om latexmk beter te benutten
flip pushed to master at flip/real_analysis 2025-11-15 15:16:32 +01:00
b1d3f25d48 In goede map
flip pushed to master at flip/real_analysis 2025-11-15 15:10:53 +01:00
029f0fe6d6 Image goed gebruiken
flip pushed to master at flip/real_analysis 2025-11-15 15:07:14 +01:00
85bdd56b1c Met sudo proberen
flip pushed to master at flip/real_analysis 2025-11-15 15:05:53 +01:00
cdbf024243 Correcte manier van bash installeren
flip pushed to master at flip/real_analysis 2025-11-15 15:03:49 +01:00
4b69b4ed5d Met bash geinstalleerd