Codeberg-CI/examples
Codeberg-CI/examples
Fork 28
Code Issues 10 Pull requests 2 Activity

feat: Idris#51

Merged
pat-s merged 1 commit from :main into main 2024-04-22 20:44:16 +02:00
Conversation 0 Commits 1 Files changed 3 +14 -5
foxy commented 2024-04-22 16:04:41 +02:00
Member
Copy link

I had to sort the entries in the README table to be able to insert my own in alphabetical order.

I had to sort the entries in the README table to be able to insert my own in alphabetical order.
feat: Idris
All checks were successful
ci/woodpecker/pr/woodpecker Pipeline was successful
Details
ci/woodpecker/pull_request_closed/woodpecker Pipeline was successful
Details
79f41d0994
pat-s merged commit b9c67426af into main 2024-04-22 20:44:16 +02:00
pat-s referenced this pull request from a commit 2024-04-22 20:44:17 +02:00
feat: Idris (#51)
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
enhancement

   
good first issue

   
government

   
request for example
No labels
enhancement
good first issue
government
request for example
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Codeberg-CI/examples#51
No description provided.
Delete branch ":main"

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?