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 - todo for end-to-end beta: (REST) API for interacting with a runtime environment (general idea already settled in earlier discussions) - GET json schema for configuring applications - GET configuration - POST configuration - POST deploy - GET deployment (version, config, status, ...) - GET (stream) deployment progress - Webhook: deployment state updates, e.g. completed, failed, ... - TODO: workflow for migration - ... -