Back to pull request #418

Switch GA workflows to test 5.1.1~rc1 #219

Sign in to view logs

Triggered via pull request December 5, 2023 15:34

jmid

opened #418

switch-to-511rc1

Status Success

Total duration 26m 31s

Artifacts –

opam.yml

on: pull_request

Matrix: build-and-test