mirror of
https://github.com/nlohmann/json.git
synced 2026-10-01 05:23:47 +07:00
The "check" job (Check amalgamation) runs develop's amalgamate.py and read all configurations from the develop checkout, where config_json_view.json does not exist until this stack lands, so it failed with FileNotFoundError. Read that configuration from the pull request's checkout; the tool itself stays develop's. Signed-off-by: Niels Lohmann <mail@nlohmann.me>