Skip to content

Actions: oliver-butterley/lean-update

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action-lint.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exception calling ".ctor" with "1" argument(s): (#38) Actionlint #37: Commit a701e16 pushed by oliver-butterley
October 5, 2024 22:32 18s main
main
October 5, 2024 22:32 18s
Exception calling ".ctor" with "1" argument(s): Actionlint #36: Pull request #38 opened by Seasawher
October 5, 2024 22:30 22s Seasawher/issue37
Seasawher/issue37
October 5, 2024 22:30 22s
"Generalise" lake update (#36) Actionlint #35: Commit de5132e pushed by Seasawher
September 25, 2024 20:27 18s main
main
September 25, 2024 20:27 18s
"Generalise" lake update Actionlint #34: Pull request #36 synchronize by pitmonticone
September 24, 2024 18:26 17s pitmonticone:main
pitmonticone:main
September 24, 2024 18:26 17s
fix: bump peter-evans/create-pull-request from 6 to 7 (#35) Actionlint #32: Commit d744c3d pushed by oliver-butterley
September 20, 2024 09:26 16s main
main
September 20, 2024 09:26 16s
fix: bump peter-evans/create-pull-request from 6 to 7 Actionlint #31: Pull request #35 opened by dependabot bot
September 3, 2024 13:45 15s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 3, 2024 13:45 15s
Fix how to get latest release of Lean (#34) Actionlint #30: Commit 7b7d4a5 pushed by oliver-butterley
September 3, 2024 08:24 21s main
main
September 3, 2024 08:24 21s
Fix how to get latest release of Lean Actionlint #29: Pull request #34 opened by Seasawher
September 2, 2024 16:05 27s get-latest
get-latest
September 2, 2024 16:05 27s
feat: add label to PR (#30) Actionlint #28: Commit 581fa5b pushed by oliver-butterley
August 5, 2024 14:33 15s main
main
August 5, 2024 14:33 15s
fix version of lean-action (#31) Actionlint #27: Commit 9d20d97 pushed by oliver-butterley
August 5, 2024 14:32 24s main
main
August 5, 2024 14:32 24s
update how to get latest release Actionlint #26: Pull request #32 synchronize by Seasawher
August 3, 2024 15:22 19s get-latest
get-latest
August 3, 2024 15:22 19s
update how to get latest release Actionlint #25: Pull request #32 opened by Seasawher
August 3, 2024 14:52 16s get-latest
get-latest
August 3, 2024 14:52 16s
fix version of lean-action Actionlint #24: Pull request #31 opened by Seasawher
August 1, 2024 08:55 22s fix-version
fix-version
August 1, 2024 08:55 22s
feat: add label to PR Actionlint #23: Pull request #30 opened by Seasawher
August 1, 2024 08:52 22s add-label
add-label
August 1, 2024 08:52 22s
fix: bump raven-actions/actionlint from 1 to 2 (#28) Actionlint #22: Commit 9cfa993 pushed by oliver-butterley
July 20, 2024 13:19 14s main
main
July 20, 2024 13:19 14s
fix: bump raven-actions/actionlint from 1 to 2 Actionlint #21: Pull request #28 opened by dependabot bot
July 15, 2024 13:35 18s dependabot/github_actions/raven-actions/actionlint-2
dependabot/github_actions/raven-actions/actionlint-2
July 15, 2024 13:35 18s
feat: run lake test (#27) Actionlint #20: Commit 0169e7e pushed by oliver-butterley
July 11, 2024 13:17 14s main
main
July 11, 2024 13:17 14s
feat: run lake test Actionlint #19: Pull request #27 opened by Seasawher
July 11, 2024 12:15 22s run-lake-test
run-lake-test
July 11, 2024 12:15 22s
feat: use github cache feature of leanprover/lean-action (#24) Actionlint #18: Commit fb291bb pushed by oliver-butterley
July 4, 2024 20:40 15s main
main
July 4, 2024 20:40 15s
feat: use github cache feature of leanprover/lean-action Actionlint #17: Pull request #24 opened by Seasawher
July 2, 2024 15:53 17s use-github-cache
use-github-cache
July 2, 2024 15:53 17s
feat: Don't use GitHub cache (#22) Actionlint #16: Commit 7861d45 pushed by oliver-butterley
July 1, 2024 17:20 19s main
main
July 1, 2024 17:20 19s
Don't use GitHub cache Actionlint #15: Pull request #22 opened by Seasawher
June 27, 2024 07:01 18s dont-use-cache
dont-use-cache
June 27, 2024 07:01 18s
fix: fix outdated contents on mathlib (#19) Actionlint #14: Commit 0b2794d pushed by oliver-butterley
June 15, 2024 07:18 21s main
main
June 15, 2024 07:18 21s
fix: fix outdated contents on mathlib Actionlint #13: Pull request #19 opened by Seasawher
June 15, 2024 03:15 18s Seasawher/issue18
Seasawher/issue18
June 15, 2024 03:15 18s
🎨 Actionlint #12: Commit ee9f7d6 pushed by oliver-butterley
May 21, 2024 14:53 45m 31s main
main
May 21, 2024 14:53 45m 31s