adapt to Coq/Coq#18164 #618

Sign in to view logs

Re-run triggered November 29, 2023 20:47

#96

Villetaneuse:rm_arith_files

Status Success

Total duration 5m 27s

Artifacts –

coq.yml

on: pull_request

Matrix: build