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: auto-completion bugs and performance Actionlint #291: Pull request #3460 synchronize by mhuisi
February 22, 2024 20:27 23s mhuisi:mhuisi/slow-autocompletion
mhuisi:mhuisi/slow-autocompletion
February 22, 2024 20:27 23s
fix: split libInit_shared out of libleanshared (#3421) Actionlint #290: Commit 8193af3 pushed by github-merge-queue bot
February 22, 2024 19:55 30s master
master
February 22, 2024 19:55 30s
Actionlint Actionlint #289: Merge group checks requested
February 22, 2024 19:25 28s
February 22, 2024 19:25 28s
Actionlint Actionlint #288: Merge group checks requested
February 22, 2024 19:16 31s
February 22, 2024 19:16 31s
Actionlint Actionlint #287: Merge group checks requested
February 22, 2024 19:10 32s
February 22, 2024 19:10 32s
chore: CI: flag Lean modules not using prelude Actionlint #286: Pull request #3463 synchronize by hargoniX
February 22, 2024 18:25 24s lint-prelude
lint-prelude
February 22, 2024 18:25 24s
Actionlint Actionlint #285: Merge group checks requested
February 22, 2024 18:13 31s
February 22, 2024 18:13 31s
chore: CI: flag Lean modules not using prelude Actionlint #284: Pull request #3463 synchronize by hargoniX
February 22, 2024 18:11 1m 18s lint-prelude
lint-prelude
February 22, 2024 18:11 1m 18s
chore: CI: flag Lean modules not using prelude Actionlint #283: Pull request #3463 synchronize by Kha
February 22, 2024 17:44 25s lint-prelude
lint-prelude
February 22, 2024 17:44 25s
chore: CI: flag Lean modules not using prelude Actionlint #282: Pull request #3463 opened by Kha
February 22, 2024 17:20 32s lint-prelude
lint-prelude
February 22, 2024 17:20 32s
Actionlint Actionlint #281: Merge group checks requested
February 22, 2024 16:39 29s
February 22, 2024 16:39 29s
Actionlint Actionlint #280: Merge group checks requested
February 22, 2024 16:16 25s
February 22, 2024 16:16 25s
fix: split libInit_shared out of libleanshared Actionlint #279: Pull request #3421 synchronize by Kha
February 22, 2024 08:35 27s Kha:split-dll
Kha:split-dll
February 22, 2024 08:35 27s
Actionlint Actionlint #278: Merge group checks requested
February 22, 2024 05:15 28s
February 22, 2024 05:15 28s
Actionlint Actionlint #277: Merge group checks requested
February 22, 2024 03:08 30s
February 22, 2024 03:08 30s
Actionlint Actionlint #276: Merge group checks requested
February 22, 2024 02:28 40s
February 22, 2024 02:28 40s
Actionlint Actionlint #275: Merge group checks requested
February 22, 2024 02:27 28s
February 22, 2024 02:27 28s
Actionlint Actionlint #274: Merge group checks requested
February 22, 2024 01:57 32s
February 22, 2024 01:57 32s
Actionlint Actionlint #273: Merge group checks requested
February 22, 2024 00:07 31s
February 22, 2024 00:07 31s
Actionlint Actionlint #272: Merge group checks requested
February 21, 2024 22:31 26s
February 21, 2024 22:31 26s
fix: split libInit_shared out of libleanshared Actionlint #271: Pull request #3421 synchronize by Kha
February 21, 2024 21:22 27s Kha:split-dll
Kha:split-dll
February 21, 2024 21:22 27s
Actionlint Actionlint #270: Merge group checks requested
February 21, 2024 20:01 29s
February 21, 2024 20:01 29s
Actionlint Actionlint #269: Merge group checks requested
February 21, 2024 19:42 34s
February 21, 2024 19:42 34s
Actionlint Actionlint #268: Merge group checks requested
February 21, 2024 19:08 37s
February 21, 2024 19:08 37s
Actionlint Actionlint #267: Merge group checks requested
February 21, 2024 19:06 30s
February 21, 2024 19:06 30s