Test

Update docker workflow #1527

Job	Run time
clasp/macos-13/bytecode-faso/no	58m 38s
clasp/macos-13/bytecode/yes	33m 14s
clasp/macos-14/bytecode/no	26m 20s
clasp/ubuntu-latest/faso/no	32m 51s
clasp/ubuntu-latest/bytecode-faso/no	39m 11s
clasp/ubuntu-latest/bytecode/no	30m 46s
clasp/ubuntu-latest/bytecode/yes	24m 24s
cando/macos-13/bytecode-faso/no	1h 40m 44s
cando/ubuntu-latest/bytecode-faso/no	56m 51s
	6h 42m 59s

Provide feedback