merge_release

Update github-actions to 4.20.1 #46

Sign in to view logs

Summary
Jobs
- if_merged
Run details
- Usage
- Workflow file

Triggered via pull request September 23, 2024 09:17

joernott

closed #186

release_4_20_1

Status Skipped

Total duration 2s

Artifacts –

merge-release.yaml

on: pull_request