Back to pull request #200

Added parameter to not use the Julia worker pool #1627

Sign in to view logs

Triggered via pull request August 14, 2023 21:07

gbruer15

synchronize #200

gbruer/set-serial

Status Success

Total duration 12m 40s

Artifacts –

ci-judi.yml

on: pull_request

Matrix: test