Skip to content

Actions: Villetaneuse/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-windows.yml
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deprecate obsolete files in NArith Windows CI #95: Commit 3e88ddd pushed by Villetaneuse
November 28, 2023 15:59 48m 9s deprecate_files
deprecate_files
November 28, 2023 15:59 48m 9s
Merge PR #18164: Remove deprecated files in Arith and Numbers/Natural Windows CI #94: Commit b06166b pushed by Villetaneuse
November 28, 2023 15:58 52m 31s master
master
November 28, 2023 15:58 52m 31s
Add changelog Windows CI #93: Commit 0521c8f pushed by proux01
November 27, 2023 17:03 1h 1m 13s rm_arith_files
rm_arith_files
November 27, 2023 17:03 1h 1m 13s
Add changelog Windows CI #92: Commit 9199776 pushed by proux01
November 27, 2023 13:55 1h 1m 47s rm_arith_files
rm_arith_files
November 27, 2023 13:55 1h 1m 47s
Merge PR #18271: Remove codeowners entry for test-suite/complexity Windows CI #91: Commit 811423f pushed by Villetaneuse
November 21, 2023 21:51 56m 4s master
master
November 21, 2023 21:51 56m 4s
Add colors in the CI Windows CI #90: Commit 7c5abb9 pushed by Villetaneuse
November 19, 2023 16:04 55m 57s colors_ci
colors_ci
November 19, 2023 16:04 55m 57s
Add color in the CI Windows CI #89: Commit 5055af6 pushed by Villetaneuse
November 19, 2023 16:03 58m 4s colors_ci
colors_ci
November 19, 2023 16:03 58m 4s
Merge PR #18297: Port deprecated code related to library references i… Windows CI #88: Commit 2cf22c1 pushed by Villetaneuse
November 19, 2023 15:19 1h 1m 45s master
master
November 19, 2023 15:19 1h 1m 45s
Add color in the CI Windows CI #87: Commit dd4e976 pushed by Villetaneuse
November 19, 2023 11:19 51m 25s colors_ci
colors_ci
November 19, 2023 11:19 51m 25s
Fix ci-compcert/ci-vst for local ci Windows CI #86: Commit eaad2c5 pushed by Villetaneuse
November 19, 2023 10:30 1h 2m 52s fix_local_ci-vst
fix_local_ci-vst
November 19, 2023 10:30 1h 2m 52s
modified miscellaneous-extensions.rst Windows CI #85: Commit 6d93bfc pushed by Villetaneuse
November 19, 2023 07:43 56m 40s rm_arith_files
rm_arith_files
November 19, 2023 07:43 56m 40s
Fix mistake about iris in ci-basic-overlays Windows CI #84: Commit 3830aba pushed by Villetaneuse
November 17, 2023 13:38 1h 3m 36s fix_doc_iris
fix_doc_iris
November 17, 2023 13:38 1h 3m 36s
Change version of menhir to $(date) Windows CI #83: Commit 839c7e7 pushed by Villetaneuse
November 12, 2023 10:38 1h 27m 11s basic_overlay-menhir
basic_overlay-menhir
November 12, 2023 10:38 1h 27m 11s
Change version of menhir to $(date) Windows CI #82: Commit 56415ce pushed by Villetaneuse
November 11, 2023 15:38 56m 37s basic_overlay-menhir
basic_overlay-menhir
November 11, 2023 15:38 56m 37s
modified miscellaneous-extensions.rst Windows CI #81: Commit 9fa5ea9 pushed by Villetaneuse
November 11, 2023 05:57 1h 9m 54s rm_arith_files
rm_arith_files
November 11, 2023 05:57 1h 9m 54s
modified miscellaneous-extensions.rst Windows CI #80: Commit ec17c2c pushed by Villetaneuse
October 27, 2023 12:39 1h 26m 18s rm_arith_files
rm_arith_files
October 27, 2023 12:39 1h 26m 18s
Change Menhir branch target in ci-basic_overlay.sh Windows CI #79: Commit ca8d4ab pushed by Villetaneuse
October 20, 2023 14:23 1h 29m 52s basic_overlay-menhir
basic_overlay-menhir
October 20, 2023 14:23 1h 29m 52s
Change Menhir branch target in ci-basic_overlay.sh Windows CI #78: Commit 912e93a pushed by Villetaneuse
October 20, 2023 14:20 1h 25m 32s basic_overlay-menhir
basic_overlay-menhir
October 20, 2023 14:20 1h 25m 32s
modified miscellaneous-extensions.rst Windows CI #77: Commit 11ab515 pushed by Villetaneuse
October 15, 2023 09:50 1h 9m 4s rm_arith_files
rm_arith_files
October 15, 2023 09:50 1h 9m 4s
Remove some entries in doc/stdlib/hidden-files Windows CI #76: Commit 697b152 pushed by Villetaneuse
October 15, 2023 08:15 1h 6m 12s rm_arith_files
rm_arith_files
October 15, 2023 08:15 1h 6m 12s
Search Blacklist lemmas in Arith_base Windows CI #75: Commit 36d33e2 pushed by Villetaneuse
October 15, 2023 08:04 1h 3m 58s rm_arith_files
rm_arith_files
October 15, 2023 08:04 1h 3m 58s
Remove deprecate files in Arith Windows CI #74: Commit b62d483 pushed by Villetaneuse
October 15, 2023 07:27 1h 16m 12s rm_arith_files
rm_arith_files
October 15, 2023 07:27 1h 16m 12s
Merge PR #18095: Extensions to the Ltac2 standard library Windows CI #73: Commit 49fce3a pushed by Villetaneuse
October 15, 2023 07:26 1h 14m 38s master
master
October 15, 2023 07:26 1h 14m 38s
Additions in RIneq and removal of Rpow_def Windows CI #72: Commit a53c20e pushed by Villetaneuse
October 15, 2023 07:01 1h 14m 19s more_RIneq
more_RIneq
October 15, 2023 07:01 1h 14m 19s
Additions in RIneq and removal of Rpow_def Windows CI #71: Commit 7c06745 pushed by Villetaneuse
October 14, 2023 17:05 1h 16m 31s more_RIneq
more_RIneq
October 14, 2023 17:05 1h 16m 31s