What

Some improvements to the script scripts/ci/update_records/update.ml:

Adds a --dry-run flag. When set, the local working directory is not modified but downloading records and parsing them is tested.
Seems the name field is not always set on pipelines returned from the gitlab api, works around this.
Disables curl's progress bar in the tezt logs by default
Makes it possible to fetch records from the latest scheduled pipeline, regardless of whether it is successful or not.

Why

These changes makes it easier to work with and debug this script.

Not much to say.

Run the script with --verbose, observe the absence of curl progress info
Try adding --dry-run. Note that your work repo should be squeaky clean afterwards.
Try running with --from last-schedule-extended-test and observer that it uses the latest pipeline from this list

Document the interface of any function added or modified (see the coding guidelines)
Document any change to the user interface, including configuration parameters (see node configuration)
Provide automatic testing (see the testing guide).
For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
Select suitable reviewers using the Reviewers field below.
Select as Assignee the next person who should take action on that MR

Edited Feb 13, 2024 by Arvid Jakobsson