Skip to content

Use config file instead of editing source code#210

Draft
Leonidas-from-XIV wants to merge 5 commits intoocaml-dune:mainfrom
Leonidas-from-XIV:toml-config
Draft

Use config file instead of editing source code#210
Leonidas-from-XIV wants to merge 5 commits intoocaml-dune:mainfrom
Leonidas-from-XIV:toml-config

Conversation

@Leonidas-from-XIV
Copy link
Contributor

@Leonidas-from-XIV Leonidas-from-XIV commented Mar 3, 2026

This PR changes the way Sandworm is reconfigured by moving from editing sourcecode as part of an GH workflow into using a config file.

Some notes about it:

  • It uses TOML. No particular significance about the format. The OCaml implementation seems to be well-maintained and the format is reasonably accepted. Could have used INI files as well, but the OCaml implementation is less mature.
  • This PR gives up on the "staging" branch setup. It is easier to have a single main branch and have test as an option to its execution. We need to rework how to test things in either case.
  • The config options are taken from the workflow

Closes #199

Signed-off-by: Marek Kubica <marek@tarides.com>
Signed-off-by: Marek Kubica <marek@tarides.com>
The values are taken from the nightly workflow.

Signed-off-by: Marek Kubica <marek@tarides.com>
Signed-off-by: Marek Kubica <marek@tarides.com>
Signed-off-by: Marek Kubica <marek@tarides.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Move configuration into config file

1 participant