Skip to content

Refactor configuration processing#301

Merged
craigfe merged 4 commits into
mirage:masterfrom
craigfe:refactor-config-handling
May 3, 2021
Merged

Refactor configuration processing#301
craigfe merged 4 commits into
mirage:masterfrom
craigfe:refactor-config-handling

Conversation

@craigfe

@craigfe craigfe commented May 2, 2021

Copy link
Copy Markdown
Member

Extraction of some refactoring from #294. Defines config keys and their defaults in one place, and avoids shunting individual flags around in the Cli definition.

@craigfe craigfe force-pushed the refactor-config-handling branch from 1b65546 to be23a38 Compare May 2, 2021 12:22
@craigfe craigfe force-pushed the refactor-config-handling branch from be23a38 to 876ecb2 Compare May 2, 2021 20:18

@Ngoguey42 Ngoguey42 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment thread src/alcotest-engine/config_intf.ml Outdated
Comment thread src/alcotest-engine/config.ml Outdated
craigfe and others added 3 commits May 3, 2021 10:14
Co-authored-by: ngoguey <ngoguey@student.42.fr>
This is currently failing to update `brew` on Mac OS runners:

```
+echo 'brew update is still running...'
brew update is still running...
+sleep 60
```
@craigfe craigfe merged commit 32edeec into mirage:master May 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants