Hello @Pierre-Marie Pédrot, I was wondering if you had any plans to ever release an 8.11.2 version since you hadn't backported anything since the 8.11.1 release. Now I see that you've just backported a batch of 11 PRs. Do you know when you'd like to release 8.11.2? From my point of view, the ideal would be to tag 8.11.2 before 8.12+beta1 because that would avoid having to think about presenting release notes for a non-linear release history, but that's up to you of course.
Indeed, this series of backports was motivated by the upcoming branch. I'll try to tag it on time.
Can I get somebody to merge https://github.com/coq/coq/pull/12327? Once done I should be able to tag quickly after.
Done
Thanks.
I've just tagged the 8.11.2.
FTR I just updated the "current" doc (https://coq.inria.fr/refman/ and https://coq.inria.fr/stdlib/) to point to 8.11.2, anticipating a bit on the release announcement.
@Pierre-Marie Pédrot When do you intend to publish / announce the 8.11.2 release?
I was waiting for news from the binary packages, I should probably ping the relevant people
Still no news from the people signing packages?
The packages were signed on May, 28th.
Thanks for the info! @Pierre-Marie Pédrot It would be nice to announce the 8.11.2 release ASAP so that it comes before the 8.12+beta1 announcement.
@Pierre-Marie Pédrot Ping
Ah, right, sorry I forgot about this. Since I have not the right credentials, and haven't contacted @Vincent Laporte, the MacOS packages are not signed though.
(Processes with a truck factor of 1 are really a PITA by the way.)
I'll upload the Windows packages in the meantime, although that means publishing officially the release on GitHub
The website PR is pending, I am waiting for a review
As for the MacOS packages, still haven't had time to send an email to Vincent
Writing e-mails is a huge friction for me...
I'd have preferred wasting time trying to replicate the VM signing, but I am missing the credentials.
Pierre-Marie Pédrot said:
I'd have preferred wasting time trying to replicate the VM signing, but I am missing the credentials.
Really? I think you can get them from @Maxime Dénès too.
PR reviewed
No, last news were that @Maxime Dénès was unable to connect to the VM
OK, do you want me to write to Vincent to get the credentials for both you and me?
@Théo Zimmermann that would definitely help, thanks.
Is your GPG key available somewhere publicly or on a keyserver? Can you give me a fingerprint?
This topic was moved here from #coq-community devs & users > Tips for @CoqLang tweets by Théo Zimmermann
BA47 A91F 9104 E721 84D7 0F6D 7922 C01F D9BA 3C7B
I've merged the 8.11.2 release announcement, otherwise it's going to delay you for the 8.12beta announcement
I'll update the MacOS package when available
@Pierre-Marie Pédrot Do you plan to send an announcement of the 8.11.2 release on Coq-Club / Discourse eventually? Did you manage to sign the macOS packages?
@Pierre-Marie Pédrot ping
I was fairly busy until today, I'll try to have a look at the signing tonight probably
Unfortunately it seems like the Azure CI has garbage collected the MacOS binary package, I'll push a temporary branch to recompile it
hopefully it will compile succesfully during the night :lucky:
I cannot connect the VNC client to the OSX machine it seems
on the ci-inria machine I get the following debug output
debug1: Connection to port 5900 forwarding to coq-osx1 port 5900 requested.
debug2: fd 9 setting TCP_NODELAY
debug2: fd 9 setting O_NONBLOCK
debug3: fd 9 is O_NONBLOCK
debug1: channel 3: new [direct-tcpip]
debug3: send packet: type 90
debug3: receive packet: type 92
channel 3: open failed: administratively prohibited: open failed
debug2: channel 3: zombie
debug2: channel 3: garbage collecting
debug1: channel 3: free: direct-tcpip: listening port 5900 for coq-osx1 port 5900, connect from ::1 port 57144 to ::1 port 5900, nchannels 4
debug3: channel 3: status: The following connections are open:
#2 client-session (t4 r0 i0/0 o0/0 e[write]/0 fd 6/7/8 sock -1 cc -1)
note the scary "administratively prohibited"
ah, but the server is down, I have to launch it manually...
coq-osx1 doesn't seem to want to boot, despite several attempts: https://ci.inria.fr/project/coq/slaves#
what do?
ah, it ended up starting
gah, what am I supposed to do to check that the password I am entering is correct??
@Théo Zimmermann any idea?
Vicent's mail mentions a "user field" to test the input but there is nothing like that in sight
Maybe he meant "username" ?
I guess that there is some way to echo the keyboard
but I definitely can't find it
so I am blind-typing a password, which unsurprisingly doesn't work
WTF, writing is with the US keyboard layout worked
@Théo Zimmermann ahah, the password that Vicent sent us is not correct, it's only correct up to a back-and-forth through the VNC layouts
in a shell you have to transliterate the characters
wonderful
@Maxime Dénès that might explain your issues connecting to the VM...
I believe that the wiki page is outdated since it seems to be requiring the compilation to be performed on the macos machine
This is too mysterious for me, I'll add this to the call
OK thanks for trying. I won't be able to attend the call, so let me know what the conclusion is.
Just saw the notes from today's Coq Call: "need a MacOS specific team for testing packages and also, streamlining the dmg release process.". Since I'm a macOS user, I can try and help with that stuff if you'd like. (CC @Pierre-Marie Pédrot )
That would be more than welcome!
@Maxime Dénès Folks, feel free to get in touch with me any time. I'll try to do my best.
@Théo Zimmermann it turns out that the wiki page on signing is fairly outdated
but with a heavy support from @Maxime Dénès we managed to sign the package
Oh! That's great news! Did you get a chance to update the wiki page as well?
a good chunk of the script can be reused
not yet, but I'll do this
we also need to version our signing infrastructure
thanks, that'd be useful
absolutely, yes!
it seems that we could do it directly on the CI actually
It'd been years that I've been dreaming of this.
apparently @Maxime Dénès wrote a PR to do that and the script on the VM is a variant of this
At some point I thought Maxime had managed to do it.
yes, it's unclear what happened, everything seems to be there but it's not used
So in any case, I guess you'll be uploading the installer and announcing the release very soon. I'll wait for your announcement before doing the one for 8.12+beta1.
I'll first need somebody to test the package because it seems it doesn't work on the MacOS on the VM
@Anton Trunov I am going to put the candidate package somewhere public and post a link here
so that you can test whether it's functional
@Pierre-Marie Pédrot Ok, great. Please ping me so I won't miss it
I can give it a try too
@Théo Zimmermann as observed by Maxime, this PR contains all the necessary infrastructure for CI signing: https://github.com/coq/coq/pull/7501/files#diff-40388b094e5c40547292266117d120eaR44
somehow it disappeared from master
the script is now mostly empty, the line I linked contains arcane invocation for signing the package
Oh in fact this PR was only merged into v8.9
!?
Emilio commented:
Note that merging on master would maybe be more useful. Only thing is that the main instance won't enable the CI variable.
the day before it was merged
In fact, it was made v8.9
-only because it was not managing to get approved to be merged into master...
@Anton Trunov @Matthieu Sozeau the package should be available at https://www.pédrot.fr/coq-8.11.2-installer-macos-signed.dmg
@Pierre-Marie Pédrot I tried a bunch of stuff that Théo suggested earlier. Everything worked. :tada: I'm on macOS 10.15.4 "Catalina"
It installs and works fine, but I had to do the classic right-click + open as Apple didn't trust it
Thanks guys, I've uploaded the package and make the official release statement soon
Can we remove the extra branch on GitHub now? Would you like to cross-post the release announcement to Discourse?
Yep
Last updated: Jun 09 2023 at 08:01 UTC