Merge pull request #37 from Villetaneuse/rm_arith_files #24

Sign in to view logs

Triggered via push October 18, 2023 17:05

rv32i

Status Success

Total duration 1h 6m 47s

Artifacts –

coq.yml

on: push

Matrix: build