add jenkins build badge #9

Merged
ben merged 1 commits from jenkins-build-badge into main 2022-09-19 09:35:30 +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
23eb039b90
add jenkins build badge
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
ben referenced this issue from a commit 2023-11-23 17:53:24 +00:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
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: ben/infra#9
No description provided.