Merge requests · hm / devbox

Merge trains

[base] Bump box version

!85 · created Mar 04, 2023 by Wallentowitz, Stefan
- Merged
updated Mar 04, 2023
[base] Make Sync+Share installation robust

!86 · created Mar 04, 2023 by Wallentowitz, Stefan
- Merged
updated Mar 04, 2023
[ci] min und full are already run

!84 · created Mar 03, 2023 by Wallentowitz, Stefan
- Merged
- Approved
updated Mar 03, 2023
Bump Java tools to latest versions

!82 · created Mar 03, 2023 by Hafner, Ullrich
- Merged
- Approved
updated Mar 03, 2023
[ci] only full test on master, not on merges

!83 · created Mar 03, 2023 by Wallentowitz, Stefan
- Merged
- Approved
updated Mar 03, 2023
Adding role for armgcc toolchain, plantuml and muc.dai-swd / swe tags

!80 · created Mar 01, 2023 by Dietrich, Benedikt
- Merged
updated Mar 02, 2023
Add `gt` tag for graph theory

!81 · created Mar 02, 2023 by Guedemann, Matthias
- Merged
updated Mar 02, 2023
Added QNX SDK/IDE for Embedded Computing

!77 · created Jan 02, 2023 by Fischer, Max
- Merged
- 1
updated Mar 02, 2023
Add Python for AlgDat2

!78 · created Feb 05, 2023 by Guedemann, Matthias
- Merged
updated Mar 02, 2023
Install recommended Haskell tools with ghcup

!79 · created Feb 10, 2023 by Braun, Oliver
- Merged
- 2
- Approved
updated Feb 12, 2023
Replace haskero with HLS

!76 · created Oct 21, 2022 by Guedemann, Matthias
- Merged
- 1
- Approved
updated Oct 21, 2022
Cgbv

!75 · created Oct 11, 2022 by Wallentowitz, Stefan
- Merged
updated Oct 11, 2022
VS Code Extension for GoogleTest #algdati

!74 · created Sep 28, 2022 by Braun, Oliver
updated Sep 29, 2022
Bump Java tooling to latest versions

!69 · created Sep 11, 2022 by Hafner, Ullrich
- Merged
- 1
updated Sep 28, 2022
install VS Code for algdati

!73 · created Sep 28, 2022 by Braun, Oliver
updated Sep 28, 2022
add some useful extensions to VS Code by default

!72 · created Sep 28, 2022 by Braun, Oliver
- Merged
updated Sep 28, 2022
Replace docker.io with docker-ce

!70 · created Sep 11, 2022 by Hafner, Ullrich
- Merged
- 3
- Approved
updated Sep 28, 2022
Install opam package / remove fragile shell download

!68 · created Sep 04, 2022 by Guedemann, Matthias
updated Sep 04, 2022
Krypto move from Haskell to SageMath

!61 · created Jul 22, 2022 by Guedemann, Matthias
updated Sep 04, 2022
Remove go 1.18 release candidate

!67 · created Sep 01, 2022 by Wallentowitz, Stefan
- Merged
updated Sep 01, 2022

Admin message