Rename checks CI to rust #2
tipragot
commented 2023-12-02 12:05:47 +00:00
Owner
No description provided.
tipragot
added the 2023-12-02 12:05:47 +00:00
Kind/Enhancement
label
tipragot
self-assigned this 2023-12-02 12:05:47 +00:00
tipragot
added 1 commit 2023-12-02 12:05:48 +00:00
Rename checks CI to rust
36f2dff0f0
All checks were successful
Rust Checks / checks (push) Successful in 6s
Details
Rust Checks / checks (pull_request) Successful in 6s
Details
tipragot
merged commit ee462d588f into main 2023-12-02 12:06:37 +00:00
tipragot
deleted branch ci-name 2023-12-02 12:06:37 +00:00
tipragot
referenced this pull request from a commit 2023-12-02 12:06:38 +00:00
Merge pull request 'Rename checks CI to rust' (#2) from ci-name into main
No reviewers
Labels
No labels
Kind/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Fix
Kind/Security
Kind/Testing
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: tipragot/rust#2
Loading…
Reference in a new issue
No description provided.
Delete branch "ci-name"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?