[mamba] update mamba and boa versions (!279) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged Amir MOHAMMADI requested to merge upgrade-mamba-boa into master 3 years ago

Activity

Amir MOHAMMADI assigned to @amohammadi 3 years ago

assigned to @amohammadi
Amir MOHAMMADI enabled an automatic merge when the pipeline for 07e5b6a8 succeeds 3 years ago

enabled an automatic merge when the pipeline for 07e5b6a8 succeeds
Amir MOHAMMADI mentioned in commit ba175a65 3 years ago

mentioned in commit ba175a65
Amir MOHAMMADI merged 3 years ago

merged

Please register or sign in to reply