Merge pull request #434 from xuwei-k/remove-unused #158

Sign in to view logs

Triggered via push September 21, 2024 13:51

github-merge-queue[bot]

main

Status Success

Total duration 8s

Artifacts –

clean.yml

on: push

Delete Artifacts