n/shaarli-plugin-shaargem
n
/
shaarli-plugin-shaargem
1
0
Fork 0
Code Issues Pull Requests Actions Activity

ci #6

Merged
n merged 2 commits from ci into main 2024-02-11 22:11:45 +01:00
Conversation 0 Commits 2 Files Changed 2 +105 -91
n commented 2024-02-11 22:11:27 +01:00
Owner
Copy Link
No description provided.
n added 2 commits 2024-02-11 22:11:28 +01:00
lint / lint (push) Failing after 14s Details
2fa417de10
add Gitea CI
lint / lint (push) Successful in 15s Details
1372755830
PHP Coding Standards fixes
n merged commit 1372755830 into main 2024-02-11 22:11:45 +01:00
n deleted branch ci 2024-02-11 22:11:47 +01:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
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: n/shaarli-plugin-shaargem#6
No description provided.
Delete Branch "ci"

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?