Coq

Bump deps/kami from `de880ce` to `3ab0943` (#433) #9

Sign in to view logs

Triggered via push September 30, 2024 05:03

OwenConoly

master

Status Success

Total duration 1h 48m 40s

Artifacts –

coq.yml

on: push

Matrix: build