patrick/little_learner
1
0
Fork 0
Code Issues Pull Requests Packages Releases Activity

Trigger CI #4

Closed
patrick wants to merge 1 commits from no=op into main
pull from: no=op
merge into: patrick:main
Conversation 0 Commits 1 Files Changed 1 +2 -2
patrick commented 2023-07-23 16:10:01 +00:00
Owner
Copy Link
No description provided.
patrick added 1 commit 2023-07-23 16:10:48 +00:00
Debug
Some checks failed
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/pr/build Pipeline failed
Details
ci/woodpecker/push/all-checks-complete unknown status
Details
ci/woodpecker/pr/all-checks-complete unknown status
Details
28333eb8eb
patrick closed this pull request 2023-07-23 16:12:24 +00:00
patrick deleted branch no=op 2023-07-23 16:12:29 +00:00
Some checks failed
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/pr/build Pipeline failed
Details
ci/woodpecker/push/all-checks-complete unknown status
Details
ci/woodpecker/pr/all-checks-complete unknown status
Required
Details

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
patrick
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: patrick/little_learner#4
No description provided.
Delete Branch "no=op"

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?