Commit Graph

2 Commits

Author SHA1 Message Date
Ettore Di Giacinto
5f231da649 Bump ginkgo (#310) 2022-10-18 10:21:33 +02:00
Ettore Di Giacinto
9bd6730aeb 🤖 Adapt makefile/scripts to ginkgo changes 2022-01-04 18:47:21 +01:00