coq-library-undecidability CI

refactored MuRec eval #729

Sign in to view logs

Triggered via pull request February 25, 2025 08:42

mrhaandi

opened #237

mrhaandi:MuRec-eval

Status Success

Total duration 5m 46s

Artifacts –

build.yml

on: pull_request

Matrix: build