Closed sept-en closed 2 years ago
N.B. I don't have access to buildkite anymore. So this PR just fixes the obvious CI check, no need to care for buildkite because of upcoming #74
buildkite
N.B. I don't have access to
buildkiteanymore. So this PR just fixes the obvious CI check, no need to care forbuildkitebecause of upcoming #74