cg2121 67f7a84076 CI: Change build file names
This makes the build names with each OS consistent with each other.
2022-08-01 13:15:51 -04:00
..
2022-08-01 13:15:51 -04:00