Daniel Tipping 78daafc3f5 Prevent failure of CI notification for PRs from forks ... Fixes failure seen in #140		2023-07-17 18:24:07 +00:00
..
workflows	Prevent failure of CI notification for PRs from forks	2023-07-17 18:24:07 +00:00
.cmake-options	EXTRA_TOOLS: retry enabling	2023-04-16 14:11:05 +01:00
ci-config.yml	Remove self coverage input	2023-05-12 10:14:13 +02:00
ci-hpc-config.yml	Fix build config format	2023-05-12 10:14:13 +02:00
ci-nightly-test.sh	Run full suite in parallel	2023-04-05 17:01:08 +02:00