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

Triggered via push June 11, 2024 14:47

oldk1331

master

Status Success

Total duration 8m 9s

Artifacts 1

windows.yml

on: push

Produced during runtime

Name	Size
FriCAS-windows-x86_64-binary	31.3 MB