Feb 25, 2024
—
Mar 26, 2024
|
||||||
Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
---|---|---|---|---|---|---|
Merge pull request #1012 from tleedjarv/fix-1011 | More... | 3 days ago | ||||
CI: Include the man page within CI artifacts | More... | 3 days ago | ||||
doc: Adjust INSTALL.md overall instructions | More... | 3 days ago | ||||
doc: Adjust INSTALL.md to current reality | More... | 3 days ago | ||||
Merge pull request #1008 from tleedjarv/gha-upd | More... | 5 days ago | ||||
GHA: Improve debug artifact naming | More... | 5 days ago | ||||
Merge pull request #1007 from luzpaz/typos | More... | 5 days ago | ||||
Merge pull request #1001 from tleedjarv/fix-broken-pipe | More... | 5 days ago | ||||
Merge pull request #1000 from tleedjarv/fix-attr-warning | More... | 5 days ago | ||||
Fix various typos | More... | 9 days ago | ||||
Merge pull request #1002 from jhjourdan/ocamlfind_dep | More... | 30 days ago |