Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #308 from crvdgc/fix-link-to-wiki-getting-started Tests #2009: Commit cd33d84 pushed by Julian
September 30, 2023 13:13 4m 34s main
main
September 30, 2023 13:13 4m 34s
fix link to the wiki Getting Started page Tests #2008: Pull request #308 opened by crvdgc
September 30, 2023 13:09 2m 56s fix-link-to-wiki-getting-started
fix-link-to-wiki-getting-started
September 30, 2023 13:09 2m 56s
Abbreviations Abbreviations #86: Scheduled
September 30, 2023 02:45 16s main
main
September 30, 2023 02:45 16s
Abbreviations Abbreviations #85: Scheduled
September 29, 2023 02:45 13s main
main
September 29, 2023 02:45 13s
Abbreviations Abbreviations #84: Scheduled
September 28, 2023 02:45 13s main
main
September 28, 2023 02:45 13s
Abbreviations Abbreviations #83: Scheduled
September 27, 2023 02:45 11s main
main
September 27, 2023 02:45 11s
Abbreviations Abbreviations #82: Scheduled
September 26, 2023 02:45 15s main
main
September 26, 2023 02:45 15s
Abbreviations Abbreviations #81: Scheduled
September 25, 2023 02:45 19s main
main
September 25, 2023 02:45 19s
Clone testing dependencies in the Makefile. Tests #2007: Commit e639c7e pushed by Julian
September 24, 2023 13:54 3m 1s main
main
September 24, 2023 13:54 3m 1s
Fix a minor mistake in the testing nvim config. Tests #2006: Commit af46a11 pushed by Julian
September 24, 2023 13:33 4m 22s main
main
September 24, 2023 13:33 4m 22s
Abbreviations Abbreviations #80: Scheduled
September 24, 2023 02:45 12s main
main
September 24, 2023 02:45 12s
Merge pull request #307 from gihanmarasingha/sorry_goals Tests #2005: Commit 22442d4 pushed by Julian
September 23, 2023 23:58 2m 59s main
main
September 23, 2023 23:58 2m 59s
separate lean 4 sorry fill into single goal and multiple goal alternatives Tests #2004: Pull request #307 opened by gihanmarasingha
September 23, 2023 23:40 2m 55s gihanmarasingha:sorry_goals
gihanmarasingha:sorry_goals
September 23, 2023 23:40 2m 55s
Merge pull request #306 from gihanmarasingha/sorryfill Tests #2003: Commit 2a37f02 pushed by Julian
September 23, 2023 20:56 3m 18s main
main
September 23, 2023 20:56 3m 18s
sorryfill modification for Lean 4 Tests #2002: Pull request #306 synchronize by gihanmarasingha
September 23, 2023 13:49 2m 49s gihanmarasingha:sorryfill
gihanmarasingha:sorryfill
September 23, 2023 13:49 2m 49s
Abbreviations Abbreviations #79: Scheduled
September 23, 2023 02:45 17s main
main
September 23, 2023 02:45 17s
Abbreviations Abbreviations #78: Scheduled
September 22, 2023 02:45 13s main
main
September 22, 2023 02:45 13s
Abbreviations Abbreviations #77: Scheduled
September 21, 2023 02:45 14s main
main
September 21, 2023 02:45 14s
sorryfill modification for Lean 4 Tests #2001: Pull request #306 synchronize by gihanmarasingha
September 20, 2023 17:00 2m 50s gihanmarasingha:sorryfill
gihanmarasingha:sorryfill
September 20, 2023 17:00 2m 50s
sorryfill modification for Lean 4 Tests #2000: Pull request #306 synchronize by gihanmarasingha
September 20, 2023 16:25 2m 56s gihanmarasingha:sorryfill
gihanmarasingha:sorryfill
September 20, 2023 16:25 2m 56s
sorryfill modification for Lean 4 Tests #1999: Pull request #306 synchronize by gihanmarasingha
September 20, 2023 16:16 2m 56s gihanmarasingha:sorryfill
gihanmarasingha:sorryfill
September 20, 2023 16:16 2m 56s
sorryfill modification for Lean 4 Tests #1998: Pull request #306 opened by gihanmarasingha
September 20, 2023 16:09 2m 51s gihanmarasingha:sorryfill
gihanmarasingha:sorryfill
September 20, 2023 16:09 2m 51s
Abbreviations Abbreviations #76: Scheduled
September 20, 2023 02:45 18s main
main
September 20, 2023 02:45 18s
Abbreviations Abbreviations #75: Scheduled
September 19, 2023 02:45 19s main
main
September 19, 2023 02:45 19s
Abbreviations Abbreviations #74: Scheduled
September 18, 2023 02:45 13s main
main
September 18, 2023 02:45 13s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.