Skip to content

Actions: leanprover/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
291 workflow run results
291 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: split libInit_shared out of libleanshared Actionlint #241: Pull request #3421 synchronize by Kha
February 20, 2024 21:22 24s Kha:split-dll
Kha:split-dll
February 20, 2024 21:22 24s
Actionlint Actionlint #240: Merge group checks requested
February 20, 2024 19:25 29s
February 20, 2024 19:25 29s
fix: split libInit_shared out of libleanshared Actionlint #239: Pull request #3421 opened by Kha
February 20, 2024 18:41 26s Kha:split-dll
Kha:split-dll
February 20, 2024 18:41 26s
Actionlint Actionlint #238: Merge group checks requested
February 20, 2024 16:08 30s
February 20, 2024 16:08 30s
Actionlint Actionlint #237: Merge group checks requested
February 20, 2024 15:01 39s
February 20, 2024 15:01 39s
Actionlint Actionlint #236: Merge group checks requested
February 20, 2024 14:36 24s
February 20, 2024 14:36 24s
chore: pr-release to suggest a git rebase command (#3417) Actionlint #235: Commit 263629d pushed by github-merge-queue bot
February 20, 2024 13:43 24s master
master
February 20, 2024 13:43 24s
Actionlint Actionlint #234: Merge group checks requested
February 20, 2024 13:31 25s
February 20, 2024 13:31 25s
Actionlint Actionlint #233: Merge group checks requested
February 20, 2024 13:06 24s
February 20, 2024 13:06 24s
Actionlint Actionlint #232: Merge group checks requested
February 20, 2024 12:12 26s
February 20, 2024 12:12 26s
chore: pr-release to suggest a git rebase command Actionlint #231: Pull request #3417 synchronize by nomeata
February 20, 2024 11:19 27s joachim/pr-release-git-command
joachim/pr-release-git-command
February 20, 2024 11:19 27s
chore: typo (#3415) Actionlint #230: Commit 15cbcae pushed by github-merge-queue bot
February 20, 2024 11:17 28s master
master
February 20, 2024 11:17 28s
chore: pr-release to suggest a git rebase command Actionlint #229: Pull request #3417 opened by nomeata
February 20, 2024 11:16 27s joachim/pr-release-git-command
joachim/pr-release-git-command
February 20, 2024 11:16 27s
Actionlint Actionlint #228: Merge group checks requested
February 20, 2024 10:41 31s
February 20, 2024 10:41 31s
chore: typo Actionlint #227: Pull request #3415 opened by kim-em
February 20, 2024 10:26 28s copyright_typo
copyright_typo
February 20, 2024 10:26 28s
chore: CI: count libleanshared.dll symbols Actionlint #226: Pull request #3405 synchronize by Kha
February 20, 2024 09:13 33s count-symbols
count-symbols
February 20, 2024 09:13 33s
chore: CI checks for copyright headers (#3412) Actionlint #225: Commit ea665de pushed by github-merge-queue bot
February 20, 2024 07:39 29s master
master
February 20, 2024 07:39 29s
Actionlint Actionlint #224: Merge group checks requested
February 20, 2024 07:03 30s
February 20, 2024 07:03 30s
chore: CI checks for copyright headers Actionlint #223: Pull request #3412 synchronize by kim-em
February 20, 2024 06:47 28s copyright_headers
copyright_headers
February 20, 2024 06:47 28s
Actionlint Actionlint #222: Merge group checks requested
February 20, 2024 01:50 27s
February 20, 2024 01:50 27s
chore: CI checks for copyright headers Actionlint #221: Pull request #3412 synchronize by kim-em
February 20, 2024 01:28 25s copyright_headers
copyright_headers
February 20, 2024 01:28 25s
chore: CI checks for copyright headers Actionlint #220: Pull request #3412 synchronize by kim-em
February 20, 2024 01:27 27s copyright_headers
copyright_headers
February 20, 2024 01:27 27s
chore: CI checks for copyright headers Actionlint #219: Pull request #3412 opened by kim-em
February 20, 2024 01:26 33s copyright_headers
copyright_headers
February 20, 2024 01:26 33s
Actionlint Actionlint #218: Merge group checks requested
February 19, 2024 23:22 29s
February 19, 2024 23:22 29s
Actionlint Actionlint #217: Merge group checks requested
February 19, 2024 19:59 26s
February 19, 2024 19:59 26s