Skip to content
Back to pull request #104

Redirect /opam to coq.github.io/opam #220

Sign in to view logs

Redirect /opam to coq.github.io/opam

Redirect /opam to coq.github.io/opam #220

Triggered via pull request March 11, 2025 16:47
@mattam82mattam82
opened #103
mattam82:redirect-opam
Status Success
Total duration 9m 18s
Artifacts –

ci.yml

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

Annotations

1 warning and 1 notice
Build and test (macos-latest, 5.2.0)
These files were overwritten during the `brew link` step:
Build and test (ubuntu-latest, 5.2.0)
An internal error has occurred in cache backend. Please check https://www.githubstatus.com for any ongoing issue in actions.