Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add logs of lake and lean version (#24) ShellCheck #68: Commit ae16192 pushed by austinletson
May 19, 2024 17:24 14s main
main
May 19, 2024 17:24 14s
doc: add example of environment usage in later steps ShellCheck #67: Pull request #32 synchronize by austinletson
May 19, 2024 12:06 15s 14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
May 19, 2024 12:06 15s
doc: add examples of projects which use lean-action ShellCheck #66: Pull request #33 opened by austinletson
May 19, 2024 12:03 14s 13-add-existing-usage-examples-to-readmemd
13-add-existing-usage-examples-to-readmemd
May 19, 2024 12:03 14s
doc: add example of environment usage in later steps ShellCheck #65: Pull request #32 synchronize by austinletson
May 19, 2024 11:59 16s 14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
May 19, 2024 11:59 16s
fix: rename mathlib-cache -> get-mathlib-cache and improve interf… ShellCheck #64: Commit 0d2b90f pushed by austinletson
May 19, 2024 11:47 13s main
main
May 19, 2024 11:47 13s
doc: add example of environment usage in later steps ShellCheck #63: Pull request #32 opened by austinletson
May 19, 2024 11:37 15s 14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
14-document-use-cases-where-additional-lean-ci-steps-are-taken-after-lean-action
May 19, 2024 11:37 15s
feat: add a step that logs the version of lake and lean ShellCheck #62: Pull request #24 synchronize by oliver-butterley
May 19, 2024 09:04 15s oliver-butterley:log-info
oliver-butterley:log-info
May 19, 2024 09:04 15s
feat: add a step that logs the version of lake and lean ShellCheck #61: Pull request #24 synchronize by oliver-butterley
May 19, 2024 08:53 20s oliver-butterley:log-info
oliver-butterley:log-info
May 19, 2024 08:53 20s
fix: rename mathlib-cache -> get-mathlib-cache and improve interface ShellCheck #60: Pull request #29 synchronize by austinletson
May 18, 2024 23:08 14s 25-inconsistency-with-mathlib-cache-input
25-inconsistency-with-mathlib-cache-input
May 18, 2024 23:08 14s
feat: add lake check-test check before running lake test ShellCheck #59: Pull request #31 opened by austinletson
May 18, 2024 23:00 20s 26-use-lake-check-test-to-detect-absence-of-a-test-runner
26-use-lake-check-test-to-detect-absence-of-a-test-runner
May 18, 2024 23:00 20s
feat: add build-args input (#27) ShellCheck #58: Commit aa36d3b pushed by austinletson
May 18, 2024 17:52 19s main
main
May 18, 2024 17:52 19s
fix: rename mathlib-cache -> get-mathlib-cache and improve interface ShellCheck #57: Pull request #29 opened by austinletson
May 17, 2024 18:24 15s 25-inconsistency-with-mathlib-cache-input
25-inconsistency-with-mathlib-cache-input
May 17, 2024 18:24 15s
feat: add build-args input ShellCheck #56: Pull request #27 synchronize by austinletson
May 17, 2024 17:54 16s 15-add-input-to-support-passing-parameters-to-lake-build
15-add-input-to-support-passing-parameters-to-lake-build
May 17, 2024 17:54 16s
feat: add build-args input ShellCheck #55: Pull request #27 synchronize by austinletson
May 17, 2024 17:50 16s 15-add-input-to-support-passing-parameters-to-lake-build
15-add-input-to-support-passing-parameters-to-lake-build
May 17, 2024 17:50 16s
feat: convenience workflow for update major release tag ShellCheck #54: Pull request #28 opened by oliver-butterley
May 17, 2024 16:29 15s oliver-butterley:tag-utility
oliver-butterley:tag-utility
May 17, 2024 16:29 15s
feat: convenience workflow for update major release tag Actionlint #11: Pull request #28 opened by oliver-butterley
May 17, 2024 16:29 16s oliver-butterley:tag-utility
oliver-butterley:tag-utility
May 17, 2024 16:29 16s
feat: add a step that logs the version of lake and lean ShellCheck #53: Pull request #24 reopened by oliver-butterley
May 17, 2024 13:24 15s oliver-butterley:log-info
oliver-butterley:log-info
May 17, 2024 13:24 15s
feat: add a step that logs the version of lake and lean ShellCheck #52: Pull request #24 synchronize by oliver-butterley
May 17, 2024 13:22 20s oliver-butterley:log-info
oliver-butterley:log-info
May 17, 2024 13:22 20s
feat: add a step that logs the version of lake and lean ShellCheck #51: Pull request #24 synchronize by oliver-butterley
May 17, 2024 13:14 26s oliver-butterley:log-info
oliver-butterley:log-info
May 17, 2024 13:14 26s
feat: add build-args input ShellCheck #50: Pull request #27 opened by austinletson
May 17, 2024 12:51 21s 15-add-input-to-support-passing-parameters-to-lake-build
15-add-input-to-support-passing-parameters-to-lake-build
May 17, 2024 12:51 21s
doc: add RELEASING.md and CHANGELOG.md (#23) ShellCheck #49: Commit 9ca5fc0 pushed by austinletson
May 16, 2024 13:20 20s main
main
May 16, 2024 13:20 20s
doc: add RELEASING.md and CHANGELOG.md ShellCheck #48: Pull request #23 synchronize by austinletson
May 16, 2024 13:17 21s add-releases-md
add-releases-md
May 16, 2024 13:17 21s
feat: add a step that logs the version of lake and lean ShellCheck #47: Pull request #24 opened by oliver-butterley
May 16, 2024 12:11 24s oliver-butterley:log-info
oliver-butterley:log-info
May 16, 2024 12:11 24s
doc: add RELEASING.md and CHANGELOG.md ShellCheck #46: Pull request #23 synchronize by austinletson
May 16, 2024 12:00 16s add-releases-md
add-releases-md
May 16, 2024 12:00 16s
doc: add RELEASING.md and CHANGELOG.md ShellCheck #45: Pull request #23 synchronize by austinletson
May 16, 2024 11:45 16s add-releases-md
add-releases-md
May 16, 2024 11:45 16s