Skip to content

Actions: uds-psl/coq-library-fol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update to Coq 8.20 coq-library-fol CI #52: Commit b967df4 pushed by JoJoDeveloping
February 5, 2025 21:01 12m 31s v1.0+8.20
v1.0+8.20
February 5, 2025 21:01 12m 31s
update to Coq 8.20 coq-library-fol CI #51: Commit b967df4 pushed by JoJoDeveloping
February 5, 2025 15:00 12m 35s coq-8.20
coq-8.20
February 5, 2025 15:00 12m 35s
update to Coq 8.20 coq-library-fol CI #50: Commit 2394e72 pushed by JoJoDeveloping
February 5, 2025 14:57 1m 59s coq-8.20
coq-8.20
February 5, 2025 14:57 1m 59s
fix CI using coq-library-undecidability github action file coq-library-fol CI #49: Commit f2ff92e pushed by JoJoDeveloping
February 5, 2025 09:30 12m 27s coq-8.18
coq-8.18
February 5, 2025 09:30 12m 27s
Release v1.0 for Coq 8.18 coq-library-fol CI #48: Commit 9c79689 pushed by JoJoDeveloping
February 5, 2025 09:27 13s coq-8.18
coq-8.18
February 5, 2025 09:27 13s
Merge pull request #6 from mark-koch/fix/pm-theories coq-library-fol CI #46: Commit 831ec33 pushed by JoJoDeveloping
June 11, 2024 13:04 22m 29s coq-8.18
coq-8.18
June 11, 2024 13:04 22m 29s
Fix theory support in Proof Mode coq-library-fol CI #45: Pull request #6 opened by mark-koch
June 9, 2024 11:38 22m 24s mark-koch:fix/pm-theories
mark-koch:fix/pm-theories
June 9, 2024 11:38 22m 24s