Skip to content

Actions: leanprover-community/lean4-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reword commentaries melpazoid #241: Commit f79c6a2 pushed by mekeor
June 6, 2025 23:41 2m 39s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 6, 2025 23:41 2m 39s
Improve comment wordings and code spacing melpazoid #240: Commit 078ce1a pushed by mekeor
June 6, 2025 23:20 2m 9s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 6, 2025 23:20 2m 9s
Improve comment wordings and code spacing melpazoid #239: Commit ba9f932 pushed by mekeor
June 5, 2025 22:22 3m 12s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 5, 2025 22:22 3m 12s
Improve comment wordings and code spacing melpazoid #238: Commit 756b181 pushed by mekeor
June 5, 2025 22:03 2m 37s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 5, 2025 22:03 2m 37s
Use same copyright statement style everywhere melpazoid #237: Commit 5bd3f58 pushed by mekeor
June 5, 2025 21:10 2m 10s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 5, 2025 21:10 2m 10s
Use same order of (require '...) forms everywhere melpazoid #236: Commit 452f2c2 pushed by mekeor
June 4, 2025 22:54 3m 0s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 4, 2025 22:54 3m 0s
WIP: Use correct customization-groups everywhere melpazoid #235: Commit 6288034 pushed by mekeor
June 3, 2025 22:44 2m 31s milestone-03-breaking-refactor
milestone-03-breaking-refactor
June 3, 2025 22:44 2m 31s
chore(lean4-dev): delete a file (#107) melpazoid #234: Commit 1388f9d pushed by urkud
June 1, 2025 04:38 2m 17s master
master
June 1, 2025 04:38 2m 17s
chore(lean4-dev): delete a file melpazoid #233: Pull request #107 opened by urkud
June 1, 2025 04:18 2m 9s YK-rm-dev
YK-rm-dev
June 1, 2025 04:18 2m 9s
chore(lean4-dev): delete a file melpazoid #232: Commit 66fa789 pushed by urkud
June 1, 2025 04:16 2m 29s YK-rm-dev
YK-rm-dev
June 1, 2025 04:16 2m 29s
chore(lean4-debug): delete a file melpazoid #231: Commit 4a011d9 pushed by urkud
June 1, 2025 03:54 2m 41s master
master
June 1, 2025 03:54 2m 41s
fix: refactor lake find dir (#100) melpazoid #230: Commit 1d8d35a pushed by urkud
June 1, 2025 03:24 3m 39s master
master
June 1, 2025 03:24 3m 39s
chore: update abbreviations.json (#106) melpazoid #229: Commit 6b3df24 pushed by urkud
June 1, 2025 03:23 2m 45s master
master
June 1, 2025 03:23 2m 45s
Update abbreviations.json Update abbreviations.json #6: Manually run by urkud
June 1, 2025 03:20 20s master
master
June 1, 2025 03:20 20s
Refactor lake find dir melpazoid #228: Pull request #100 synchronize by urkud
June 1, 2025 03:19 3m 42s zaz:refactor-lake-find-dir
zaz:refactor-lake-find-dir
June 1, 2025 03:19 3m 42s
Milestone 3: Breaking Refactor melpazoid #226: Pull request #96 synchronize by mekeor
May 25, 2025 23:21 2m 6s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 23:21 2m 6s
[info] EXPERIMENT: Remove local settings in lean4-info-mockup-mode melpazoid #225: Commit d5cfe10 pushed by mekeor
May 25, 2025 23:21 3m 30s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 23:21 3m 30s
Milestone 3: Breaking Refactor melpazoid #224: Pull request #96 synchronize by mekeor
May 25, 2025 23:01 2m 19s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 23:01 2m 19s
[info] EXPERIMENT: Remove local settings in lean4-info-mockup-mode melpazoid #223: Commit ed6adac pushed by mekeor
May 25, 2025 23:01 3m 23s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 23:01 3m 23s
Milestone 3: Breaking Refactor melpazoid #222: Pull request #96 synchronize by mekeor
May 25, 2025 22:58 2m 59s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:58 2m 59s
[info] EXPERIMENT: Remove local settings in lean4-info-mockup-mode melpazoid #221: Commit 3d8c554 pushed by mekeor
May 25, 2025 22:58 2m 9s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:58 2m 9s
Milestone 3: Breaking Refactor melpazoid #220: Pull request #96 synchronize by mekeor
May 25, 2025 22:42 2m 3s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:42 2m 3s
[mode] Move lean4-input-set to lean4-mode-hook as default member melpazoid #219: Commit ea41e81 pushed by mekeor
May 25, 2025 22:41 3m 7s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:41 3m 7s
Milestone 3: Breaking Refactor melpazoid #218: Pull request #96 synchronize by mekeor
May 25, 2025 22:28 2m 9s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:28 2m 9s
[mode] Move lsp-mode specifics to new minor lean4-lsp-mode in [lsp] melpazoid #217: Commit 9f46e40 pushed by mekeor
May 25, 2025 22:28 2m 24s milestone-03-breaking-refactor
milestone-03-breaking-refactor
May 25, 2025 22:28 2m 24s