Merge pull request #3326 from MSoegtropIMC/fix-coq-coqprime-generator… #1689

Triggered via push February 1, 2025 19:06

palmskog

master

Status Success

Total duration 2m 2s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.73 MB