Skip to content

Actions: mrhaandi/coq-library-undecidability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactored MuRec eval fixing https://github.com/uds-psl/coq-library-u… coq-library-undecidability CI #456: Commit af4126c pushed by mrhaandi
6m 2s MuRec-eval
MuRec-eval
6m 2s
fix ci user coq-library-undecidability CI #455: Commit 1be1bf2 pushed by mrhaandi
6m 25s MuRec-eval
MuRec-eval
6m 25s
deps coq-library-undecidability CI #454: Commit 36b71a6 pushed by mrhaandi
1m 27s MuRec-eval
MuRec-eval
1m 27s
refactored MuRec eval coq-library-undecidability CI #453: Commit be5ef00 pushed by mrhaandi
1m 25s MuRec-eval
MuRec-eval
1m 25s
correctly scope FOL notations coq-library-undecidability CI #452: Commit 3df7093 pushed by mrhaandi
6m 8s notation-overridden-2
notation-overridden-2
6m 8s
correctly scope FOL notations coq-library-undecidability CI #451: Commit ef16818 pushed by mrhaandi
2m 9s notation-overridden-2
notation-overridden-2
2m 9s
TM and SOL no warnings coq-library-undecidability CI #450: Commit 86d86ae pushed by mrhaandi
6m 7s notation-overridden
notation-overridden
6m 7s
update L_computable_closed_to_MMA_computable.v coq-library-undecidability CI #449: Commit 050876a pushed by mrhaandi
10m 16s issue_228
issue_228
10m 16s
Update README.md coq-library-undecidability CI #448: Commit 4e9ab4a pushed by mrhaandi
1m 58s master
master
1m 58s
test coq-library-undecidability CI #447: Commit 3d4841f pushed by mrhaandi
2m 6s master
master
2m 6s
ci badge coq-library-undecidability CI #446: Commit 1992d75 pushed by mrhaandi
5m 58s master
master
5m 58s
test ci coq-library-undecidability CI #445: Commit 07034d4 pushed by mrhaandi
5m 56s master
master
5m 56s