Ensure that set simplifies correctly

2 jobs for ci/record-update in 6 seconds (queued for 3 seconds)
Name Stage Failure
build-coq.8.14.0 Build
Using docker image sha256:41f434a547c9d728f69a019b23700074c3cb7b6134de340416fa3d16338dc57d for ralfjung/opam-ci:opam2 with digest ralfjung/opam-ci@sha256:2397c339cb01bda0bb9760e289f257fef497c6029508c92d408c9cec6e15a130 ...
Preparing environment
Running on runner-axatrxdy-project-1724-concurrent-0 via coop...
Getting source from Git repository
Fetching changes with git depth set to 50...
Reinitialized existing Git repository in /builds/iris/refinedc/.git/
fatal: couldn't find remote ref refs/heads/ci/record-update
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1