- Oct 28, 2022
-
-
- Oct 27, 2022
-
-
Erxleben, Fredo authored
blogpost registration for teach 2 See merge request !641
-
-
- Oct 25, 2022
-
-
Huste, Tobias authored
Add DOI for publication of DevOpsDays Berlin 2022 talk Closes #372 See merge request !643
-
-
Huste, Tobias authored
blog post for october newsletter See merge request !640
-
-
Huste, Tobias authored
Adds a makefile See merge request !638
-
- Oct 24, 2022
-
-
- Oct 21, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
-
- Oct 20, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
Create PDF from October Newsletter, with working absolute path.s See merge request !639
-
Uwe Jandt (DESY, HIFIS) authored
-
Uwe Jandt (DESY, HIFIS) authored
Newsletter October 2022 See merge request !630
-
Uwe Jandt (DESY, HIFIS) authored
-
- Oct 19, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
-
- Oct 14, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
Blog posts vs newsletter See merge request !632
-
Uwe Jandt (DESY, HIFIS) authored
-
Uwe Jandt (DESY, HIFIS) authored
Update Citation in Spotlight Tamarin Prover Closes #369 See merge request !635
-
-
- Oct 13, 2022
-
-
Huste, Tobias authored
Add retrospective post about the summer academy See merge request !633
-
Huste, Tobias authored
-
- Oct 10, 2022
-
-
Huste, Tobias authored
Resolve "Subsite: Software Engineering Consulting" Closes #240 See merge request !612
-
-
- Oct 07, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
Add Spotlight Tamarin Prover Closes #191 See merge request !595
-
-
- Oct 06, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
Unify centre names for RSD migration See merge request !627
-
-
Uwe Jandt (DESY, HIFIS) authored
Post on Evaluation See merge request !629
-
Uwe Jandt (DESY, HIFIS) authored
-
- Oct 05, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
-
- Oct 04, 2022
-
-
Uwe Jandt (DESY, HIFIS) authored
Fix media materials See merge request !628
-
Uwe Jandt (DESY, HIFIS) authored
-
Uwe Jandt (DESY, HIFIS) authored
Use Case DataHub Earth and Environment See merge request !597
-
-
Uwe Jandt (DESY, HIFIS) authored
Update publication list, Sep 22 See merge request !621
-
Uwe Jandt (DESY, HIFIS) authored
-
- Sep 26, 2022
-
-
Huste, Tobias authored
Resolve "How to handle breaking external links?" See merge request !626
-
Huste, Tobias authored
-
Huste, Tobias authored
Bump html-proofer from 3.19.4 to 4.4.1 See merge request !625
-
Huste, Tobias authored
-