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
Defer cleanup handling, dump core on panic, simplify proxy.go

!16 · created Aug 18, 2024 by Benjamin Johannes Lohmar
- Merged
- 5
updated Sep 19, 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
Allow for dynamic container configuration

!15 · created Aug 16, 2024 by Joshua Balthasar Kobschätzki
Server manager packaging
updated Aug 16, 2024
Update docs link in readme

!2 · created Apr 16, 2024 by Robin Daniel Cogan
- Merged
updated Aug 06, 2024
chore: update direct dependencies

!12 · created Aug 05, 2024 by Joshua Balthasar Kobschätzki
- Merged
- 1
updated Aug 05, 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: bump isalink and klog

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

!7 · created Jun 20, 2024 by Joshua Balthasar Kobschätzki
- Merged
- 17
updated Jul 29, 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
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
Async Task tracking and session transfers

!1 · created Mar 17, 2024 by Joshua Balthasar Kobschätzki
- Merged
- 1
updated Mar 27, 2024