Merge pull request #69 from coq/finish-disable-playground #127
Annotations
1 warning and 1 notice
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Post Use OCaml 5.2.0
An internal error has occurred in cache backend. Please check https://www.githubstatus.com for any ongoing issue in actions.
|
Loading