Merge bot PR after CI

Fetch irbrc from another repository #195

Sign in to view logs

Triggered via pull request July 30, 2023 16:17

kachick

synchronize #214

outsource-irbrv

Status Skipped

Total duration 1s

Artifacts –

merge-bot-pr.yml

on: pull_request