Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-05-31 | leanify: Add simple check | Mynacol | 1 | -0/+8 |
2024-03-18 | leanify: 2023-10-19 -> 2023-12-17 | Mynacol | 1 | -5/+6 |
2024-02-17 | Merge pull request #264607 from Mynacol/leanify-2023-10 | kirillrdy | 1 | -3/+3 |
2023-11-27 | treewide: add mainProgram | h7x4 | 1 | -0/+1 |
2023-10-31 | leanify: unstable-2022-12-04 -> unstable-2023-10-19 | Mynacol | 1 | -3/+3 |
2023-03-29 | leanify: support darwin | Weijia Wang | 1 | -1/+9 |
2023-03-27 | leanify: mark darwin as broken | Paul Prechtel | 1 | -0/+1 |
2023-03-26 | leanify: init at unstable-2022-12-04 | Mynacol | 1 | -0/+39 |