2 Commits

Author SHA1 Message Date
Mark Paluch
780b864394 Polishing.
Add missing executable flag.
2023-03-07 15:51:44 +01:00
Mark Paluch
ee4a0ed46c Add Jenkins config
See gh-719.
2023-03-07 15:30:18 +01:00