.github/workflows/push_pr.yml

Update LeanCamCombi/ProbLYM.lean #62

Sign in to view logs

Triggered via push February 14, 2025 02:17

ctchou

personal/ctchou/prob-lym

Status Cancelled

Total duration 17s

Artifacts –

push_pr.yml

on: push

Annotations

1 error

Build project

Canceling since a higher priority waiting request for '.github/workflows/push_pr.yml-refs/heads/personal/ctchou/prob-lym' exists