This repository has been archived by the owner on May 3, 2024. It is now read-only.

.github/workflows/bors.yml

Merge branch 'io-spec-in-Run' of https://github.com/mlimbeck/Verified… #86

Sign in to view logs

Triggered via push February 7, 2024 23:51

mlimbeck

io-spec-in-Run

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

No event triggers defined in `on`