mu/.github
Dirk-Jan C. Binnema 3660ad9ed7 github: update ubuntu ci build
Turn off sanitize-address (which seems to hang atm)
Add libcld2-dev
2024-03-15 21:57:25 +02:00
..
ISSUE_TEMPLATE update IDEAS.org 2024-03-02 19:31:04 +02:00
workflows github: update ubuntu ci build 2024-03-15 21:57:25 +02:00
issue_template.md github: update bug template 2021-08-21 15:47:26 +03:00