Skip to content

Actions: coq-community/coq-dpdgraph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#19927 (coq-core renamed to rocq-runtime) Docker CI #102: Pull request #138 opened by SkySkimmer
December 11, 2024 14:08 2m 36s SkySkimmer:rocq-cli
SkySkimmer:rocq-cli
December 11, 2024 14:08 2m 36s
Merge pull request #136 from coq-community/stdlib_repo Docker CI #101: Commit bbd46c5 pushed by proux01
December 6, 2024 09:27 2m 20s coq-master
coq-master
December 6, 2024 09:27 2m 20s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #100: Pull request #136 opened by proux01
December 5, 2024 06:57 2m 18s stdlib_repo
stdlib_repo
December 5, 2024 06:57 2m 18s
README: opam install for specific Coq version Docker CI #99: Commit 2a7a8f7 pushed by ybertot
November 13, 2024 14:20 2m 33s coq-master
coq-master
November 13, 2024 14:20 2m 33s
attempt at making all tests go through Docker CI #98: Pull request #135 opened by ybertot
November 13, 2024 14:03 2m 48s ybertot:clean_tests
ybertot:clean_tests
November 13, 2024 14:03 2m 48s
Merge pull request #132 from ejgallego/fix_test_loading_message Docker CI #97: Commit a7221e4 pushed by ppedrot
November 12, 2024 14:44 2m 23s coq-master
coq-master
November 12, 2024 14:44 2m 23s
Merge pull request #133 from coq-community/coq_19310 Docker CI #96: Commit 4904006 pushed by proux01
September 10, 2024 07:02 2m 29s coq-master
coq-master
September 10, 2024 07:02 2m 29s
Adapt to https://github.com/coq/coq/pull/19310 Docker CI #95: Pull request #133 opened by proux01
July 14, 2024 08:54 2m 0s coq_19310
coq_19310
July 14, 2024 08:54 2m 0s
[coq] Overlay for coq/coq#18385 Docker CI #94: Pull request #132 opened by ejgallego
May 4, 2024 21:07 2m 7s ejgallego:fix_test_loading_message
ejgallego:fix_test_loading_message
May 4, 2024 21:07 2m 7s
make sure the make clean directive also removes the PrimitiveProjecti… Docker CI #93: Commit 83711f4 pushed by ybertot
March 21, 2024 13:37 5m 14s coq-master
coq-master
March 21, 2024 13:37 5m 14s
Merge pull request #129 from Yann-Leray/rewrite-rules Docker CI #92: Commit 03be5d0 pushed by SkySkimmer
February 21, 2024 13:41 2m 5s coq-master
coq-master
February 21, 2024 13:41 2m 5s
Adapt to coq/coq#18038 (rewrite rules) Docker CI #91: Pull request #129 opened by yannl35133
February 5, 2024 14:14 1m 58s Yann-Leray:rewrite-rules
Yann-Leray:rewrite-rules
February 5, 2024 14:14 1m 58s
Merge pull request #126 from Villetaneuse/rm_arith_files Docker CI #90: Commit 8452ebd pushed by ppedrot
November 21, 2023 15:24 2m 20s coq-master
coq-master
November 21, 2023 15:24 2m 20s
Merge pull request #123 from SkySkimmer/sort-poly Docker CI #89: Commit 85660ac pushed by ppedrot
November 6, 2023 20:43 2m 13s coq-master
coq-master
November 6, 2023 20:43 2m 13s
Add COQBIN to configure.ac Docker CI #88: Pull request #128 synchronize by Villetaneuse
October 27, 2023 12:52 3m 13s Villetaneuse:add_COQBIN_to_conf
Villetaneuse:add_COQBIN_to_conf
October 27, 2023 12:52 3m 13s
Add COQBIN to configure.ac Docker CI #87: Pull request #128 opened by Villetaneuse
October 26, 2023 14:26 2m 34s Villetaneuse:add_COQBIN_to_conf
Villetaneuse:add_COQBIN_to_conf
October 26, 2023 14:26 2m 34s
Adapt to Coq/Coq#18164 Docker CI #86: Pull request #126 synchronize by Villetaneuse
October 25, 2023 17:41 3m 0s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 25, 2023 17:41 3m 0s
release for coq-8.18, configure.ac and meta.yml edited by hand, the rest Docker CI #85: Commit 712311f pushed by ybertot
October 24, 2023 06:23 1m 55s coq-v8.18
coq-v8.18
October 24, 2023 06:23 1m 55s
Adapt to Coq/Coq#18164 Docker CI #84: Pull request #126 opened by Villetaneuse
October 21, 2023 18:57 2m 15s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 21, 2023 18:57 2m 15s
Adapt to coq/coq#17836 (sort poly) Docker CI #83: Pull request #123 opened by SkySkimmer
September 19, 2023 13:26 2m 52s SkySkimmer:sort-poly
SkySkimmer:sort-poly
September 19, 2023 13:26 2m 52s
Merge pull request #122 from herbelin/coq-master+adapt-coq-pr17987-se… Docker CI #82: Commit 7ac1461 pushed by ppedrot
September 8, 2023 13:18 2m 23s coq-master
coq-master
September 8, 2023 13:18 2m 23s
Adapt to Coq PR #17987 which adds sigma to the API of search functions Docker CI #81: Pull request #122 opened by herbelin
August 30, 2023 14:16 2m 34s herbelin:coq-master+adapt-coq-pr17987-search-pass-sigma
herbelin:coq-master+adapt-coq-pr17987-search-pass-sigma
August 30, 2023 14:16 2m 34s