Skip to content
Snippets Groups Projects

chore: port patch to isabelle 2024

Closed Joshua Balthasar Kobschätzki requested to merge cobalt.rocks/isabelle2024 into main

Resolves ism#31 (closed). Basic testing for the server has been done. Most of the port was just re-doing the changes in server.scala for the server password and database bypass.

Merge request reports

Closed by Joshua Balthasar KobschätzkiJoshua Balthasar Kobschätzki 2 months ago (Nov 27, 2024 11:52am UTC)

Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading