Merge pull request #117 from xxsds/dependabot/github_actions/peter-ev… · xxsds/sdsl-lite@ad950d1

Triggered via push July 21, 2023 16:45

eseiler

master

Status Cancelled

Total duration 1m 6s

Artifacts –

ci_header.yml

on: push

Matrix: build

6 errors

Canceling since a higher priority waiting request for 'header-refs/heads/master' exists

Canceling since a higher priority waiting request for 'header-refs/heads/master' exists

Canceling since a higher priority waiting request for 'header-refs/heads/master' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'header-refs/heads/master' exists

The operation was canceled.