Skip to content
Test Generated Zig

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

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) #4290

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

zig.yml

on: pull_request
test-zig
40s
test-zig
Fit to window
Zoom out
Zoom in