diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-31 09:55:24 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-31 09:55:24 +0000 |
| commit | 8904b6a46e68b64fc5e973e44228f30b29e528a3 (patch) | |
| tree | 0153e4b0d25f93c8d9a6a35f2d6ea24e5fc89e93 /examples/example2.owl | |
| parent | 78f726607b32925923d7e48686f7c6e9c8d7e831 (diff) | |
| download | RSAComb-8904b6a46e68b64fc5e973e44228f30b29e528a3.tar.gz RSAComb-8904b6a46e68b64fc5e973e44228f30b29e528a3.zip | |
Perform fewer tests to avoid running out of memory in GH Actions
This is a temporary solution until we find a better way.
Diffstat (limited to 'examples/example2.owl')
0 files changed, 0 insertions, 0 deletions