Maybe Enable Auto-Merge

Remove unused Term::Choose prereq #174

Sign in to view logs

Triggered via pull request November 1, 2024 17:27

haarg

opened #1310

Status Skipped

Total duration 2s

Artifacts –

automerge.yml

on: pull_request_target

enable-auto-merge