[ci] use different file name for tagged commit #576

Triggered via push June 11, 2024 14:47

oldk1331

master

Status Success

Total duration 4m 59s

Artifacts 1

linux.yml

on: push

Produced during runtime

Name	Size
FriCAS-linux-x86_64-binary	29.8 MB