.github/workflows/push.yml

Feat/bloom filter (#710) #74

Sign in to view logs

Triggered via push January 11, 2024 14:05

github-merge-queue[bot]

main

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/push.yml#L19

error parsing called workflow ".github/workflows/push.yml" -> "./.github/workflows/benchmark.yml" : failed to fetch workflow: workflow was not found.