Attendees: @fricklerhandwerk @niols @kiara - @fricklerhandwerk - almost completed the data model up to deployment, including a test - @kiara fixed up some typos and evaluation errors - remaining is to mold `nixops4Deployment` into a type that is accepted - started compiling the mid-term technical report - will pause work on the data model until that's done (next week) - @niols worked on extracting a minimal flake for the test - (discussed how to handle lazy/strict source closures) - @kiara - tried containerizing the CI but it didn't work out yet - setting up a cache may improve turnaround time by a lot - will pair with @niols the week after next - tried patching the workflow to enable automatic dependency updates, made small progress - we can do dependency bumps manually for now - will pause work on CI until the technical report is done