Fix for Coq 8.16 #884

# to view logs

Triggered via push December 11, 2023 16:21

wkolowski

use-constrained-elmo

Status Success

Total duration 4m 54s

Artifacts –

test-pr.yml

on: push

Matrix: build