Skip to content
This repository has been archived by the owner on Nov 29, 2024. It is now read-only.

Merge pull request #84 from lean-ja/dependabot/github_actions/peaceir… #90

Merge pull request #84 from lean-ja/dependabot/github_actions/peaceir…

Merge pull request #84 from lean-ja/dependabot/github_actions/peaceir… #90

Triggered via push May 29, 2024 09:12
Status Cancelled
Total duration 12s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Test-refs/heads/main' exists