Skip to content
CI

UB Tapes + Planner Rule (reducibility in WP) #50

Sign in to view logs

UB Tapes + Planner Rule (reducibility in WP)

UB Tapes + Planner Rule (reducibility in WP) #50

Triggered via pull request January 5, 2024 21:36
@markusdemedeirosmarkusdemedeiros
opened #7
markusdemedeiros:ub_tapes_reducible_in_wp
Status Success
Total duration 12m 57s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

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