Idris2/.github
2024-01-31 17:18:24 +03:00
..
ISSUE_TEMPLATE [ typo ] Fix typo in an issue template 2022-12-05 15:10:16 +00:00
linters Update linter config 2023-09-07 14:57:22 +01:00
scripts [ fix ] missing modules in .ipkg files (#3124) 2023-10-27 20:37:00 +01:00
workflows [ ci ] Bump deprecated versions of used CI actions to avoid warnings 2024-01-31 17:18:24 +03:00
pull_request_template.md Add a new CHANGELOG_NEXT.md file and update documentation around CHANGELOG entries. (#3180) 2024-01-01 21:08:56 -06:00