rarias/ovni
rarias/ovni
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

WIP: Switch bscpkgs input to jungle #8

Closed
rarias wants to merge 1 commits from switch-to-jungle into master
pull from: switch-to-jungle
merge into: rarias:master
Conversation 0 Commits 1 Files Changed 2 +98 -12
rarias commented 2025-10-13 15:33:54 +02:00
Owner
Copy Link

The bscpkgs repository has been merged into jungle.

See: rarias/jungle#189

The bscpkgs repository has been merged into jungle. See: https://jungle.bsc.es/git/rarias/jungle/pulls/189
rarias added 1 commit 2025-10-13 15:33:55 +02:00
Switch bscpkgs input to jungle
Some checks failed
CI / build:rt (pull_request) Failing after 6m38s
Details
CI / build:asan (pull_request) Failing after 8m48s
Details
CI / build:debug (pull_request) Successful in 22m27s
Details
CI / build:nompi (pull_request) Successful in 20m37s
Details
CI / build:compilers (pull_request) Successful in 18m22s
Details
CI / build:local (pull_request) Successful in 23m13s
Details
f87ab0f4dd 
The bscpkgs repository has been merged into jungle.

See: rarias/jungle#189
rarias closed this pull request 2025-10-16 10:32:49 +02:00
Some checks failed
CI / build:rt (pull_request) Failing after 6m38s
Details
CI / build:asan (pull_request) Failing after 8m48s
Details
CI / build:debug (pull_request) Successful in 22m27s
Details
CI / build:nompi (pull_request) Successful in 20m37s
Details
CI / build:compilers (pull_request) Successful in 18m22s
Details
CI / build:local (pull_request) Successful in 23m13s
Details

Pull request closed

This pull request cannot be reopened because the branch was deleted.
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
rarias
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/ovni#8
No description provided.
Delete Branch "switch-to-jungle"

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?