Commit f7fb17a0 by Jonathan Thomas

Fix file names in ci script #2

parent d6cef80e
Pipeline #12222 passed with stages
in 2 minutes 5 seconds