Skip to content
This repository has been archived by the owner on May 28, 2024. It is now read-only.

ci: remove pr_file because it's useless now #67

Merged
merged 1 commit into from
Feb 6, 2024

ci: remove pr_file because it's useless now

850d35d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

ci: remove pr_file because it's useless now #67

ci: remove pr_file because it's useless now
850d35d
Select commit
Loading
Failed to load commit list.

Annotations

1 warning

The logs for this run have expired and are no longer available.