Clean

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

Sign in to view logs

Triggered via push September 21, 2024 13:44

github-merge-queue[bot]

gh-readonly-queue/main/pr-434-7a64b7c7d93ae6e2112f30bec8b5288a471c1978

Status Success

Total duration 12s

Artifacts –

clean.yml

on: push

Delete Artifacts