CI

Merge pull request #7 from markusdemedeiros/ub_tapes_reducible_in_wp #51

Sign in to view logs

Triggered via push January 5, 2024 21:51

markusdemedeiros

main

Status Success

Total duration 12m 57s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

3 warnings

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

Interpreting this declaration as if a global declaration prefixed by

build (8.16.1, 4.14.1-flambda): theories/ub_logic/cf_hash.v#L22

Interpreting this declaration as if a global declaration prefixed by

build (8.16.1, 4.14.1-flambda): theories/ub_logic/cf_hash.v#L23

Interpreting this declaration as if a global declaration prefixed by