1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

2 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
a17749be52
Removed non-linux tests 2022-02-28 12:55:55 +01:00
Stefan Ellmauthaler
fbafe8382f
Create pr.yml 2022-02-28 10:03:29 +01:00