Skip to content
Test Generated Java

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #5539

Sign in to view logs

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801)

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #5539

Triggered via pull request November 3, 2024 16:41
@andres-erbsenandres-erbsen
opened #1980
andres-erbsen:less-ZArith_base
Status Success
Total duration 46s
Artifacts 1

java.yml

on: pull_request
test-java
34s
test-java
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
fiat-javadoc
75.4 KB