Skip to content

Actions: uds-psl/coq-library-undecidability

Actions

coq-library-undecidability CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #238 from alexandralatys/remove-KOSBTM coq-library-undecidability CI #742: Commit 1df2d1c pushed by mrhaandi
5m 50s master
master
5m 50s
Remove KOSBTM and rework TM-computable to BSM-computable coq-library-undecidability CI #741: Pull request #238 opened by alexandralatys
6m 5s alexandralatys:remove-KOSBTM
alexandralatys:remove-KOSBTM
6m 5s
Prepare for 9.0 release coq-library-undecidability CI #740: Commit 806690d pushed by yforster
8m 57s rocq-9.0
rocq-9.0
8m 57s
Prepare for 9.0 release coq-library-undecidability CI #739: Commit e9f8cca pushed by yforster
2m 1s rocq-9.0
rocq-9.0
2m 1s
Prepare for 9.0 release coq-library-undecidability CI #738: Commit 4a06de8 pushed by yforster
1m 20s rocq-9.0
rocq-9.0
1m 20s
Prepare for 9.0 release coq-library-undecidability CI #737: Commit 1e43697 pushed by yforster
1m 23s rocq-9.0
rocq-9.0
1m 23s
adapt to https://github.com/rocq-prover/stdlib/pull/154 coq-library-undecidability CI #736: Commit 4f6a1d6 pushed by mrhaandi
5m 59s master
master
5m 59s
Merge pull request #232 from DmxLarchey/notation-overridden-2 coq-library-undecidability CI #735: Commit 3edeccf pushed by mrhaandi
5m 49s master
master
5m 49s
fix L framework for 9.0 coq-library-undecidability CI #734: Commit f87cc31 pushed by mrhaandi
5m 45s master
master
5m 45s
update opam and manual installation instructions coq-library-undecidability CI #733: Commit f3a155e pushed by mrhaandi
1m 53s coq-9.0
coq-9.0
1m 53s
update opam and manual installation instructions coq-library-undecidability CI #732: Commit f3a155e pushed by mrhaandi
1m 40s 9.0
9.0
1m 40s
Cleanup for overridden notations coq-library-undecidability CI #731: Pull request #232 synchronize by DmxLarchey
5m 56s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
5m 56s
Merge pull request #237 from mrhaandi/MuRec-eval coq-library-undecidability CI #730: Commit df94add pushed by mrhaandi
5m 49s master
master
5m 49s
refactored MuRec eval coq-library-undecidability CI #729: Pull request #237 opened by mrhaandi
5m 46s mrhaandi:MuRec-eval
mrhaandi:MuRec-eval
5m 46s
Remove ill-placed notation definitions from FOL Friedman translation coq-library-undecidability CI #728: Pull request #236 opened by JoJoDeveloping
1m 33s JoJoDeveloping:fix-fol-notations
JoJoDeveloping:fix-fol-notations
1m 33s
move notations into module coq-library-undecidability CI #727: Pull request #233 opened by JoJoDeveloping
9m 50s JoJoDeveloping:coq-8.20
JoJoDeveloping:coq-8.20
9m 50s
Cleanup for overridden notations coq-library-undecidability CI #726: Pull request #232 ready_for_review by DmxLarchey
6m 1s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
6m 1s
Cleanup for overridden notations coq-library-undecidability CI #725: Pull request #232 synchronize by DmxLarchey
6m 0s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
6m 0s
Cleanup for overridden notations coq-library-undecidability CI #724: Pull request #232 synchronize by DmxLarchey
6m 2s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
6m 2s
adapt to https://github.com/coq/coq/pull/20126 coq-library-undecidability CI #723: Commit a14ae5b pushed by mrhaandi
6m 1s master
master
6m 1s
adapt to https://github.com/coq/coq/pull/20126 coq-library-undecidability CI #722: Commit 6760105 pushed by mrhaandi
6m 0s master
master
6m 0s
Cleanup for overridden notations coq-library-undecidability CI #721: Pull request #232 synchronize by DmxLarchey
8m 51s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
8m 51s
Cleanup for overridden notations coq-library-undecidability CI #720: Pull request #232 opened by DmxLarchey
6m 10s DmxLarchey:notation-overridden-2
DmxLarchey:notation-overridden-2
6m 10s
Dealing with -notation-overridden compile option (#231) coq-library-undecidability CI #719: Commit 939e11d pushed by DmxLarchey
6m 13s master
master
6m 13s
Dealing with -notation-overridden compile option coq-library-undecidability CI #718: Pull request #231 synchronize by DmxLarchey
5m 57s DmxLarchey:notation-overridden
DmxLarchey:notation-overridden
5m 57s