merge_release

Update github-actions to 4.12.1 #8

Sign in to view logs

Summary
Jobs
- if_merged
Run details
- Usage
- Workflow file

Triggered via pull request May 23, 2024 15:34

joernott

closed #148

release_4_12_1

Status Success

Total duration 14s

Artifacts –

merge-release.yaml

on: pull_request