Skip to content

update README

update README #768

Triggered via push April 16, 2024 20:29
Status Success
Total duration 9m 44s
Artifacts

main.yml

on: push
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
hol-light-to-dedukti (5.1.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1_1-2024-3-16-8712119218-768, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/main, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1_1-2024-3-16-8712119218-768, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14_1-2024-3-16-8712119218-768, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/main, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14_1-2024-3-16-8712119218-768, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842