Skip to content
check

[CI] fix opam setup & add infer cache in Github action #25

Sign in to view logs

[CI] fix opam setup & add infer cache in Github action

[CI] fix opam setup & add infer cache in Github action #25

Triggered via push July 25, 2025 08:46
@sujin0529sujin0529
pushed e9cae76
main
Status Failure
Total duration 13s
Artifacts –

check.yml

on: push
infer-build
9s
infer-build
unitcon-build
0s
unitcon-build
Fit to window
Zoom out
Zoom in

Annotations

1 error
infer-build
Input required and not supplied: token