Skip to content

add pharo13 ci script + remove cron from pharo11 ci script#184

Merged
labordep merged 1 commit intomainfrom dev-pharo13CIJun 21, 2024

Commits

Commits on Jun 21, 2024