Skip to content

Actions: leanprover/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Actionlint Actionlint #9551: Merge group checks requested
1m 11s
1m 11s
Actionlint Actionlint #9550: Merge group checks requested
1m 5s
1m 5s
Actionlint Actionlint #9549: Merge group checks requested
1m 3s
1m 3s
Actionlint Actionlint #9548: Merge group checks requested
1m 22s
1m 22s
Actionlint Actionlint #9547: Merge group checks requested
1m 11s
1m 11s
Actionlint Actionlint #9546: Merge group checks requested
1m 6s
1m 6s
chore: use self-hosted actions runner for some runs Actionlint #9545: Pull request #13543 synchronize by Garmelon
1m 13s joscha/chonk3-runner
joscha/chonk3-runner
1m 13s
Actionlint Actionlint #9544: Merge group checks requested
1m 10s
1m 10s
Actionlint Actionlint #9543: Merge group checks requested
1m 8s
1m 8s
Actionlint Actionlint #9542: Merge group checks requested
1m 10s
1m 10s
Actionlint Actionlint #9541: Merge group checks requested
1m 4s
1m 4s
chore: use self-hosted actions runner for some runs Actionlint #9540: Pull request #13543 synchronize by Garmelon
1m 5s joscha/chonk3-runner
joscha/chonk3-runner
1m 5s
chore: use self-hosted actions runner for some runs Actionlint #9539: Pull request #13543 synchronize by Garmelon
1m 8s joscha/chonk3-runner
joscha/chonk3-runner
1m 8s
chore: use self-hosted actions runner for some runs Actionlint #9538: Pull request #13543 synchronize by Garmelon
1m 9s joscha/chonk3-runner
joscha/chonk3-runner
1m 9s
chore: use self-hosted actions runner for some runs Actionlint #9537: Pull request #13543 synchronize by Garmelon
1m 18s joscha/chonk3-runner
joscha/chonk3-runner
1m 18s
Actionlint Actionlint #9536: Merge group checks requested
26m 13s
26m 13s
Actionlint Actionlint #9535: Merge group checks requested
1m 16s
1m 16s
Actionlint Actionlint #9534: Merge group checks requested
1m 13s
1m 13s
Actionlint Actionlint #9533: Merge group checks requested
1m 11s
1m 11s
Actionlint Actionlint #9532: Merge group checks requested
1m 9s
1m 9s
chore: use self-hosted actions runner for some runs Actionlint #9531: Pull request #13543 synchronize by Garmelon
1m 16s joscha/chonk3-runner
joscha/chonk3-runner
1m 16s
Actionlint Actionlint #9530: Merge group checks requested
1m 17s
1m 17s
Actionlint Actionlint #9529: Merge group checks requested
59s
59s
Actionlint Actionlint #9528: Merge group checks requested
1m 3s
1m 3s
Actionlint Actionlint #9527: Merge group checks requested
1m 0s
1m 0s