From a6017ae99b36d843b78886f8794c99465491deaf Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 26 Dec 2023 11:13:46 +0100 Subject: [PATCH] CI: update for Coq 8.19+rc1 - add tests with 8.19+rc1 - retire some 8.15 tests, because 8.15 is now older than 18 month --- .github/workflows/test.yml | 30 ++++++++++++---- ci/doc/README.md | 64 +++++++++++++++++----------------- ci/doc/README.pdf | Bin 48307 -> 48354 bytes ci/doc/coq-emacs-releases.org | 1 + 4 files changed, 57 insertions(+), 38 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 669d89c0a..5c2de7b37 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -97,10 +97,8 @@ jobs: - coq-8.13-emacs-29.1 - coq-8.14-emacs-27.2 - coq-8.14-emacs-29.1 - - coq-8.15-emacs-26.3 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-28.2 - coq-8.15-emacs-29.1 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 @@ -116,6 +114,14 @@ jobs: - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 + - coq-8.19-rc-emacs-26.1 + - coq-8.19-rc-emacs-26.2 + - coq-8.19-rc-emacs-26.3 + - coq-8.19-rc-emacs-27.1 + - coq-8.19-rc-emacs-27.2 + - coq-8.19-rc-emacs-28.1 + - coq-8.19-rc-emacs-28.2 + - coq-8.19-rc-emacs-29.1 # at most 20 concurrent jobs per free account # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit max-parallel: 6 @@ -164,10 +170,8 @@ jobs: - coq-8.13-emacs-29.1 - coq-8.14-emacs-27.2 - coq-8.14-emacs-29.1 - - coq-8.15-emacs-26.3 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-28.2 - coq-8.15-emacs-29.1 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 @@ -183,6 +187,14 @@ jobs: - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 + - coq-8.19-rc-emacs-26.1 + - coq-8.19-rc-emacs-26.2 + - coq-8.19-rc-emacs-26.3 + - coq-8.19-rc-emacs-27.1 + - coq-8.19-rc-emacs-27.2 + - coq-8.19-rc-emacs-28.1 + - coq-8.19-rc-emacs-28.2 + - coq-8.19-rc-emacs-29.1 # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false steps: @@ -224,10 +236,8 @@ jobs: - coq-8.13-emacs-29.1 - coq-8.14-emacs-27.2 - coq-8.14-emacs-29.1 - - coq-8.15-emacs-26.3 - coq-8.15-emacs-27.1 - coq-8.15-emacs-28.1 - - coq-8.15-emacs-28.2 - coq-8.15-emacs-29.1 - coq-8.16-emacs-26.3 - coq-8.16-emacs-27.1 @@ -243,6 +253,14 @@ jobs: - coq-8.18-emacs-28.1 - coq-8.18-emacs-28.2 - coq-8.18-emacs-29.1 + - coq-8.19-rc-emacs-26.1 + - coq-8.19-rc-emacs-26.2 + - coq-8.19-rc-emacs-26.3 + - coq-8.19-rc-emacs-27.1 + - coq-8.19-rc-emacs-27.2 + - coq-8.19-rc-emacs-28.1 + - coq-8.19-rc-emacs-28.2 + - coq-8.19-rc-emacs-29.1 # don't cancel all in-progress jobs if one matrix job fails: fail-fast: false diff --git a/ci/doc/README.md b/ci/doc/README.md index 98efd929a..71875fbf6 100644 --- a/ci/doc/README.md +++ b/ci/doc/README.md @@ -137,22 +137,22 @@ we build containers for the historic pairs of the last 6 years as passively supported versions. -This results in 43 containers. - -| | 25.3 | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | -|---------+------+------+------+------+------+------+------+------+------| -| 8.7 | H | | | | | | | | | -| 8.8 | | H | | | | | | | | -| 8.9 | | | H | | | | | | | -| 8.10 | | | | H | | | | | | -| 8.11 | | | | SUP | | | | | N | -| 8.12 | | | | SUP | SUP | | | | N | -| 8.13 | | | | SUP | SUP | H | | | N | -| 8.14 | | | | X | X | X | X | X | X | -| 8.15 | | | | X | X | X | X | X | X | -| 8.16 | | | | X | X | X | X | X | X | -| 8.17 | | | | X | X | X | X | X | X | -| 8.18 | | | | X | X | X | X | X | X | +This results in 48 containers. + +| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | +|---------+------+------+------+------+------+------+------+------| +| 8.8 | H | | | | | | | | +| 8.9 | | H | | | | | | | +| 8.10 | | | H | | | | | | +| 8.11 | | | SUP | | | | | N | +| 8.12 | | | SUP | SUP | | | | N | +| 8.13 | | | SUP | SUP | H | | | N | +| 8.14 | | | SUP | SUP | H | | | N | +| 8.15 | | | X | X | X | X | X | X | +| 8.16 | | | X | X | X | X | X | X | +| 8.17 | | | X | X | X | X | X | X | +| 8.18 | | | X | X | X | X | X | X | +| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | In the table above, @@ -245,23 +245,23 @@ following points is true for *cv* and *ev*. Running Proof General interaction tests with Coq for passively supported versions is work in progress. -This results in 26 version pairs for the Proof General interaction +This results in 33 version pairs for the Proof General interaction tests with Coq. -| | 25.3 | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | -|---------+------+------+------+------+------+------+------+------+------| -| 8.7 | | | | | | | | | | -| 8.8 | | | | | | | | | | -| 8.9 | | | | | | | | | | -| 8.10 | | | | | | | | | | -| 8.11 | | | | SUP | | | | | N | -| 8.12 | | | | | SUP | | | | N | -| 8.13 | | | | | | H | | | N | -| 8.14 | | | | | | H | | | N | -| 8.15 | | | | X | X | | H | | N | -| 8.16 | | | | X | X | | | SUP | N | -| 8.17 | | | | X | X | | | X | SUP | -| 8.18 | | | | X | X | N | N | X | X | +| | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | +|---------+------+------+------+------+------+------+------+------| +| 8.8 | | | | | | | | | +| 8.9 | | | | | | | | | +| 8.10 | | | | | | | | | +| 8.11 | | | SUP | | | | | N | +| 8.12 | | | | SUP | | | | N | +| 8.13 | | | | | H | | | N | +| 8.14 | | | | | H | | | N | +| 8.15 | | | | SUP | | H | | N | +| 8.16 | | | X | X | | | X | N | +| 8.17 | | | X | X | | | X | SUP | +| 8.18 | | | X | X | N | N | X | X | +| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | See [Container build strategy](#contbuild) for an explanation of the symbols in the table. @@ -363,6 +363,6 @@ that `cipg` can process it. diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf index fdc31be25153c924f2878884a8b0981f97a80b14..227c628252c915a83a96f06c37d874c6d272817c 100644 GIT binary patch delta 5143 zcmV+y6zJ=-`2ynk0-m^IS$VKEBX&uBT;X_FfcuKA28YBoDDYG z#a(g}T(p0GsRt!WrK&C)o=Y|`+N~BvijR+vDtY~L17|L8 z|9(*TgS@DV(oRJ0E?zpJAYR^nUVc1DX#xMj^KWn8+aXFwAR-fmwlj?jQtBK2f5G#k z(H>W{lG0qIRNtfo{B-%3fWLV840#9gaWegaI}^`D@sjy|xj8jR-1&o%Ld%WN=`cLF z5Kq@-#MTI>XWGQvHNmYZVrB85e4M)o{hxM4+VxUYXbrB$cHg4Aa#%m45ytL5Wd*)wk?IjwT28(b z-{(6_4caRFqGvTE_uTOvPV9`(3T9$5C%+m=+sq}aVSpq*xF&^2IKHNue@z=efZF)9 z*80GwL-pyhi+s9#<2I=)Tx&?&=+_oIp~g;G)&xz>L($NWEu8e|jo^VnK>mI}Q3GTm2y-y*-2Mb|Y?3P_N5JG5{ml9R9UGf)gtQ@L6!;&IwWm8TYl(R%FX@u>d z^^q_bY`Pb+HaKCue{Yukx~ht&sGVte)B=HhhKyPT)K$Az^|te|=&)hK;3zgbF-R?f zferD?J+2^e-Rha}xYlmO3hkxiOl%$9y16_=Rymb#J%-3BYZX;8!BU&~MreP@^9ao4 zWnF<@{ZcVqC~0pAHQL{Ri=r~8A&7U|8M-3D4d01OYjqSSe;>CVp%|bkoX3oIO#Yd9 z$+EPIV1#Grl0WSREi(wc)Kh^)PeV?3Dy|yuhRlA$%Q4$E3!~J=%Gx>F6gk)O3GI}A zrd!J2^2N1FRC0%B=_uop-)oVq1L2(K414%U%$fAch!_^lWug|J-G$df8E`Y+O_x$6+-ZbQZ|!<=}LO0(*% z6kav2FDZ-1-3#aJEGdw?Id`_=QgHy{uB0vx-FO=mb_Lm)JIXp4m^mEN*iQk*m~cbr9Zm-=5&JcWZOIe};Du0nBcdQ&h5Q*LsI(Hn%_9 zuGJ{htXf(4t3A=KRnMU+r&#=KyH?%dUX@dfGa$A(mnN1blR*U6=WKI!DphVq4}Q(w z2-VdV^e3C5ZRtH!nT&0>bN{6kyc&9|R5aD3^P8TM<+QNOY5Fjyof%;)vd&QrXd(uK zZet1^e^)i2bYrkgL}Tlw*7-txcrMzw16ZNZVK?FaqffY-AU=NC zx~n_Ln*BO;!Uy|crVe8eDdonN$CYoVc1n03c9gjabK?V+B5DqE*2o?zTJP%OOfy8y z?c~OI35>ga%-4IJ?RKiz309czp7!Q0Tg=&Nf2QToD+}*>`f)DMLw$En%b(C#8l#0$ zZDgRsy;;yi@c*0zO|0KB3z{fLFX(f$qo*6)zWlKR)kxf9c04#CVt~Ju2Y-$}$B~yZ zq*wHcfMvUpUO;zXH8mB(W2|xVo5h}*;l46F!s2s*P(@O_e;`sH ze__IbGNLInwmR&tyx_(~$yb%54paMDtR&}hXJ;re6erNTH9vN1)VRWA6&hxtGALA8vwmq^Dz-me%JzW}D;5e?CDAJZL@CStG;UG1ySln$CZX4QI#W_IMoL zQG9;JxboheS;Op|Vb?p~nRdC_F$rC?vjPF@I1BK}3HekGYFKv`sT0t81K_MDSvy9P z^7ZZEe_d28wE!K&f(Y7Ne*gLK<2U@_5B&Rnk-}pl{xfg=c>#}|xKDum-^;%qfBt#& zdIv}l7So_Mc)EA|*^{$ z8T84e$jQ4-vM5Wal*gdL0W*vz8S1ch2 z=V7T#`-@mAC%p1YmgX0+lty^Byk&~YU%^sE1Y)_oWdbH6>*J=5S@u?te;*P=+VVK` z&XUiw&U;Je&e|;Pfu;&xDEVnAhDsY{oxtd5&7QjRB2i?c+F>d<&HU%#WqW8zoiYmM z4h7RegwSi^9@x_<>+2zaB+X2x(1gB}yS!^!^tbP;bG8o~npUp8&M0r)jqmAo&Gxq$ zPV}~x%6enYsDBz%+*Lm~Jkb-1KdE({(wdrx-=p-MdC2|V_>*2Qxt_0|f00@13q~I_ zYpWpBtB%fJBGxE9X}hn(W`vo)0F;9e*t7N<*$M(PGn3IK7Jtc(Be@a1*H`2ZG@A?t zH$W($RVo>nn`i1an3E09#eJ|Z{(T3R;Fipks%LI<5R_t)!Pxj>q2%`aCbz%6$m#p~ z@$&Vq%oaqjU~&8S*NdVTa#NeqRs?4^C#_HrwvX@IuNNupHz|#O{q5tYN~Es9Ahg*n z@KWkKec<(r)_%vW}WW^y}TKB|8BHD440kRZ1tz%C#UMwb0J(R^Cqc z0~rL`oirLA@27%L#?LE_Wl59VRU1hYH~tkhmEY4R&?*&ml*izDuEF@LQHrZay+@j9 z)pZ`#X(d1RoQ-^fe*FSIGN4}5H>o0hM*_twl%U7aBY&*-LIpc}MAL&zGF94D6mUrp zngU@^oVsK&l6pdZL%bNvY=_Jf+<7gro~Sv?Bcp<3ai+BUwW*k?gDzb8!bh0tIp8;u zE_2yyC>qk1S!thJ6TUZSuNLMq^TMN%L-kfUNP6#d?qt}kvjR|6$Gztjqt&Y06$e1< zY-=0mNq>*kU06qLJ*(q;JES~Uv_8~@eyEEE zlam{R7YN4)sgDrSUwXF21y3VnnjI0+Gol@Ykk2CINH4C`?s+9YQl)(YQ^Bx2-@piP{mGjlBz6uv=6?dfkV;YMMCDOgu6y6@9 z%;%tlY7oStXn`+BzXLMk`UHW8M>dWE%uoNRx! zB5KlWNXQir%Ue7Yq(w@tQ^f93F7Vk@jmDQ8`~|(=>ZRTT*%K?NVA(4dPsH&T9C(JFAN*w za)Y^uNHTdm8a8nex=YZtGczA)BqlmF?Rd{di(=)shsjK)R+3$mt!W&e$4cXWTKCq~#zq<8GIq#Q@3mdNGk|r%dR+FW za`h)$I5TQ}@% z7nXa^S^a)rMhtdd8`ugk8^IXiy6Yl_n50YWiz}4XBMcwb1VXn(qXKt+h`YiFLn$HM zP(sq!d)J;%Gt;50p1^G;xhx}s7F0^if~BPR+Sfb`KJ;yKJ=F6MwH|kiV~%xg_qsQp zF*;Ri2jIh6r*J~mteJnATbQe;u(!vmJf}2=VpTgsx32p%cVOc0c6+sR1Tez4ixhNa zvCMjl7DKb^ZgH<+J~ouMcL6T{VzqPaUgls|8M{k6uXdQm7dvjc*vUL~YT`ng7bYQY zUBtL9wGwmmecLlbJ$kc5WPY1K{k@PY&9#yn94VWMLEqBy;h=xmq^q|MVmk1!w>sl6 z3=}v?v#>;;!L!nv@uXXGY0}jVSCPTu6i@1z&l^sCim1%CCSi8k%SiUE#%iZ}xc7|h zvzKYRGVe)}G>=;(x69QYfe@-U<@B4k+j#yqkH69*Kynj+e4W z8d0Y2(4}9@Yc_uvua0?6;Eu1_Won8I6i)+RrKeU@ezWN208gz?r#<|uD59o7}LA! zx>GvJvCB2AKPZCQ{01d{Ts>nrtDNd-*Co9~x z9at?SRs7R-vHt;iG*xrpR`L|L?p*1igeWN&vO5Wf zCcf_r_{4wsNfUo{J+IIU)!GZ6y^HFwY1iP_%Lf1IT6fw1umsfMh`|XI#|xp9Ow|~E zEher{TL+IbmGVRU66 zC`39kFfubSGBP$XF)%eSI4dwQvk$Ry2}U(SI5Ig!L_s(>GD9^&LOC@tLqat|H%2rt zF*YzpG&VjUJT*c%GC4&=K{z-vLp4G|IW;juLN!7+Ml>)nHZVpsHa;L-lfaH112Z`| zli`jPe;v}xPLoj(!10+6gjOoh3j(EFYNb_+P^;pFJ1EssYQ1u+D7bgwjs%n0x*=(N z0gUVnF(xJ?P4EGH51vE+!{XO7-*mn&=bRZ4`4>naIycR4plCrWE}#wV2qBD%=s;8@ z;q?(*3dDL?J6WUfXRqx-H!<~xc#LI~@B~j$Mhz96`s%f-sNxx(b3Whq3%n%ubG*W9Vn5d#tP%S; zf7h`=?C0LZ7O~$$9dC*KUbgX$ILZ1RJH&psyZAsXy8K79lotKD8IV^f`=6Rn3dT-s@sERgDM8AFX zd<^u|68inG=uuJhc+m6o*O&>Tx0V6@4>0;?S^b$4ZC2$!JK97&JI>) zI6A{lZi9>b_g#DxU(N1m30fx?2%}-MSjBpL_2`k?pPStN^&qFu+uOrWugY#g1OznO z+aC{#9>`5?N}~u4Hz!dj2;1BD?bk;sEzqBT`t9xKdWaGdn8*a7?M#DSO8rWIfAI9h zXh$nrNoj6Us&7&PePVjz>4}q1kaiFsl<^7ej65U7bK?8cE2=@_#vhCnTJD67hta{A zc)D&!Y>hxY(?;f41-B-PmBfSmNn$0DG4L*vSIf6}$^0!|5MDAB=)A8zP3Nn4KJUeE zc^^LaT;g}$&$1YwKjUdxuDSz%GL0#_OfjAazB8JWVZ&gAa;8_BiHuDY>j^@%4)W#b z`R(Zoc;B(eS0RyKiy$)oA9n@b^_*2`4XuWH->kcQSUaQ=hUPwb1->Sc$`LnSj=mG# z=R2Jmv{m#)&uWP7dEh%eF&d#2%*1TY{%S03HJ2=g0havanj9kj{F-WiHmwH%YUk5h z>l2^$#i#Qw_UZhsw@F!HU%m~ihyK}MWb{OW4f=cUV75L&Am1_!WJT&VbYG5Q2szJsmanI`1$`H$_< zx%AQn9W=LqTM3C*ep+M4m)Ob6nxUzBC>i=o4JSQ1`EyYl+h=x_B8X&_^y-K@=XjVC z=9FSl6L?S%u)m*BlmM9s{2Yu2x4(cKyX4Br5hytZH?uxL$4aSxU3RFE@_m*#fsxJ- zz%kf7;|#K@w?PkdHG(03Mm?7Ev8j)d8yk@A>mXDp4B8_g)5bq`9@YaH*Av>f$C+RS zWOe~$d3O(Fd1X+9@h3p$DxK?qOq)X>a|<9Vx76oAmJijg!;&m)VUtfAl(R%FX@qT{ z^^q_bY!TE!9zfn0(wif?|NG@IGcVcJj~6 zbC%^@3?qGp&iT{s&@zG0b2$~d=&8twm*T4OuE^|mys)!fwJ=F-tSp_QjgfQ9pHNR} zXW~-+nlElmqMSQimyQxHxuX`zA_zp+m-n=pjxZ%}yTG5kx+~(de#xJb{IQ?L8*lEL zpR#Y!DK~b1X!sOf9jqhy{^oHk@oO>23h8o5C6B5|=)Xvx=B`7SyA4@?na+t9sWhqH zO5s%X`kb=*xO?t7qh$s5Zr(dvcBwD`aZ^&0hi|+O3cG^r#GPcF4BR{FXt)A;S=QQ@ z*~igQS#vPSnH|OS5SiWP93oe#(`qlAZN5FhXY1B~=5~$lAUv4EDkrOC)vmP;)9h}4 zwOuPwrn_oo;ji{WyH-4htDJ1{tL<8GhkI2{HqL<9=31IqnoN4(vCY}$?3AnAgdY7h zTO(9fYtUb8iuR@VP-S*(o1NQ}TJUOUty0!hmCo&Y$}Xq*WlqzlIqk{_W07^vYCsbx z7<3(fQ|Pd&0VR&XG7*ifn_A}!_2Ic_n5kR9s+~UJZi4vu zWy`MSAZzyP)CnK#gFAH?Lr5uiwmh$V8#OB7oIg*e>TLH@#YV8ge0)5byX-N4XRn!>LvLMpm($O4fgb9+Yg+z<#?lxq zl&T{G?eEQkCW3!*7BsPb$1G@~9KE2;(azp(H2e0i9k@p7J?6lJBO-eEzw+SE(dRhw zQik1H_{1c4y>l8Vt9=;PJWZvQ#0IFhF4hqT)-ERRNuc3MaD=pb_;Sj0)Rz- z*TB^<<3JwKY}8Pt#EVbf4hcFG_>Aun*_yc_@_k)qB$w&0&HeW80>Uti+!;{wcruy9 zv(pae>w4u@0@r@H3f7RGk6l_?U-y`QeU4}QcrECl^-yPx40p$1Ls4rQ|1~yT9go}d zad<=V`5oiRdkMK?|f(4?bS|6Xwzr~0oHjI=qD%aQz@un-C4v=0Ke`4yz5EU zj!~t2d3*TZ=pou~+5&x=?LXfie*KM}{7!#AZ&EnQ#DAr|-#1Np6?GgK{&)L-<>B9_ zzwdBTfVV`V1UT$pKINh#-$7x1i5Y7~+lEbxi` zV=Zbc9KcSCCio9&k&lJ={=fZpf(0}Q;*)c}?BhNXDxhj4%!HZ%3LTmgLP+xkQ_!s?|w z$-t`<4TgD1`J7A+m{9aszZ5%p=tU-ZiB$6?pb97Kj1&mVJLyixF6JR8ary7*h9y(* z0v#-w`X9zrp>WDA6>EPOQ)z_5z z`*vp0c)qUy*}ny-TDi3XApab0`~h9lZ2OtPg{ISTy=}}D^-mLoyXprN4dLBIt?QUo z)I|Iqr5_9`?l-NU^t+EG+x5cs2bs0}^5=tQtwWah8$@(lpaP+#RmyVxX2O}j0m}XR z>9Y?U*$M(MIgvpWf8|;^k1M$m&gWP39~eF!#Ucp^13ZmJ1~#)j*-ml8C+m37o6 zqTlYQmh1!&TIrd(zDnt2S-BQOOCyYPyOp=o{j>}Ma3_t?kM~nSDC_5y7Fp6HchyGH z#EpMNP38CW3A9Q@9py27J=b9T)hNZ)quwLUwCXyKnzWLid(K8awRwBhJ~E)*(l@Ch zeMbVtE0mzef6*h*d!Yi(9?|q5lT4L%6-B!w2u;ypP@KACF_L;henY%iWVS=*N#A)b zv7V?o(4o+vs^i}CiqUG-?TP~cbhgFDe|gelbr;rAThFrVJ4;&U-A zNY99N5JJ9+kR!dg(zxf9{79Af1g0n{z&DrjkFu9(!9IJbN6gnFW`6PrR4f63!OdGg zliC=QU@0DdgBI4>|0@svWAxd3u?U{kN>1UW-mD|%&=nc%{VgXiw-T^#tVkk8&Zv!z zvrJ~Lg@VGjHc@-#dyDw&uZc^~Ge+Btvl85eF@WT4dx_$6v}2|>=SF#S7p)3=uEnA} zQVpfs!RilOG(a>`VMAyA#8t`T!lfnBz1I}p9-_>D=IB zp`!VkN8#QtOt(LP*(`u?296J$zfAOQSy5~mW5U2sa;wOLs)GQfRCw&F#<&AlEkf_o_^@}?YMGDEmw%0}Vf;oik%|2Fw;wOR{zh;9 zPM=?YHYpr|{D0EiADaOq&;)w^=l0i^Kc80OP73V_VwD%Z)zw!HXR#=MdsXOswO}5$ zdO3{O_3%Ul1|ne^o`_Icvf7e|r`hmPXCEt3QQ2;Ar$iu#{23)OS*b+OEg@hAVSmVJ zHh3cC%skte^=#*bRBoOPAM4qOg8XitZ6mgSh4l&xRCKu2illd=T=MOBJ~7nMV}K_f=T(7#)nhe1e9Lx7UCwoDd>!*RW*Ggf9`2 zR0w-q67o%JF7`H@#PWy=O(9Q@`k1^4Kz^#00^39Kh2=r9fG1KIuZ3|-DadypY}1W@ zb~`S&A*=ztl*X9DZOS9D9v@wM#NFJ(^KOvhnfl{EvxI45C|sIWS*eWsMwcQW&i(iA zWzk>ya)9z#sxhbaIS!1;5eL5(qgp~*!fwe?#x_cdJ9110V-iprI&*=dt)@D6C(#&W z7ahfjCy>K*B%^N~hkno)!PM>bj%E5AKVB{H>=YJzMn+xR@@ z`A2OG3KyeX+J)rfobb!8cPZQc+*d29uQ$1+{c1GVN6|4_LKNR{3n9zd6i7 z?8*`drGRro0Y_sWU2{CmOoy_10ylZ&vQ-m|&{EBUrEK!rR~!sJ^o_Y1>3N7+kGsV& z$GXP7?yYBxPPNhj_^{R~oKP)kXXX~>Dk|*lu_}%=1#0Ko8M<}7pSk~k5r4P4qn#sY zD}1}g09O{vthZ<}u)E$8SNij@p$xhUaQPRjoh#=u2fDh{UD|oYVH#hnxanFY^VF${ z%UE8Rgt&DP-YyZD-zHH1DCA0OtK*{I@(KNaGcVC2 z0btc{Qh1~hW&8eE`o+9vgYoK^=LGJzs$Hh0*g)|#@I`iN1m!n>i(Xoub*gpHNP^-@ z>rgVt$J(Ntb46sjyj>xsN*#uJ3Maecw6ECRS;cPsQN{j0$YZFQ({3eCaqG^N9!dz3 zav|JFIJD4xU%)5EPg>}!%W(x>sMcQi>P=9GO}qBGS+>`ISC^{G{s$6Jha(0jP#mvg zQZiLz__dh09@!?{BmARp<=hwWZ(P9m2RWnUKg)D#h3n**F_%p2@tgh*i~${La?(ke zr2_14w|HylatL#sx9Z_7k30i!P}5}2XW_b{#kZ?_5xbId>6sKVb-N0ETfDAA)I59RdH8nXaFfx-Ju@?+5GB`0d zGBq_hD=;#%K(TTOMn*zLGeb2pMmI$?HaIsqIWjdvH$p{0G)6E&K{hfmMm``sMnXn2 zLp3r+H$^lyI5#;tGBratLPbF|MleD_HZn0rJ|JC_@s1t?G%zre;aL@b9nworlTi@H z@tK!frR7pu5wR7pSVfVFCC1hLV**(`Lk`dJ6eDk`?G4f0oUeC)o?2Y@c0_9` uy8qYL>8~*pMsF<<1^Qw1&(eBuE_$4l3uVwnbd$Qg9|<%y3MC~)Peuy1#_DVU diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org index dfb167f83..93269359e 100644 --- a/ci/doc/coq-emacs-releases.org +++ b/ci/doc/coq-emacs-releases.org @@ -5,6 +5,7 @@ | date | coq | emacs | distribution name | EOL | historic | |---------+--------+-------+-------------------+----------+----------| +| 2023/12 | 8.19rc | | | | | | 2023/09 | 8.18.0 | | | | | | 2023/07 | | 29.1 | | | | | 2023/06 | 8.17.1 | | | | |