add jenkins build badge #9
ben
commented 2022-09-19 09:35:08 +00:00
Owner
No description provided.
ben
added 1 commit 2022-09-19 09:35:08 +00:00
ben/infra/pipeline/head This commit looks good
Details
ben
merged commit 311111c2bf into main 2022-09-19 09:35:30 +00:00
ben
deleted branch jenkins-build-badge 2022-09-19 09:35:31 +00:00
ben
referenced this issue from a commit 2022-09-19 09:35:31 +00:00
add jenkins build badge (!9)
ben
referenced this issue from a commit 2023-11-23 17:53:24 +00:00
Recent changes (!9)
Loading…
Reference in New Issue
No description provided.
Delete Branch "jenkins-build-badge"
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?