Merge PR

Use bigger runner #13

Sign in to view logs

Summary
Jobs
- Merge PR
Run details
- Usage
- Workflow file

Triggered via pull request October 29, 2024 12:47

closed #139

ausias-armesto-patch-1

Status Success

Total duration 1m 57s

Artifacts –

merge.yaml

on: pull_request