Garbage Collection for range maps #1402

Triggered via pull request July 14, 2023 22:08

mariaKt

opened #803

rangemap-gc

Status Cancelled

Total duration 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

update.yml

on: pull_request

3 errors

Canceling since a higher priority waiting request for 'Update-refs/pull/803/merge' exists

Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 127

The operation was canceled.