Skip to content

Actions: leanprover-community/lean4-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #86 from leanprover-community/milestone-01-repair-… melpazoid #109: Commit fba3d5f pushed by mekeor
November 22, 2024 19:49 2m 0s master
master
November 22, 2024 19:49 2m 0s
1. Milestone: Repair Status Quo melpazoid #108: Pull request #86 synchronize by mekeor
November 22, 2024 19:48 2m 0s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 22, 2024 19:48 2m 0s
README: Small English comma-grammar correction melpazoid #107: Commit 4975c43 pushed by mekeor
November 22, 2024 19:48 2m 2s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 22, 2024 19:48 2m 2s
Release version 1.0.1 melpazoid #106: Commit 294f74a pushed by mekeor
November 21, 2024 23:55 1m 50s 1.0.1
1.0.1
November 21, 2024 23:55 1m 50s
melpazoid melpazoid #105: by mekeor
November 21, 2024 23:55 22s 1.0.0
1.0.0
November 21, 2024 23:55 22s
1. Milestone: Repair Status Quo melpazoid #104: Pull request #86 synchronize by mekeor
November 21, 2024 22:32 1m 49s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 22:32 1m 49s
Release version 1.0.1 melpazoid #103: Commit 294f74a pushed by mekeor
November 21, 2024 22:32 1m 51s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 22:32 1m 51s
1. Milestone: Repair Status Quo melpazoid #102: Pull request #86 synchronize by mekeor
November 21, 2024 22:24 1m 54s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 22:24 1m 54s
README: Make clear that Dash is distributed on GNU-Elpa melpazoid #101: Commit 4c5d8af pushed by mekeor
November 21, 2024 22:24 1m 48s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 22:24 1m 48s
1. Milestone: Repair Status Quo melpazoid #100: Pull request #86 synchronize by mekeor
November 21, 2024 21:40 1m 58s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 21:40 1m 58s
Makefile to translate README.org into .texi and .info manuals melpazoid #99: Commit f5e6f4c pushed by mekeor
November 21, 2024 21:40 1m 57s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 21, 2024 21:40 1m 57s
1. Milestone: Repair Status Quo melpazoid #98: Pull request #86 synchronize by mekeor
November 17, 2024 23:52 1m 50s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 23:52 1m 50s
README: Add preamble. Rework Installation section. melpazoid #97: Commit b6d3423 pushed by mekeor
November 17, 2024 23:52 1m 52s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 23:52 1m 52s
1. Milestone: Repair Status Quo melpazoid #96: Pull request #86 synchronize by mekeor
November 17, 2024 00:48 2m 6s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:48 2m 6s
README: In preamble, mention Lean3-Mode. melpazoid #95: Commit 76cc9bf pushed by mekeor
November 17, 2024 00:48 2m 7s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:48 2m 7s
1. Milestone: Repair Status Quo melpazoid #94: Pull request #86 synchronize by mekeor
November 17, 2024 00:39 2m 11s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:39 2m 11s
README: Add preamble. Rework Installation section. melpazoid #93: Commit 7f3a637 pushed by mekeor
November 17, 2024 00:39 1m 50s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:39 1m 50s
1. Milestone: Repair Status Quo melpazoid #92: Pull request #86 synchronize by mekeor
November 17, 2024 00:35 1m 55s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:35 1m 55s
README: Add preamble. Rework Installation section. melpazoid #91: Commit d81a6ca pushed by mekeor
November 17, 2024 00:35 2m 59s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 17, 2024 00:35 2m 59s
1. Milestone: Repair Status Quo melpazoid #90: Pull request #86 synchronize by mekeor
November 16, 2024 23:22 1m 49s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 23:22 1m 49s
README: Re-fill text paragraphs melpazoid #89: Commit 625380d pushed by mekeor
November 16, 2024 23:22 1m 51s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 23:22 1m 51s
1. Milestone: Repair Status Quo melpazoid #88: Pull request #86 synchronize by mekeor
November 16, 2024 23:21 2m 32s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 23:21 2m 32s
Re-fill text paragraphs melpazoid #87: Commit 00043b5 pushed by mekeor
November 16, 2024 23:21 1m 49s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 23:21 1m 49s
1. Milestone: Repair Status Quo melpazoid #86: Pull request #86 synchronize by mekeor
November 16, 2024 22:37 1m 54s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 22:37 1m 54s
Specify Yury as current maintainer melpazoid #85: Commit d84c3c1 pushed by mekeor
November 16, 2024 22:37 2m 48s milestone-01-repair-status-quo
milestone-01-repair-status-quo
November 16, 2024 22:37 2m 48s