19196532843
88%

Ran 08 Nov 2025 05:54PM UTC

Jobs 5

Files 9

Run time 1min

Badge

Committed 08 Nov 2025 05:53PM UTC coverage: 88.299%. Remained the same

Build Type

push

github

Committed by

Commit Message

Move CI to a separate directory (#59)

We tidy up the root directory and move everything related to continous
integration to a separate directory.

Run Details

732 of 829 relevant lines covered (88.3%)

4.41 hits per line

ID	Job ID	Ran	Files	Coverage
1	3.10 - 19196532843.1	08 Nov 2025 05:55PM UTC	9	88.3	GitHub Action Run
2	3.9 - 19196532843.2	08 Nov 2025 05:55PM UTC	9	88.29	GitHub Action Run
3	3.12 - 19196532843.3	08 Nov 2025 05:55PM UTC	9	88.3	GitHub Action Run
4	3.11 - 19196532843.4	08 Nov 2025 05:55PM UTC	9	88.3	GitHub Action Run
5	3.13 - 19196532843.5	08 Nov 2025 05:55PM UTC	9	88.3	GitHub Action Run