Skip to content

refactor(pkg): remove an unnecessary [result] variable #24253

refactor(pkg): remove an unnecessary [result] variable

refactor(pkg): remove an unnecessary [result] variable #24253

Triggered via pull request January 9, 2024 18:06
Status Failure
Total duration 56m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

workflow.yml

on: pull_request
Format
1m 0s
Format
Documentation
33s
Documentation
Coq 8.16.1
8m 43s
Coq 8.16.1
Build monorepo benchmark docker image
3m 46s
Build monorepo benchmark docker image
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Coverage (4.14.x)
Unexpected HTTP response: 500
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.