gazagnaire.org / caravan
Declarative provisioning that converges a provider to a spec
Star
Fork 0
Watch

Commits on main

Tag every package with its ACM CCS 2012 capability, and its domain main
Thomas Gazagnaire committed
Tag the cloud and application packages with their capability area
Thomas Gazagnaire committed
eio 1.6: every Fs.Pi.DIR implementor takes ~follow, and requires 1.6
Thomas Gazagnaire committed
Compile every Eio library of the tree under hermetic.eio
Thomas Gazagnaire committed
caravan: name the exceptions each handler catches
Thomas Gazagnaire committed
caravan: improve README
Thomas Gazagnaire committed
scaleway: decode the catalogue's prices exactly
Thomas Gazagnaire committed
uplink: follow RFC 9124 section 4.3 REQ.SEC.COMPATIBLE
Thomas Gazagnaire committed
caravan: improve docs
Thomas Gazagnaire committed
daemon, caravan: a launcher's start identity is read from the kernel
Thomas Gazagnaire committed
caravan: improve docs
Thomas Gazagnaire committed
caravan: power off every holder before its data volume is destroyed
Thomas Gazagnaire committed
caravan: red, a destroyed data volume is pulled from under a live holder
Thomas Gazagnaire committed
caravan: drop the boot_volume doc's unsupported consequence
Thomas Gazagnaire committed
caravan: improve doc strings
dev-pony-seedmiss committed
caravan: improve doc strings
dev-pony-seedmiss committed
caravan: the Scaleway detach reads the volume's references, not the holder's answer
Thomas Gazagnaire committed
caravan: spec that a destruction outlasts the reference and reads a detach already done
Thomas Gazagnaire committed
caravan: a volume's destruction is an action a caller can spell
Thomas Gazagnaire committed
caravan: an observation asks the volume for the size the server did not give
Thomas Gazagnaire committed
caravan: a red case for the size a server record does not carry
Thomas Gazagnaire committed
caravan: an instance carries the stage the provider says it is at
Thomas Gazagnaire committed
caravan: an instance reports each disk as the provider described it
Thomas Gazagnaire committed
caravan: a create hands the provider the size the provider published
Thomas Gazagnaire committed
caravan: a red case for the size a create hands the provider
Thomas Gazagnaire committed
caravan/scaleway: correct boot_type constructor and test scope
Thomas Gazagnaire committed
caravan/scaleway: pass boot_type:Local when creating a Scaleway server
Thomas Gazagnaire committed
caravan/scaleway: a case that add_instance boots from the local image
Thomas Gazagnaire committed
caravan: one comparison decides whether two spellings name one size
Thomas Gazagnaire committed
caravan: a case for one commercial type spelled two ways
Thomas Gazagnaire committed
Revert "caravan: the create leaves the image its slot, so the machine has a disk" Revert "caravan: a red case for the machine a create hands back"
Thomas Gazagnaire committed
caravan: the create leaves the image its slot, so the machine has a disk
Thomas Gazagnaire committed
caravan: a red case for the machine a create hands back
Thomas Gazagnaire committed
caravan: an instance reports the volume its provider will execute
Thomas Gazagnaire committed
xml: migrate callers to located nodes
Thomas Gazagnaire committed
eio: move the tree to 1.5
Thomas Gazagnaire committed
caravan: a caller resolves a target's own resource
Thomas Gazagnaire committed
caravan: spec that a caller resolves a target's own resource
Thomas Gazagnaire committed
uplink: take a key set and threshold for verification
Thomas Gazagnaire committed
caravan: reconstruct reviewed plans with drift witnesses
Thomas Gazagnaire committed
caravan: specify reviewed plan witnesses
Thomas Gazagnaire committed
merlint: remove abstract structural comparisons
Thomas Gazagnaire committed
caravan: split the secret store into five value modules
Thomas Gazagnaire committed
caravan: record the positional plan price in the changelog
Thomas Gazagnaire committed
caravan: the spool's counters take the writer section rollback now asks for
Thomas Gazagnaire committed
caravan: price a plan step by its position, not by its value
Thomas Gazagnaire committed
caravan: assert the witness refusal by its condition, not a fragment
Thomas Gazagnaire committed
uplink: type the refusals instead of stringifying them
Thomas Gazagnaire committed
uplink: delete the codec type, which described three encodings the library refused
Thomas Gazagnaire committed
caravan: the witness cases say which of the two marks refuses them
Thomas Gazagnaire committed
caravan: record the instant the spool last admitted
Thomas Gazagnaire committed
caravan: pin the freshness the spool demands
Thomas Gazagnaire committed
caravan: the changelog describes the tree the tag ships
Thomas Gazagnaire committed
caravan: name the CLI's operator paths from where the operator stands
Thomas Gazagnaire committed
caravan: pin what an operator's own paths may name
Thomas Gazagnaire committed
caravan: spec where the CLI names an operator's paths from
Thomas Gazagnaire committed
caravan: a check-in is one transaction over the spool
Thomas Gazagnaire committed
caravan-board: name the operator's image from the operator's directory
Thomas Gazagnaire committed
caravan-board: spec where a relative operator image is named from
Thomas Gazagnaire committed
caravan-vz: name the operator's image from the operator's directory
Thomas Gazagnaire committed