4 Commits

Author	SHA1	Message	Date
Ben	ed5907feab	Rename Jenkinsfile to be standard with other	2023-01-30 15:33:01 +01:00
Bencyril	c1efe760ac	Name typo	2023-01-28 10:48:58 +01:00
Ben	b116c19c9e	Fix .git folder timestamps using 'git restore-mtime'	2023-01-28 10:08:56 +01:00
Ben	8fc32c49ad	feat: New CI with Jenkinsfile	2023-01-27 18:11:54 +01:00