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

4 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
1596dc6818
Prepare files to publish the adf-bdd-bin package (#89)
* Prepare files to publish the adf-bdd-bin package
2022-08-02 15:09:48 +02:00
Stefan Ellmauthaler
98753d696b
Add CI for develop branch (#62) 2022-05-04 16:12:50 +02:00
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