Skip to content
coqchk

Fix typing error in Storage handler #69

Sign in to view logs

Fix typing error in Storage handler

Fix typing error in Storage handler #69

Triggered via push February 12, 2026 17:50
@k32k32
pushed d6ebbc8
dev/setoids
Status Failure
Total duration 1m 40s
Artifacts –

coqchk.yml

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