Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
3 changed files with 6 additions and 0 deletions
Showing only changes of commit 938246322f - Show all commits

View File

@@ -27,7 +27,9 @@ let
gitBranch = [
"garlic/mpi+send+omp+fork"
"garlic/mpi+send+omp+task"
"garlic/mpi+send+oss+task"
"garlic/mpi+isend+omp+task"
"garlic/mpi+isend+oss+task"
"garlic/tampi+isend+oss+task"
];

View File

@@ -25,7 +25,9 @@ let
gitBranch = [
"garlic/mpi+send+omp+fork"
"garlic/mpi+send+omp+task"
"garlic/mpi+send+oss+task"
"garlic/mpi+isend+omp+task"
"garlic/mpi+isend+oss+task"
"garlic/tampi+isend+oss+task"
];

View File

@@ -21,7 +21,9 @@ let
gitBranch = [
"garlic/mpi+send+omp+fork"
"garlic/mpi+send+omp+task"
"garlic/mpi+send+oss+task"
"garlic/mpi+isend+omp+task"
"garlic/mpi+isend+oss+task"
"garlic/tampi+isend+oss+task"
];