Skip to content

Actions: leanprover/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
746 workflow run results
746 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Actionlint Actionlint #746: Merge group checks requested
April 11, 2024 16:02 34s
April 11, 2024 16:02 34s
Actionlint Actionlint #745: Merge group checks requested
April 11, 2024 15:27 29s
April 11, 2024 15:27 29s
Actionlint Actionlint #744: Merge group checks requested
April 11, 2024 15:12 33s
April 11, 2024 15:12 33s
Actionlint Actionlint #743: Merge group checks requested
April 11, 2024 14:27 29s
April 11, 2024 14:27 29s
Actionlint Actionlint #742: Merge group checks requested
April 11, 2024 14:21 49s
April 11, 2024 14:21 49s
Actionlint Actionlint #741: Merge group checks requested
April 11, 2024 04:21 29s
April 11, 2024 04:21 29s
Actionlint Actionlint #740: Merge group checks requested
April 10, 2024 20:41 32s
April 10, 2024 20:41 32s
Actionlint Actionlint #739: Merge group checks requested
April 10, 2024 08:46 27s
April 10, 2024 08:46 27s
Actionlint Actionlint #738: Merge group checks requested
April 8, 2024 17:16 33s
April 8, 2024 17:16 33s
feat: trace.profiler export to Firefox Profiler Actionlint #737: Pull request #3801 synchronize by Kha
April 8, 2024 15:35 29s Kha:fx-prof
Kha:fx-prof
April 8, 2024 15:35 29s
feat: trace.profiler export to Firefox Profiler Actionlint #736: Pull request #3801 synchronize by Kha
April 8, 2024 08:45 26s Kha:fx-prof
Kha:fx-prof
April 8, 2024 08:45 26s
Actionlint Actionlint #735: Merge group checks requested
April 7, 2024 13:44 25s
April 7, 2024 13:44 25s
Actionlint Actionlint #734: Merge group checks requested
April 6, 2024 18:00 26s
April 6, 2024 18:00 26s
chore: when setting up Mathlib CI, make sure nightly-with-mathlib bra… Actionlint #733: Commit 0aa6831 pushed by github-merge-queue bot
April 5, 2024 01:23 27s master
master
April 5, 2024 01:23 27s
Actionlint Actionlint #732: Merge group checks requested
April 5, 2024 00:41 32s
April 5, 2024 00:41 32s
chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched Actionlint #731: Pull request #3834 opened by kim-em
April 5, 2024 00:25 40s fetch-nightly-with-mathlib
fetch-nightly-with-mathlib
April 5, 2024 00:25 40s
Actionlint Actionlint #730: Merge group checks requested
April 4, 2024 23:15 31s
April 4, 2024 23:15 31s
Actionlint Actionlint #729: Merge group checks requested
April 4, 2024 13:36 33s
April 4, 2024 13:36 33s
Actionlint Actionlint #728: Merge group checks requested
April 4, 2024 13:15 34s
April 4, 2024 13:15 34s
Actionlint Actionlint #727: Merge group checks requested
April 4, 2024 13:14 32s
April 4, 2024 13:14 32s
Actionlint Actionlint #726: Merge group checks requested
April 4, 2024 13:00 29s
April 4, 2024 13:00 29s
Actionlint Actionlint #725: Merge group checks requested
April 4, 2024 09:31 35s
April 4, 2024 09:31 35s
feat: trace.profiler export to Firefox Profiler Actionlint #724: Pull request #3801 synchronize by Kha
April 3, 2024 13:52 26s Kha:fx-prof
Kha:fx-prof
April 3, 2024 13:52 26s
feat: trace.profiler export to Firefox Profiler Actionlint #723: Pull request #3801 synchronize by Kha
April 3, 2024 10:02 32s Kha:fx-prof
Kha:fx-prof
April 3, 2024 10:02 32s
Actionlint Actionlint #722: Merge group checks requested
April 3, 2024 03:00 34s
April 3, 2024 03:00 34s