Skip to content
.github/workflows/main.yml

coq export: use Require Export instead of Require Import (#1157) #2363

Sign in to view logs

coq export: use Require Export instead of Require Import (#1157)

coq export: use Require Export instead of Require Import (#1157) #2363

build_lambdapi (5.2.0)

build_lambdapi (5.2.0)
succeeded Nov 25, 2024 in 6m 14s