Fixing a lot of deprecated stuff + warnings. Bump checkout code. · vellvm/vellvm@0fc1e94

Re-run triggered April 15, 2024 17:23

Chobbes

finite-memory

Status Failure

Total duration 7m 31s

Artifacts –

vellvm.yml

on: push

Matrix: build

1 error and 9 warnings

Unable to apply lemma of type

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Interpreting this declaration as if a global declaration prefixed by

Interpreting this declaration as if a global declaration prefixed by

Use of “Require” inside a section is fragile. It is not recommended