lean4-htt/.github
Markus Himmel 76d32cbd2a
chore: exclude leanruntest_task_test_io for now (#5973)
To be reenabled after investigation.
2024-11-06 09:40:20 +00:00
..
ISSUE_TEMPLATE chore: mention #version in bug report template (#5769) 2024-10-30 02:46:48 +00:00
workflows chore: exclude leanruntest_task_test_io for now (#5973) 2024-11-06 09:40:20 +00:00
dependabot.yml chore: CI: adjust Dependabot prefix 2024-11-05 10:31:37 +01:00
PULL_REQUEST_TEMPLATE.md feat: allow addition of release-ci label via comment (#5343) 2024-09-14 08:13:48 +00:00