va/knowledge-search-mcp
0
0
Fork 1
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Add CI #10

Merged
A8065384 merged 2 commits from push-ooqqtrvlvqxn into main 2026-03-05 22:00:49 +00:00
Conversation 0 Commits 2 Files Changed 17 +349 -217
A8065384 commented 2026-03-05 21:56:05 +00:00
Owner
Copy Link
No description provided.
A8065384 added 2 commits 2026-03-05 21:56:06 +00:00
Make cloud logging optional 86ed34887b
Add CI
Some checks failed
CI / lint (pull_request) Successful in 11s
Details
CI / typecheck (pull_request) Successful in 11s
Details
CI / test (pull_request) Successful in 25s
Details
CI / build (pull_request) Failing after 3s
Details
8675a89b80
A8065384 force-pushed push-ooqqtrvlvqxn from 8675a89b80 to d39b8a6ea7 2026-03-05 21:59:32 +00:00 Compare
A8065384 merged commit 0cdf9cd44e into main 2026-03-05 22:00:49 +00:00
A8065384 deleted branch push-ooqqtrvlvqxn 2026-03-05 22:00:49 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
A8065384 A8072846 A8080816
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: va/knowledge-search-mcp#10
Delete Branch "push-ooqqtrvlvqxn"

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?