Closed GeorgeFI closed 1 year ago
@GeorgeFI tests should work with this workflow file: https://github.com/crocs-muni/sec-certs/blob/be7f6d723368fcf2c7e5b4caf1e91de2a111531d/.github/workflows/tests.yml
This is replaced by #300
@GeorgeFI tests should work with this workflow file: https://github.com/crocs-muni/sec-certs/blob/be7f6d723368fcf2c7e5b4caf1e91de2a111531d/.github/workflows/tests.yml