Skip to content

update branch name in ci scripts #2

update branch name in ci scripts

update branch name in ci scripts #2

Triggered via push September 26, 2023 20:47
Status Success
Total duration 21m 39s
Artifacts

opam.yml

on: push
Matrix: Build and test project
Fit to window
Zoom out
Zoom in