Martin Storsjö 37ec895756 github: Distinguish between push and scheduled pipelines when fetching artifacts

2023-05-31 11:11:38 +03:00

..

workflows

github: Distinguish between push and scheduled pipelines when fetching artifacts

2023-05-31 11:11:38 +03:00