Skip to content

Actions: pi8027/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the dependencies of coq-mathcomp-real-closed.2.0.1 CI #20: Commit 705aa84 pushed by pi8027
August 5, 2024 21:55 5m 35s fix-real-closed-2.0.1
fix-real-closed-2.0.1
August 5, 2024 21:55 5m 35s
coq-mathcomp-multinomials.2.2.0 is incompatible with coq-elpi >= 2.2.1 CI #19: Commit 25f9488 pushed by pi8027
July 21, 2024 22:34 3m 7s coq-mathcomp-multinomials.2.2.0_dependencies
coq-mathcomp-multinomials.2.2.0_dependencies
July 21, 2024 22:34 3m 7s
coq-mathcomp-multinomials.2.2.0 is not compatible with coq-elpi >= 2.2.2 CI #18: Commit e17aeb1 pushed by pi8027
July 21, 2024 22:31 2m 39s coq-mathcomp-multinomials.2.2.0_dependencies
coq-mathcomp-multinomials.2.2.0_dependencies
July 21, 2024 22:31 2m 39s
coq-mathcomp-multinomials.2.2.0 is not compatible with coq-elpi >= 2.2.2 CI #17: Commit 50e62b9 pushed by pi8027
July 21, 2024 22:23 5m 34s coq-mathcomp-multinomials.2.2.0_dependencies
coq-mathcomp-multinomials.2.2.0_dependencies
July 21, 2024 22:23 5m 34s
Switch the build method of coq-mathcomp-multinomials.dev from dune to… CI #16: Commit 506597f pushed by pi8027
July 15, 2024 12:10 5m 52s coq-mathcomp-multinomials.dev-coqmakefile
coq-mathcomp-multinomials.dev-coqmakefile
July 15, 2024 12:10 5m 52s
coq-unicoq.dev seems compatible only with coq.dev CI #15: Commit f0a2c19 pushed by pi8027
June 5, 2024 13:46 5m 50s coq-unicoq.dev-dependencies
coq-unicoq.dev-dependencies
June 5, 2024 13:46 5m 50s
Add coq-mathcomp-multinomials.2.2.0 and coq-mathcomp-algebra-tactics.… CI #14: Commit d30699b pushed by pi8027
January 18, 2024 15:16 2m 38s new-releases-multinomials-and-algebra-tactics
new-releases-multinomials-and-algebra-tactics
January 18, 2024 15:16 2m 38s
Add coq-mathcomp-multinomials.2.2.0 and coq-mathcomp-algebra-tactics.… CI #13: Commit 9a21580 pushed by pi8027
January 18, 2024 14:31 5m 43s new-releases-multinomials-and-algebra-tactics
new-releases-multinomials-and-algebra-tactics
January 18, 2024 14:31 5m 43s
coq-mathcomp-algebra-tactics.1.2.2 is compatible with MathComp 2.2 CI #12: Commit e4ef17d pushed by pi8027
January 18, 2024 13:38 6m 31s fix-algebra-tactics-1.2.2
fix-algebra-tactics-1.2.2
January 18, 2024 13:38 6m 31s
MathComp 2.0 is not compatible with HB 1.7 CI #11: Commit ec54d14 pushed by pi8027
January 17, 2024 23:25 5m 37s fix-mathcomp-2.0-dependencies
fix-mathcomp-2.0-dependencies
January 17, 2024 23:25 5m 37s
Update the build instruction and dependencies of coq-mathcomp-multino… CI #10: Commit cc02178 pushed by pi8027
November 30, 2023 17:20 2m 34s multinomials-dev-dune-3-8
multinomials-dev-dune-3-8
November 30, 2023 17:20 2m 34s
Update the build instruction and dependencies of coq-mathcomp-multino… CI #9: Commit 6603f65 pushed by pi8027
November 30, 2023 13:01 7m 37s multinomials-dev-dune-3-8
multinomials-dev-dune-3-8
November 30, 2023 13:01 7m 37s
Fix a typo in the description of coq-mathcomp-algebra-tactics CI #8: Commit 5c793a2 pushed by pi8027
October 31, 2023 15:15 6m 0s fix-typo-algebra-tactics
fix-typo-algebra-tactics
October 31, 2023 15:15 6m 0s
Merge pull request #2804 from Lysxia/master CI #7: Commit df7a7a0 pushed by pi8027
October 27, 2023 15:05 11m 52s master
master
October 27, 2023 15:05 11m 52s