|
|
9ea1970fcf
|
Fixed submodule
|
2025-11-16 00:36:47 +01:00 |
|
|
|
adcf470b30
|
Fix voor template, hopelijk nu werkend op buildsetup
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-16 00:31:46 +01:00 |
|
|
|
108ef1755a
|
Revert "Poging met een dockerfile"
This reverts commit d2b0965281.
|
2025-11-15 20:59:52 +01:00 |
|
|
|
d2b0965281
|
Poging met een dockerfile
gitea/real_analysis/pipeline/head Something is wrong with the build of this commit
|
2025-11-15 20:37:43 +01:00 |
|
|
|
ad278c6e66
|
Libertinus installeren met tlmgr
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 20:32:03 +01:00 |
|
|
|
40e3f57f5e
|
Poging om font werkend te krijgen
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 20:16:50 +01:00 |
|
|
|
1bb9abb8cf
|
Poging tot herstructurering om latexmk beter te benutten
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 20:02:47 +01:00 |
|
|
|
b1d3f25d48
|
In goede map
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 15:16:28 +01:00 |
|
|
|
029f0fe6d6
|
Image goed gebruiken
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 15:10:50 +01:00 |
|
|
|
85bdd56b1c
|
Met sudo proberen
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 15:07:10 +01:00 |
|
|
|
cdbf024243
|
Correcte manier van bash installeren
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 15:05:49 +01:00 |
|
|
|
4b69b4ed5d
|
Met bash geinstalleerd
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 15:03:46 +01:00 |
|
|
|
2f080802fb
|
File expliciet uitvoeren met bash?
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 14:02:35 +01:00 |
|
|
|
0bf782be40
|
Output van file tonen als debugging
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 14:01:34 +01:00 |
|
|
|
2665c4b0c1
|
Meer debugging
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 13:59:48 +01:00 |
|
|
|
13455b406d
|
New container image
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-11-15 13:30:30 +01:00 |
|
|
|
81586f7f19
|
Testing in production, check of repo wel in docker container komt
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-03-04 11:17:07 +01:00 |
|
|
|
d371820b74
|
Docker als agent in jenkinsfile
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-02-23 22:39:47 +01:00 |
|
|
|
9e486162f7
|
Nieuwe Jenkins setup testen
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2025-02-23 22:27:36 +01:00 |
|
|
|
13069e68ea
|
Merge branch 'master' of ssh://212.132.118.65:55556/flip/real_analysis
gitea/real_analysis/pipeline/head This commit looks good
|
2025-02-22 17:17:34 +01:00 |
|
|
|
559d27267c
|
Huidige datum toegevoegd
|
2025-02-22 17:17:24 +01:00 |
|
|
|
3e210ca9ba
|
Finished git submodule test
gitea/real_analysis/pipeline/head This commit looks good
|
2024-06-18 10:57:28 +02:00 |
|
|
|
603241fce5
|
Test git submodule on commit
gitea/real_analysis/pipeline/head Something is wrong with the build of this commit
|
2024-06-18 10:55:23 +02:00 |
|
|
|
6fbf6273ea
|
pdf build files are now obsolete because of my ci cd pipeline :)
gitea/real_analysis/pipeline/head This commit looks good
|
2024-05-05 00:16:52 +02:00 |
|
|
|
deaaaa276b
|
Unnecessary sudo
gitea/real_analysis/pipeline/head This commit looks good
|
2024-05-05 00:12:09 +02:00 |
|
|
|
549af36a07
|
Added deploy and updated the readme accordingly
gitea/real_analysis/pipeline/head There was a failure building this commit
|
2024-05-05 00:01:08 +02:00 |
|
|
|
ce4daadd49
|
Made latex build quietly
gitea/real_analysis/pipeline/head This commit looks good
|
2024-05-04 11:42:00 +02:00 |
|
|
|
8d19df9d53
|
Finally fixed pdf build script?
|
2024-05-04 01:48:58 +02:00 |
|
|
|
a28e184552
|
dpkg was not installed, flips table
|
2024-04-30 15:00:01 +02:00 |
|
|
|
9c83a5bb32
|
Just the ampersand, without the redirection?
|
2024-04-30 14:58:10 +02:00 |
|
|
|
2eda317dd7
|
Ampersand as last parameter might fix the redirect?
|
2024-04-30 14:55:43 +02:00 |
|
|
|
f7000b4b84
|
Another double quote on variable name
|
2024-04-30 14:53:13 +02:00 |
|
|
|
be946462f5
|
Variables in quotes
|
2024-04-30 14:51:07 +02:00 |
|
|
|
b089017f69
|
Forwarding error to std output in bash script now
|
2024-04-30 14:48:01 +02:00 |
|
|
|
9cc3641238
|
Made build script executable
|
2024-04-23 11:47:27 +02:00 |
|
|
|
ffca46746b
|
Need more steps in a stage than none
|
2024-04-22 17:06:12 +02:00 |
|
|
|
b043b7df22
|
Oh wat heb ik een hekel aan jenkinsfiles nu al
|
2024-04-22 17:04:04 +02:00 |
|
|
|
d1f3983799
|
Agent is a directive, doesn't have curly braces...
|
2024-04-22 17:02:08 +02:00 |
|
|
|
929978fa87
|
Update Jenkinsfile
|
2024-04-22 14:58:34 +00:00 |
|
|
|
27517d7419
|
First try with Jenkinsfile, hope for the best
|
2024-04-22 16:57:11 +02:00 |
|
Philippe Zwietering
|
bda0c77b5e
|
Merge pull request 'Finished assignment 3' (#14) from assignment3 into master
Reviewed-on: #14
|
2023-06-09 10:57:59 +02:00 |
|
|
|
8d53e6e409
|
Finished assignment 3, pretty pleased with the results actually, didn't think I would make it this far
|
2023-06-09 10:48:40 +02:00 |
|
|
|
db44eae2be
|
Finished exercise 6 from week 3, just a few to go
|
2023-06-06 20:49:45 +02:00 |
|
|
|
5930d51114
|
Finished part of exercise 5, getting more comfortable with these kinds of proofs now
|
2023-06-02 17:00:19 +02:00 |
|
|
|
1639753ec0
|
Finished exercise 4 of week 3 and quite satisfied with it
|
2023-06-01 23:51:07 +02:00 |
|
|
|
d708244e55
|
WIP on exercise 4, very close
|
2023-05-30 17:05:42 +02:00 |
|
|
|
6fcd7eca69
|
Finished first exercise of assignment 3 and did some refactoring on numbering etc
|
2023-05-26 16:54:00 +02:00 |
|
|
|
8c0d80b19e
|
Empty start on assignment 3
|
2023-05-25 17:12:02 +02:00 |
|
Philippe Zwietering
|
90993a3a6f
|
Merge pull request 'Finished assignment 2' (#13) from assignment2 into master
Reviewed-on: #13
|
2023-05-25 16:47:48 +02:00 |
|
|
|
73d1b0e321
|
Finished assigment 2
|
2023-05-25 16:33:49 +02:00 |
|
