| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-07-18 | Update from GitHub Actions: lean-language-server: update to 3.4.0-1 | GitHub Action |
| 2022-06-24 | Update from GitHub Actions: lean-language-server: update to 3.3.1-1 | GitHub Action |
| 2022-04-21 | Update from GitHub Actions: lean-language-server: update to 3.2.0-1 | GitHub Action |
| 2021-09-11 | Update from GitHub Actions: lean-language-server: init at 3.1.1 | GitHub Action |