Skip to content

Compile issue #1576

New issue
New issue
Closed
Closed
Compile issue#1576
Labels
build/continuous integration ⚙️This issue/PR is about the build process or CI
@hoheinzollern

Description

@hoheinzollern
hoheinzollern
opened on Apr 16, 2025

This test should call coqc or rocq c depending on the installed packages:

analysis/Makefile.common

Line 47 in 0ca758d

&& (rocq c test_interval_inference.v > /dev/null 2>&1) \

Metadata

Metadata

Assignees

No one assigned

    Labels

    build/continuous integration ⚙️This issue/PR is about the build process or CI

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions