coqchk

Fluents #49

Sign in to view logs

Triggered via push October 6, 2023 08:28

k32

fluents

Status Failure

Total duration 2m 26s

Artifacts –

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

coqchk.yml

on: push

Matrix: build

Annotations

1 error

build (8.17, default): theories/Foundations.v#L45

Unbound and ungeneralizable variable TransitionSystem.