Merge requests · ProveIT / Isabelle Server Manager · GitLab

chore: minor refactoring and port logging to go-kit/log

!18 · created Oct 17, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid isalink manager
- Merged
- 6
- Approved
updated Oct 24, 2024
Remove systemd executor

!17 · created Sep 17, 2024 by Joshua Balthasar Kobschätzki
Ongoing Prio: Low manager
updated Oct 09, 2024
Allow for dynamic container configuration

!15 · created Aug 16, 2024 by Joshua Balthasar Kobschätzki
Server manager packaging
updated Aug 16, 2024
Add basic unit testing

!13 · created Aug 05, 2024 by Joshua Balthasar Kobschätzki
Prio: Low manager testing
- 3
updated Sep 20, 2024
Port Replays from isalink

!11 · created Jul 29, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid isalink manager testing
updated Jul 29, 2024
chore: Document mount handling for executors

!10 · created Jul 29, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid docs manager
- Merged
- 10
updated Sep 16, 2024
chore: bump isalink and klog

!9 · created Jul 29, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid manager testing
updated Jul 29, 2024
Add configurable Incus profiles

!8 · created Jul 29, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid manager
- 2
updated Aug 18, 2024
Mount reference counting

!6 · created Jun 07, 2024 by Joshua Balthasar Kobschätzki stable
Next Week Prio: Mid manager
- Merged
- 8
- Approved
updated Jun 20, 2024
Draft: Implement docker executor

!5 · created Jun 03, 2024 by Joshua Balthasar Kobschätzki
Ongoing Prio: Mid manager networking packaging security
- Closed
- 1
updated Jun 20, 2024
Switch to executor architecture

!4 · created May 05, 2024 by Joshua Balthasar Kobschätzki
Prio: Mid To Do manager security
- Merged
- 9
- Approved
updated Jun 01, 2024