Add remaining rewrite rules for saturated arithmetic · mit-plv/fiat-crypto@44c5cd5

Triggered via pull request December 8, 2023 20:53

JasonGross

synchronize #1778

Status Failure

Total duration 47m 10s

Artifacts 3

coq-alpine.yml

on: pull_request

Matrix: build

Matrix: test-standalone

2 errors

Process completed with exit code 2.

Process completed with exit code 1.

Produced during runtime

Name	Size
ExtractionHaskell-edge Expired	5.41 KB
ExtractionOCaml-edge Expired	3.55 KB
generated-files-edge Expired	4.72 MB