From 46cc6a9b8d597550f7754f956b21517946b58055 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Mon, 4 Dec 2023 16:01:29 +0100 Subject: [PATCH] Pin CI for 8.19 --- dev/ci/ci-basic-overlay.sh | 84 +++++++++++++++++++------------------- 1 file changed, 42 insertions(+), 42 deletions(-) diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 917cc0f13af3..88b23ff4fca0 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -42,16 +42,16 @@ function project { ######################################################################## # MathComp ######################################################################## -project mathcomp "https://github.com/math-comp/math-comp" "master" +project mathcomp 'https://github.com/math-comp/math-comp' '28837b16a2358f97d31424fc332498a4780c7afe' # Contact @CohenCyril, @proux01 on github -project mathcomp_1 "https://github.com/math-comp/math-comp" "mathcomp-1" +project mathcomp_1 'https://github.com/math-comp/math-comp' '26c1db2a83deffba627719c3e9b754b2bb83e83b' # Contact @CohenCyril, @proux01 on github project fourcolor "https://github.com/math-comp/fourcolor" "master" # Contact @ybertot, @proux01 on github -project oddorder "https://github.com/math-comp/odd-order" "master" +project oddorder 'https://github.com/math-comp/odd-order' '8dbbae0e53a6d1fcf3471c8fae4dd14c8f18bd93' # Contact @gares, @proux01 on github project mczify "https://github.com/math-comp/mczify" "master" @@ -62,7 +62,7 @@ project finmap "https://github.com/math-comp/finmap" "cea9f088c9cddea1173bc2f7c4 # project finmap "https://github.com/math-comp/finmap" "master" # Contact @CohenCyril on github -project bigenough "https://github.com/math-comp/bigenough" "master" +project bigenough 'https://github.com/math-comp/bigenough' 'ff71b25f31658d80fdae9657e8cf34e5e1052647' # Contact @CohenCyril on github project analysis "https://github.com/math-comp/analysis" "master" @@ -71,7 +71,7 @@ project analysis "https://github.com/math-comp/analysis" "master" ######################################################################## # UniMath ######################################################################## -project unimath "https://github.com/UniMath/UniMath" "master" +project unimath 'https://github.com/UniMath/UniMath' 'ee7af93f47daf41c752e6bd212a7aba78b6a3aaa' # Contact @benediktahrens, @m-lindgren, @nmvdw, @rmatthes on github ######################################################################## @@ -80,7 +80,7 @@ project unimath "https://github.com/UniMath/UniMath" "master" project unicoq "https://github.com/unicoq/unicoq" "master" # Contact @beta-ziliani, @Janno, @mattam82 on github -project mtac2 "https://github.com/Mtac2/Mtac2" "master" +project mtac2 'https://github.com/Mtac2/Mtac2' '71640c37a3685db5c7aab069cede807faadacc25' # Contact @beta-ziliani, @Janno, @mattam82 on github ######################################################################## @@ -89,7 +89,7 @@ project mtac2 "https://github.com/Mtac2/Mtac2" "master" project math_classes "https://github.com/coq-community/math-classes" "master" # Contact @spitters on github -project corn "https://github.com/coq-community/corn" "master" +project corn 'https://github.com/coq-community/corn' '79e7ee7cc878cd98077d16cfbac12b8133a13805' # Contact @spitters on github ######################################################################## @@ -107,7 +107,7 @@ project iris "https://gitlab.mpi-sws.org/iris/iris" "" project autosubst "https://github.com/coq-community/autosubst" "master" # Contact @RalfJung, @co-dan on github -project iris_examples "https://gitlab.mpi-sws.org/iris/examples" "master" +project iris_examples 'https://gitlab.mpi-sws.org/iris/examples' '7c5ce0d556f4e03f27ddc6463462bf4040f5103d' # Contact @RalfJung, @robbertkrebbers on github ######################################################################## @@ -119,7 +119,7 @@ project hott "https://github.com/HoTT/HoTT" "master" ######################################################################## # CoqHammer ######################################################################## -project coqhammer "https://github.com/lukaszcz/coqhammer" "master" +project coqhammer 'https://github.com/lukaszcz/coqhammer' '4131a8ccac570336b5ffefd26fd40d879f1e115f' # Contact @lukaszcz on github ######################################################################## @@ -131,7 +131,7 @@ project flocq "https://gitlab.inria.fr/flocq/flocq" "master" ######################################################################## # coq-performance-tests ######################################################################## -project coq_performance_tests "https://github.com/coq-community/coq-performance-tests" "master" +project coq_performance_tests 'https://github.com/coq-community/coq-performance-tests' 'c5e2f8d0b0057a003dcaec727ba01f38e519bf6d' # Contact @JasonGross on github ######################################################################## @@ -143,7 +143,7 @@ project coq_tools "https://github.com/JasonGross/coq-tools" "master" ######################################################################## # Coquelicot ######################################################################## -project coquelicot "https://gitlab.inria.fr/coquelicot/coquelicot" "master" +project coquelicot 'https://gitlab.inria.fr/coquelicot/coquelicot' '218b5cca041712775999f3c5ab0cac2f99defb7f' # Contact @silene on github ######################################################################## @@ -155,7 +155,7 @@ project compcert "https://github.com/AbsInt/CompCert" "master" ######################################################################## # VST ######################################################################## -project vst "https://github.com/PrincetonUniversity/VST" "master" +project vst 'https://github.com/PrincetonUniversity/VST' '6d2eb96dd42a4d3ee398eef8224e6a8ccca5c750' # Contact @andrew-appel on github ######################################################################## @@ -167,7 +167,7 @@ project cross_crypto "https://github.com/mit-plv/cross-crypto" "master" ######################################################################## # rewriter ######################################################################## -project rewriter "https://github.com/mit-plv/rewriter" "master" +project rewriter 'https://github.com/mit-plv/rewriter' '026f87bfbc5d235c3f7f31b24199305d616daff3' # Contact @JasonGross on github ######################################################################## @@ -179,7 +179,7 @@ project fiat_parsers "https://github.com/mit-plv/fiat" "master" ######################################################################## # fiat_crypto ######################################################################## -project fiat_crypto "https://github.com/mit-plv/fiat-crypto" "master" +project fiat_crypto 'https://github.com/mit-plv/fiat-crypto' '4d9fadc163b8a09d75a6836e08f52f051fa489d4' # Contact @andres-erbsen, @JasonGross on github ######################################################################## @@ -191,7 +191,7 @@ project fiat_crypto_legacy "https://github.com/mit-plv/fiat-crypto" "sp2019lates ######################################################################## # coq_dpdgraph ######################################################################## -project coq_dpdgraph "https://github.com/coq-community/coq-dpdgraph" "coq-master" +project coq_dpdgraph 'https://github.com/coq-community/coq-dpdgraph' '8452ebdebb34f66c0b87b39b757784090772fd49' # Contact @Karmaki, @ybertot on github ######################################################################## @@ -203,7 +203,7 @@ project color "https://github.com/fblanqui/color" "master" ######################################################################## # TLC ######################################################################## -project tlc "https://github.com/charguer/tlc" "master-for-coq-ci" +project tlc 'https://github.com/charguer/tlc' '1f1df8cfbdfb1838a446fa1614c8572486c0478f' # Contact @charguer on github ######################################################################## @@ -215,7 +215,7 @@ project bignums "https://github.com/coq/bignums" "master" ######################################################################## # coqprime ######################################################################## -project coqprime "https://github.com/thery/coqprime" "master" +project coqprime 'https://github.com/thery/coqprime' 'd5935ca3b7f3d2f738b0810a49858d17480d6a58' # Contact @thery on github ######################################################################## @@ -227,7 +227,7 @@ project bbv "https://github.com/mit-plv/bbv" "master" ######################################################################## # bedrock2 ######################################################################## -project bedrock2 "https://github.com/mit-plv/bedrock2" "tested" +project bedrock2 'https://github.com/mit-plv/bedrock2' '65988d2662e522b0a7dcd04ce66c47acb5c66df1' # Contact @samuelgruetter, @andres-erbsen on github ######################################################################## @@ -239,7 +239,7 @@ project coinduction "https://github.com/damien-pous/coinduction" "master" ######################################################################## # coq-lsp ######################################################################## -project coq_lsp "https://github.com/ejgallego/coq-lsp" "main" +project coq_lsp 'https://github.com/ejgallego/coq-lsp' '75a92e0abeb29cbc3f75bbffa60db04857789070' # Contact @ejgallego on github ######################################################################## @@ -251,7 +251,7 @@ project equations "https://github.com/mattam82/Coq-Equations" "main" ######################################################################## # Elpi + Hierarchy Builder ######################################################################## -project elpi "https://github.com/LPCIC/coq-elpi" "coq-master" +project elpi 'https://github.com/LPCIC/coq-elpi' 'b753aa43a643ad7c0b2722d9850253b9d737fec7' # Contact @gares on github project hierarchy_builder "https://github.com/math-comp/hierarchy-builder" "master" @@ -260,7 +260,7 @@ project hierarchy_builder "https://github.com/math-comp/hierarchy-builder" "mast ######################################################################## # Engine-Bench ######################################################################## -project engine_bench "https://github.com/mit-plv/engine-bench" "master" +project engine_bench 'https://github.com/mit-plv/engine-bench' '8c0b15abc38b1d3f7dc606f4eeef9fba1a986b05' # Contact @JasonGross on github ######################################################################## @@ -272,7 +272,7 @@ project fcsl_pcm "https://github.com/imdea-software/fcsl-pcm" "master" ######################################################################## # ext-lib ######################################################################## -project ext_lib "https://github.com/coq-community/coq-ext-lib" "master" +project ext_lib 'https://github.com/coq-community/coq-ext-lib' '00d3f4e2a260c7c23d2c0b9cbc69516f8be4ac92' # Contact @gmalecha, @liyishuai on github ######################################################################## @@ -284,7 +284,7 @@ project simple_io "https://github.com/Lysxia/coq-simple-io" "master" ######################################################################## # quickchick ######################################################################## -project quickchick "https://github.com/QuickChick/QuickChick" "master" +project quickchick 'https://github.com/QuickChick/QuickChick' '7c570ed650f770e29ea6a84d49687b1c0c2b6b72' # Contact @lemonidas, @Lysxia, @liyishuai on github ######################################################################## @@ -297,7 +297,7 @@ project reduction_effects "https://github.com/coq-community/reduction-effects" " # menhirlib ######################################################################## # Note: menhirlib is now in subfolder coq-menhirlib of menhir -project menhirlib "https://gitlab.inria.fr/fpottier/menhir" "master" +project menhirlib 'https://gitlab.inria.fr/fpottier/menhir' 'bb68b8fdb186266dbed67599cfa69a69a3c01272' # Contact @fpottier, @jhjourdan on github ######################################################################## @@ -309,7 +309,7 @@ project neural_net_interp "https://github.com/JasonGross/neural-net-coq-interp" ######################################################################## # aac_tactics ######################################################################## -project aac_tactics "https://github.com/coq-community/aac-tactics" "master" +project aac_tactics 'https://github.com/coq-community/aac-tactics' '059dd94f4fbfe23e93d5c3de800cfb71f6a0ed43' # Contact @palmskog on github ######################################################################## @@ -321,7 +321,7 @@ project paco "https://github.com/snu-sf/paco" "master" ######################################################################## # coq-itree ######################################################################## -project itree "https://github.com/DeepSpec/InteractionTrees" "master" +project itree 'https://github.com/DeepSpec/InteractionTrees' 'dda104937d79e2052d1a26f6cbe89429245ff743' # Contact @Lysxia on github ######################################################################## @@ -333,7 +333,7 @@ project itree_io "https://github.com/Lysxia/coq-itree-io" "master" ######################################################################## # coq-ceres ######################################################################## -project ceres "https://github.com/Lysxia/coq-ceres" "master" +project ceres 'https://github.com/Lysxia/coq-ceres' 'f61b24d48222db0100de19f88c19151a3aeb826f' # Contact @Lysxia on github ######################################################################## @@ -345,7 +345,7 @@ project parsec "https://github.com/liyishuai/coq-parsec" "master" ######################################################################## # coq-json ######################################################################## -project json "https://github.com/liyishuai/coq-json" "master" +project json 'https://github.com/liyishuai/coq-json' '2d1d11eb1be9ad96614d9cd224c1df7c75ec2869' # Contact @liyishuai on github ######################################################################## @@ -357,7 +357,7 @@ project async_test "https://github.com/liyishuai/coq-async-test" "master" ######################################################################## # coq-http ######################################################################## -project http "https://github.com/liyishuai/coq-http" "master" +project http 'https://github.com/liyishuai/coq-http' 'cabde79a4a0d978d031475c7443be7fd43a711c5' # Contact @liyishuai on github ######################################################################## @@ -369,7 +369,7 @@ project paramcoq "https://github.com/coq-community/paramcoq" "master" ######################################################################## # relation_algebra ######################################################################## -project relation_algebra "https://github.com/damien-pous/relation-algebra" "master" +project relation_algebra 'https://github.com/damien-pous/relation-algebra' '38cfe670448c90406fb72ff40526ad4d08b75319' # Contact @damien-pous on github ######################################################################## @@ -378,13 +378,13 @@ project relation_algebra "https://github.com/damien-pous/relation-algebra" "mast project struct_tact "https://github.com/uwplse/StructTact" "master" # Contact @palmskog on github -project inf_seq_ext "https://github.com/DistributedComponents/InfSeqExt" "master" +project inf_seq_ext 'https://github.com/DistributedComponents/InfSeqExt' '601e89ec019501c48c27fcfc14b9a3c70456e408' # Contact @palmskog on github project cheerios "https://github.com/uwplse/cheerios" "master" # Contact @palmskog on github -project verdi "https://github.com/uwplse/verdi" "master" +project verdi 'https://github.com/uwplse/verdi' 'f082f86b2a0cb56cc0703a79da351d8b9a6e7468' # Contact @palmskog on github project verdi_raft "https://github.com/uwplse/verdi-raft" "master" @@ -393,7 +393,7 @@ project verdi_raft "https://github.com/uwplse/verdi-raft" "master" ######################################################################## # stdlib2 ######################################################################## -project stdlib2 "https://github.com/coq/stdlib2" "master" +project stdlib2 'https://github.com/coq/stdlib2' '33212e05c51efa012c9dfccd0b9e735a42f2d924' # Contact @maximedenes, @vbgl on github ######################################################################## @@ -405,7 +405,7 @@ project argosy "https://github.com/mit-pdos/argosy" "master" ######################################################################## # ATBR ######################################################################## -project atbr "https://github.com/coq-community/atbr" "master" +project atbr 'https://github.com/coq-community/atbr' '39de8e4c654a530238390704677a672275649d12' # Contact @palmskog, @tchajed on github ######################################################################## @@ -421,7 +421,7 @@ project perennial "https://github.com/mit-pdos/perennial" "coq/tested" ######################################################################## # metacoq ######################################################################## -project metacoq "https://github.com/MetaCoq/metacoq" "main" +project metacoq 'https://github.com/MetaCoq/metacoq' '194116d4f80dc53253f8730aa822c52225731d71' # Contact @mattam82, @yforster on github ######################################################################## @@ -439,7 +439,7 @@ project coqtail "https://github.com/whonore/Coqtail" "master" ######################################################################## # Deriving ######################################################################## -project deriving "https://github.com/arthuraa/deriving" "master" +project deriving 'https://github.com/arthuraa/deriving' '9d6aea3df446854aa1aa009e50954e2fd0c02981' # Contact @arthuraa on github ######################################################################## @@ -451,7 +451,7 @@ project vscoq "https://github.com/coq-community/vscoq" "coq-master" ######################################################################## # category-theory ######################################################################## -project category_theory "https://github.com/jwiegley/category-theory" "master" +project category_theory 'https://github.com/jwiegley/category-theory' '41ab38d0caffaa5176a6f63810ba8d92816514a4' # Contact @jwiegley on github ######################################################################## @@ -471,7 +471,7 @@ project mathcomp_word "https://github.com/jasmin-lang/coqword" "v2.2" ######################################################################## # Jasmin ######################################################################## -project jasmin "https://github.com/jasmin-lang/jasmin" "main" +project jasmin 'https://github.com/jasmin-lang/jasmin' 'd195c58958771ba26bc479fef9a5f04fd219290e' # Contact @vbgl, @bgregoir on github ######################################################################## @@ -483,7 +483,7 @@ project lean_importer "https://github.com/SkySkimmer/coq-lean-import" "master" ######################################################################## # SerAPI ######################################################################## -project serapi "https://github.com/ejgallego/coq-serapi" "main" +project serapi 'https://github.com/ejgallego/coq-serapi' 'ba0bd1d3fb086b7a7c79adc68d1aa53e9d883d42' # Contact @ejgallego on github ######################################################################## @@ -495,7 +495,7 @@ project smtcoq "https://github.com/smtcoq/smtcoq" "coq-master" ######################################################################## # Stalmarck ######################################################################## -project stalmarck "https://github.com/coq-community/stalmarck" "master" +project stalmarck 'https://github.com/coq-community/stalmarck' '22a05ddcc6a826ffa772282f1d3a0902d3921e7b' # Contact @palmskog on github ######################################################################## @@ -507,7 +507,7 @@ project coq_library_undecidability "https://github.com/uds-psl/coq-library-undec ######################################################################## # Tactician ######################################################################## -project tactician "https://github.com/coq-tactician/coq-tactician" "coqdev" +project tactician 'https://github.com/coq-tactician/coq-tactician' '938ee07cba9719753f7f975addc611cd115f3504' # Contact @LasseBlaauwbroek on github ######################################################################## @@ -519,5 +519,5 @@ project ltac2_compiler "https://github.com/SkySkimmer/coq-ltac2-compiler" "main" ######################################################################## # Waterproof ######################################################################## -project waterproof "https://github.com/impermeable/coq-waterproof" "coq-master" +project waterproof 'https://github.com/impermeable/coq-waterproof' 'aec4fbe2a9b586b246e18b00a52c66ee7a772e79' # Contact @jellooo038, @jim-portegies on github