Skip to content

Tabakov-Vardi generator #555

Tabakov-Vardi generator

Tabakov-Vardi generator #555

Annotations

1 warning

code-coverage

succeeded Nov 20, 2024 in 1m 57s
Set up job
1s
Run actions/checkout@v3
1s
Run /./.github/workflows/actions/setup
6s
Build library for coverage
1m 39s
Test the library
5s
Upload coverage to codecov
4s
Post Run actions/checkout@v3
0s
Complete job
0s