Skip to content

Actions: uds-psl/coq-synthetic-computability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix README coq-library-undecidability CI #169: Commit ed6ef5b pushed by yforster
4m 5s main
main
4m 5s
new CI coq-library-undecidability CI #168: Commit 430fed1 pushed by yforster
4m 18s main
main
4m 18s
new CI coq-library-undecidability CI #167: Commit 64090cf pushed by yforster
3m 25s main
main
3m 25s
new CI coq-library-undecidability CI #166: Commit df15579 pushed by yforster
3m 19s main
main
3m 19s
new CI coq-library-undecidability CI #165: Commit ef830ff pushed by yforster
3m 28s main
main
3m 28s
new CI coq-library-undecidability CI #164: Commit 23632ea pushed by yforster
1m 55s main
main
1m 55s
new CI coq-library-undecidability CI #163: Commit ef5642f pushed by yforster
7s main
main
7s
new CI coq-library-undecidability CI #162: Commit da768f9 pushed by yforster
1m 55s main
main
1m 55s
port to Rocq 9.0 coq-library-undecidability CI #161: Commit 47abf88 pushed by yforster
10m 39s main
main
10m 39s
refactor PostsProblem to only rely on EPF and not other axioms coq-library-undecidability CI #160: Commit c3e22cd pushed by yforster
19m 38s main
main
19m 38s
README coq-library-undecidability CI #159: Commit 85f7f4c pushed by yforster
16m 39s main
main
16m 39s
fix CI coq-library-undecidability CI #158: Commit 5162225 pushed by yforster
16m 40s main
main
16m 40s
fix CI coq-library-undecidability CI #157: Commit 51d6296 pushed by yforster
11m 31s main
main
11m 31s
Post's problem (#4) coq-library-undecidability CI #156: Commit dc14fa3 pushed by yforster
22s main
main
22s
Post's problem coq-library-undecidability CI #155: Pull request #4 opened by yforster
23s HaoyiZeng:main
HaoyiZeng:main
23s