OscarCI (merge)

Bump default julia to 1.10 #86

Sign in to view logs

Triggered via pull request January 22, 2024 17:15

lgoettgens

synchronize #32

lgoettgens:lg/bump-julia-1.10

Status Success

Total duration 5m 10s

Artifacts –

oscar-merge.yml

on: pull_request

Matrix: test-oscar