Skip to content
Julia

FIX: define dev dependencies as dependency groups #15

Sign in to view logs

FIX: define dev dependencies as dependency groups

FIX: define dev dependencies as dependency groups #15

Triggered via pull request October 22, 2024 09:48
@redeboerredeboer
synchronize #366
fix-documentation-workflow
Status Success
Total duration 9m 47s
Artifacts –

julia.yml

on: pull_request
Run scripts
9m 19s
Run scripts
Fit to window
Zoom out
Zoom in