CI

Coupon collector #27

Sign in to view logs

Triggered via pull request December 15, 2023 09:36

hei411

synchronize #3

hei411:coupon

Status Failure

Total duration 11m 49s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

Matrix: build

Annotations

1 error and 1 warning

build (8.16.1, 4.14.1-flambda): theories/examples/coupon.v#L31

The reference from was not found in the current environment.

build (8.16.1, 4.14.1-flambda): theories/ub_logic/hash.v#L8

Interpreting this declaration as if a global declaration prefixed by