Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,199 workflow runs
1,199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split the switch tests for Lean 3, and add more Lean 4 switches for s… Tests #2049: Commit d24fffc pushed by Julian
October 20, 2023 20:45 3m 1s main
main
October 20, 2023 20:45 3m 1s
Ha, and pipefail doesn't exist on the neutered sh. Tests #2048: Commit 50b5d6c pushed by Julian
October 20, 2023 15:20 3m 11s main
main
October 20, 2023 15:20 3m 11s
Why should even GHA having zsh installed be easy... Tests #2047: Commit 3db2e57 pushed by Julian
October 20, 2023 15:19 1m 48s main
main
October 20, 2023 15:19 1m 48s
Nothing is easy. Try a new way to not run leanpkg if it isn't found. Tests #2046: Commit 99a0d93 pushed by Julian
October 20, 2023 15:17 1m 48s main
main
October 20, 2023 15:17 1m 48s
Minor simplification. Tests #2045: Commit 9df3a8c pushed by Julian
October 20, 2023 15:07 1m 12s main
main
October 20, 2023 15:07 1m 12s
Alas, even Just can't save us from Shell. Tests #2044: Commit 3772c47 pushed by Julian
October 20, 2023 15:04 1m 28s main
main
October 20, 2023 15:04 1m 28s
make -> just Tests #2043: Commit d4913ee pushed by Julian
October 20, 2023 15:00 1m 16s main
main
October 20, 2023 15:00 1m 16s
Abbreviations Abbreviations #106: Scheduled
October 20, 2023 02:45 15s main
main
October 20, 2023 02:45 15s
Abbreviations Abbreviations #105: Scheduled
October 19, 2023 02:45 17s main
main
October 19, 2023 02:45 17s
Abbreviations Abbreviations #104: Scheduled
October 18, 2023 02:45 12s main
main
October 18, 2023 02:45 12s
Same for the diagnostics spec tests. Tests #2042: Commit 5549f93 pushed by Julian
October 18, 2023 02:35 2m 48s main
main
October 18, 2023 02:35 2m 48s
One more. Tests #2041: Commit 57109ec pushed by Julian
October 18, 2023 02:30 2m 59s main
main
October 18, 2023 02:30 2m 59s
Split and move some initial Lean 3 tests. Tests #2040: Commit 156e781 pushed by Julian
October 18, 2023 02:22 2m 48s main
main
October 18, 2023 02:22 2m 48s
Split and move some initial Lean 3 tests. Tests #2039: Commit 156e781 pushed by Julian
October 18, 2023 02:17 3m 22s lean3-split
lean3-split
October 18, 2023 02:17 3m 22s
Add a thing we'll use to skip Lean 3 tests when not present. Tests #2038: Commit 228f470 pushed by Julian
October 18, 2023 01:59 5m 1s main
main
October 18, 2023 01:59 5m 1s
Add a thing we'll use to skip Lean 3 tests when not present. Tests #2037: Commit 047d940 pushed by Julian
October 18, 2023 01:51 2m 44s lean3-split
lean3-split
October 18, 2023 01:51 2m 44s
Add a thing we'll use to skip Lean 3 tests when not present. Tests #2036: Commit 228f470 pushed by Julian
October 18, 2023 01:37 3m 31s lean3-split
lean3-split
October 18, 2023 01:37 3m 31s
Remove the docs for ft.default. Tests #2035: Commit bc530c1 pushed by Julian
October 17, 2023 15:53 3m 31s main
main
October 17, 2023 15:53 3m 31s
Split off the Lean 3 health check. Tests #2034: Commit 2eb59c1 pushed by Julian
October 17, 2023 15:50 3m 20s main
main
October 17, 2023 15:50 3m 20s
Abbreviations Abbreviations #103: Scheduled
October 17, 2023 02:45 13s main
main
October 17, 2023 02:45 13s
Split off the Lean 3 health check. Tests #2033: Commit 2eb59c1 pushed by Julian
October 16, 2023 21:22 4m 3s lean3-split
lean3-split
October 16, 2023 21:22 4m 3s
Split off the Lean 3 health check. Tests #2032: Commit 879733d pushed by Julian
October 16, 2023 21:07 3m 53s lean3-split
lean3-split
October 16, 2023 21:07 3m 53s
Split off the Lean 3 health check. Tests #2031: Commit 90b0522 pushed by Julian
October 16, 2023 21:03 3m 16s lean3-split
lean3-split
October 16, 2023 21:03 3m 16s
Try splitting off the Lean 3 health check. Tests #2030: Commit a1697a9 pushed by Julian
October 16, 2023 20:57 2m 51s lean3-split
lean3-split
October 16, 2023 20:57 2m 51s
Abbreviations Abbreviations #102: Scheduled
October 16, 2023 02:45 15s main
main
October 16, 2023 02:45 15s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.