| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-07-18 | Update from GitHub Actions: lean-language-server: update to 3.4.0-1 | GitHub Action | |
| https://github.com/ouuan/AUR-packages/actions/runs/2688210607 | |||
| 2022-06-24 | Update from GitHub Actions: lean-language-server: update to 3.3.1-1 | GitHub Action | |
| https://github.com/ouuan/AUR-packages/actions/runs/2553050416 | |||
| 2022-04-21 | Update from GitHub Actions: lean-language-server: update to 3.2.0-1 | GitHub Action | |
| https://github.com/ouuan/AUR-packages/actions/runs/2199113438 | |||
| 2021-09-11 | Update from GitHub Actions: lean-language-server: init at 3.1.1 | GitHub Action | |
| https://github.com/ouuan/AUR-packages/actions/runs/1224147059 | |||