Back to pull request #5014

Check that the repositories given to "opam repository remove" actually exist #3896

Sign in to view logs

Re-run triggered November 30, 2024 09:34

kit-ty-kate

#5014

kit-ty-kate:check-repos-remove-exist

Status Success

Total duration 33m 34s

Artifacts 2

main.yml

on: pull_request

Matrix: Build-Linux

Matrix: Build-macOS

Matrix: Test-macOS

Matrix: Doc-Linux

Matrix: Solvers-Linux

Matrix: Test-Linux

Matrix: Upgrade-Linux

Matrix: Solvers-macOS

Matrix: Upgrade-macOS

Matrix: Build-Windows