Skip to content
Infer

Bump gitpod/workspace-java-21 from 2024-11-26-08-43-19 to 2025-02-10-… #2870

Sign in to view logs

Bump gitpod/workspace-java-21 from 2024-11-26-08-43-19 to 2025-02-10-…

Bump gitpod/workspace-java-21 from 2024-11-26-08-43-19 to 2025-02-10-… #2870

Triggered via push February 10, 2025 21:34
@vil02vil02
pushed 3313ddc
master
Status Success
Total duration 19m 2s
Artifacts –

infer.yml

on: push
run_infer
18m 55s
run_infer
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
run_infer
Cache not found for keys: v3-setup-ocaml-opam-6726e7e2d894722a64f96f23561449e7e1e67bc1c430a0ecf92cfe7dfa5dbdf2, v3-setup-ocaml-opam-6726e7e2d894722a64f96f23561449e7e1e67bc1c430a0ecf92cfe7dfa5dbdf2
run_infer
Cache not found for keys: Linux-infer-2025_06