Skip to content

Soundness fixes

Soundness fixes #31

Triggered via push May 4, 2024 07:47
Status Success
Total duration 1m 43s
Artifacts

linter.yml

on: push
Matrix: Check indentation
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check indentation (1.8.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_10_0-2024-4-4-8949014714-31, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/ivals2, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_10_0-2024-4-4-8949014714-31, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842