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 #10384: Merge group checks requested
1m 2s
1m 2s
Actionlint Actionlint #10383: Merge group checks requested
1m 0s
1m 0s
Actionlint Actionlint #10382: Merge group checks requested
1m 1s
1m 1s
Actionlint Actionlint #10381: Merge group checks requested
1m 5s
1m 5s
Actionlint Actionlint #10380: Merge group checks requested
1m 14s
1m 14s
Actionlint Actionlint #10379: Merge group checks requested
1m 6s
1m 6s
Actionlint Actionlint #10378: Merge group checks requested
1m 0s
1m 0s
Actionlint Actionlint #10377: Merge group checks requested
2m 55s
2m 55s
Actionlint Actionlint #10376: Merge group checks requested
2m 32s
2m 32s
Actionlint Actionlint #10375: Merge group checks requested
1m 10s
1m 10s
Actionlint Actionlint #10374: Merge group checks requested
1m 5s
1m 5s
Actionlint Actionlint #10373: Merge group checks requested
1m 2s
1m 2s
Actionlint Actionlint #10372: Merge group checks requested
1m 10s
1m 10s
chore: CI: move RelWithAssert to Namespace runners (#14430) Actionlint #10371: Commit 79bec6d pushed by Kha
1m 6s master
master
1m 6s
chore: CI: move RelWithAssert to Namespace runners Actionlint #10370: Pull request #14430 opened by Kha
1m 17s push-qmzrmlqztrsx
push-qmzrmlqztrsx
1m 17s
Actionlint Actionlint #10369: Merge group checks requested
1m 5s
1m 5s
Actionlint Actionlint #10368: Merge group checks requested
1m 9s
1m 9s
Actionlint Actionlint #10367: Merge group checks requested
1m 4s
1m 4s
Actionlint Actionlint #10366: Merge group checks requested
1m 6s
1m 6s
Actionlint Actionlint #10365: Merge group checks requested
1m 24s
1m 24s
Actionlint Actionlint #10364: Merge group checks requested
57s
57s
Actionlint Actionlint #10363: Merge group checks requested
1m 15s
1m 15s
Actionlint Actionlint #10362: Merge group checks requested
1m 17s
1m 17s
Actionlint Actionlint #10361: Merge group checks requested
1m 5s
1m 5s
Actionlint Actionlint #10360: Merge group checks requested
1m 7s
1m 7s