Gerwin Klein 028c3e6241 github: add num_domains key to artifact upload ... If we don't provide the additional name fragment, previous artifacts would be overwritten, which leads to a failure with error message on GitHub. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2023-12-13 11:30:24 +01:00
..
workflows	github: add num_domains key to artifact upload	2023-12-13 11:30:24 +01:00