Skip to content

Actions: uds-psl/coq-library-fol

Actions

coq-library-fol CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Address syntax confusion noticed in #8 coq-library-fol CI #65: Commit 4be1964 pushed by JoJoDeveloping
12m 29s rocq-9.0
rocq-9.0
12m 29s
Merge pull request #9 from dominik-kirst/coq-8.20 coq-library-fol CI #64: Commit 3358e21 pushed by JoJoDeveloping
13m 35s coq-8.20
coq-8.20
13m 35s
Merge remote-tracking branch 'kirst/coq-8.20' into rocq-9.0 coq-library-fol CI #63: Commit ef9f877 pushed by JoJoDeveloping
12m 15s v1.1+9.0.1
v1.1+9.0.1
12m 15s
Merge remote-tracking branch 'kirst/coq-8.20' into rocq-9.0 coq-library-fol CI #62: Commit ef9f877 pushed by JoJoDeveloping
11m 53s rocq-9.0
rocq-9.0
11m 53s
make this release 1.1 coq-library-fol CI #61: Commit 216d534 pushed by JoJoDeveloping
12m 18s v1.1+9.0.1
v1.1+9.0.1
12m 18s
make this release 1.1 coq-library-fol CI #60: Commit 216d534 pushed by JoJoDeveloping
12m 12s rocq-9.0
rocq-9.0
12m 12s
Merge pull request #8 from Janis-Bai/coq-8.20 coq-library-fol CI #59: Commit 8655bdd pushed by JoJoDeveloping
13m 42s coq-8.20
coq-8.20
13m 42s
Add relevant parts of mechanisation of Bailitis' Bachelor's thesis coq-library-fol CI #58: Pull request #8 synchronize by Janis-Bai
13m 35s Janis-Bai:coq-8.20
Janis-Bai:coq-8.20
13m 35s
Add relevant parts of mechanisation of Bailitis' Bachelor's thesis coq-library-fol CI #57: Pull request #8 synchronize by Janis-Bai
13m 30s Janis-Bai:coq-8.20
Janis-Bai:coq-8.20
13m 30s
Add relevant parts of mechanisation of Bailitis' Bachelor's thesis coq-library-fol CI #56: Pull request #8 synchronize by Janis-Bai
13m 24s Janis-Bai:coq-8.20
Janis-Bai:coq-8.20
13m 24s
Add relevant parts of mechanisation of Bailitis' Bachelor's thesis coq-library-fol CI #55: Pull request #8 synchronize by Janis-Bai
13m 28s Janis-Bai:coq-8.20
Janis-Bai:coq-8.20
13m 28s
Haoyi's code from the BDP paper coq-library-fol CI #54: Pull request #9 opened by dominik-kirst
13m 5s dominik-kirst:coq-8.20
dominik-kirst:coq-8.20
13m 5s
Add relevant parts of mechanisation of Bailitis' Bachelor's thesis coq-library-fol CI #53: Pull request #8 opened by Janis-Bai
13m 37s Janis-Bai:coq-8.20
Janis-Bai:coq-8.20
13m 37s
update to Coq 8.20 coq-library-fol CI #52: Commit b967df4 pushed by JoJoDeveloping
12m 31s v1.0+8.20
v1.0+8.20
12m 31s
update to Coq 8.20 coq-library-fol CI #51: Commit b967df4 pushed by JoJoDeveloping
12m 35s coq-8.20
coq-8.20
12m 35s
update to Coq 8.20 coq-library-fol CI #50: Commit 2394e72 pushed by JoJoDeveloping
1m 59s coq-8.20
coq-8.20
1m 59s
fix CI using coq-library-undecidability github action file coq-library-fol CI #49: Commit f2ff92e pushed by JoJoDeveloping
12m 27s coq-8.18
coq-8.18
12m 27s
Release v1.0 for Coq 8.18 coq-library-fol CI #48: Commit 9c79689 pushed by JoJoDeveloping
13s coq-8.18
coq-8.18
13s