Skip to content

rename cirrus-ci tasks with name override#4252

Merged
pp-mo merged 1 commit intoSciTools:mainfrom
bjlittle:cirrus-ci-task-name
Jul 22, 2021
Merged

rename cirrus-ci tasks with name override#4252
pp-mo merged 1 commit intoSciTools:mainfrom
bjlittle:cirrus-ci-task-name

Commits

Commits on Jul 22, 2021