Back to pull request #445

Move 520-workflows on GitHub actions to 5.2.0~beta1 #267

Sign in to view logs

Triggered via pull request March 26, 2024 13:25

jmid

opened #445

520-move-beta1

Status Success

Total duration 5m 52s

Artifacts –

opam.yml

on: pull_request

Matrix: build-and-test