rarias/jungle
2
0
Fork 3
Code Issues 63 Pull Requests 12 Actions 1 Packages Projects Releases Wiki Activity

Add To headers in OmpSs-2 robot email #248

Open
rarias wants to merge 1 commits from fix-ompss2-email into master
pull from: fix-ompss2-email
merge into: rarias:master
Conversation 0 Commits 1 Files Changed 1 +4 -1
rarias commented 2026-03-17 12:48:10 +01:00
Owner
Copy Link

Fixes mailing list being a dick.

@anavarro

Fixes mailing list being a dick. @anavarro
😆 2
rarias added 1 commit 2026-03-17 12:48:11 +01:00
Add To headers in OmpSs-2 robot email
All checks were successful
CI / build:cross (pull_request) Successful in 8s
Details
CI / build:all (pull_request) Successful in 1m5s
Details
e1342523b2
rarias requested review from abonerib 2026-03-17 12:48:11 +01:00
abonerib approved these changes 2026-03-17 15:35:30 +01:00
All checks were successful
CI / build:cross (pull_request) Successful in 8s
Details
CI / build:all (pull_request) Successful in 1m5s
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin fix-ompss2-email:fix-ompss2-email
git checkout fix-ompss2-email
Sign in to join this conversation.
Reviewers
No Reviewers
abonerib
Labels
Clear labels
bug
ceph
ci
config
cross
hw
io
kernel
mpi
net
nix
ops
repair
slurm
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abonerib anavarro arocanon varcila rarias
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#248
Delete Branch "fix-ompss2-email"

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?