16543188233
100%

Ran 26 Jul 2025 07:34PM UTC

Jobs 10

Files 36

Run time 1min

Badge

Committed 26 Jul 2025 07:33PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #83

Add pipeline export CLI and formal verification support

Run Details

299 of 299 branches covered (100.0%)

Branch coverage included in aggregate %.

2148 of 2148 relevant lines covered (100.0%)

10.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	OS-macos-latest-py3.12 - 16543188233.1	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
2	OS-macos-latest-py3.10 - 16543188233.2	26 Jul 2025 07:35PM UTC	36	100.0	GitHub Action Run
3	OS-ubuntu-latest-py3.11 - 16543188233.3	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
4	OS-windows-latest-py3.10 - 16543188233.4	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
5	extras - 16543188233.5	26 Jul 2025 07:35PM UTC	36	100.0	GitHub Action Run
6	OS-ubuntu-latest-py3.10 - 16543188233.6	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
7	OS-ubuntu-latest-py3.12 - 16543188233.7	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
8	OS-windows-latest-py3.12 - 16543188233.8	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
9	OS-windows-latest-py3.11 - 16543188233.9	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run
10	OS-macos-latest-py3.11 - 16543188233.10	26 Jul 2025 07:34PM UTC	36	100.0	GitHub Action Run