Stream: GitHub notifications

Topic: Coq Push Notifications


view this post on Zulip Coq Github Bot (May 10 2020 at 10:33):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Coq Github Bot (May 11 2020 at 10:19):

ppedrot pushed 10 commits to branch master. Commits by JasonGross (9) and ppedrot (1).

view this post on Zulip Théo Zimmermann (May 11 2020 at 10:23):

Some squashing wouldn't have hurt, especially of the "Fix" and "Revert Fix" commits :P

view this post on Zulip Coq Github Bot (May 11 2020 at 11:37):

ppedrot pushed 2 commits to branch v8.11. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 11 2020 at 11:52):

ppedrot deleted the branch macos-binary-8.11.1.

view this post on Zulip Coq Github Bot (May 11 2020 at 13:17):

ejgallego pushed 4 commits to branch master. Commits by ppedrot (3) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 11 2020 at 20:15):

herbelin pushed 2 commits to branch master2. Commits by herbelin (1) and lthms (1).

view this post on Zulip Coq Github Bot (May 11 2020 at 20:15):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and lthms (1).

view this post on Zulip Coq Github Bot (May 11 2020 at 20:16):

herbelin deleted the branch master2.

view this post on Zulip Coq Github Bot (May 11 2020 at 20:19):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 11 2020 at 21:08):

ppedrot pushed 24 commits to branch v8.11. Commits by ppedrot (10), herbelin (8), Zimmi48 (2) and others (4).

view this post on Zulip Coq Github Bot (May 12 2020 at 08:09):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and olaure01 (1).

view this post on Zulip Coq Github Bot (May 12 2020 at 15:02):

anton-trunov pushed 2 commits to branch master. Commits by anton-trunov (1) and olaure01 (1).

view this post on Zulip Coq Github Bot (May 12 2020 at 15:04):

ppedrot pushed 18 commits to branch v8.11. Commits by ppedrot (8), herbelin (5), kyoDralliam (2) and others (3).

view this post on Zulip Coq Github Bot (May 12 2020 at 15:13):

ppedrot pushed 5 commits to branch master. Commits by herbelin (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 12 2020 at 15:29):

anton-trunov pushed 2 commits to branch master. Commits by anton-trunov (1) and olaure01 (1).

view this post on Zulip Coq Github Bot (May 12 2020 at 19:09):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 12 2020 at 21:43):

ppedrot pushed 4 commits to branch v8.11. Commits by SkySkimmer (2) and ppedrot (2).

view this post on Zulip Coq Github Bot (May 13 2020 at 00:09):

JasonGross pushed 6 commits to branch master. Commits by kyoDralliam (3), ppedrot (2) and JasonGross (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 01:06):

ejgallego pushed 9 commits to branch master. Commits by ppedrot (8) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 03:43):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 07:23):

ppedrot pushed 6 commits to branch v8.11. Commits by herbelin (3), ppedrot (2) and proux01 (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 07:24):

ppedrot pushed 2 commits to branch v8.11.

view this post on Zulip Coq Github Bot (May 13 2020 at 08:24):

anton-trunov pushed 7 commits to branch clarify-merging-with-overlays. Commits by llelf (5) and anton-trunov (2).

view this post on Zulip Coq Github Bot (May 13 2020 at 08:26):

anton-trunov deleted the branch clarify-merging-with-overlays.

view this post on Zulip Coq Github Bot (May 13 2020 at 10:49):

ppedrot pushed 2 commits to branch v8.11. Commits by Zimmi48 (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 11:03):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 11:06):

Zimmi48 pushed 7 commits to branch master. Commits by herbelin (6) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 17:19):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and k4rtik (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 23:36):

ejgallego pushed 3 commits to branch master. Commits by ppedrot (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 23:37):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and herbelin (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 23:46):

ejgallego pushed 5 commits to branch master. Commits by herbelin (4) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 13 2020 at 23:48):

ejgallego pushed 4 commits to branch master. Commits by Zimmi48 (2), Lasse Blaauwbroek (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 06:31):

vbgl pushed 2 commits to branch master. Commits by SkySkimmer (1) and vbgl (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 09:15):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 09:16):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 13:31):

Zimmi48 pushed 3 commits to branch master. Commits by anton-trunov (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 14:18):

ppedrot pushed 2 commits to branch v8.11. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 14:34):

maximedenes pushed 4 commits to branch master. Commits by ppedrot (3) and maximedenes (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 14:43):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 15:08):

Janno pushed 1 commit to branch janno/cs_lambda.

view this post on Zulip Théo Zimmermann (May 14 2020 at 15:12):

@Janno You seem to have mistakenly pushed to the main repo. Could you please delete your branch?

view this post on Zulip Janno (May 14 2020 at 15:12):

Oh, sure! I wonder how that happened

view this post on Zulip Coq Github Bot (May 14 2020 at 15:13):

Janno deleted the branch janno/cs_lambda.

view this post on Zulip Théo Zimmermann (May 14 2020 at 15:13):

From the name of the branch, I bet this is a confusion in the git push syntax.

view this post on Zulip Théo Zimmermann (May 14 2020 at 15:13):

I.e. you probably wanted to push to your fork and pushed to a new janno/branch_name branch instead.

view this post on Zulip Janno (May 14 2020 at 15:13):

Oh, indeed, I copied git's proposed --set-upstream thingy which always suggests origin..

view this post on Zulip Janno (May 14 2020 at 15:15):

I should absolutely not be able to push anything to the main repo, btw. GitHub really needs to come up with a better way of handling permissions..

view this post on Zulip Théo Zimmermann (May 14 2020 at 15:15):

FTR I recommend adopting the following convention:

Then, you can use a .gitconfig similar to mine: https://github.com/Zimmi48/dotfiles/blob/master/.gitconfig
(see in particular push.default + remote.pushdefault) so that pushing always go to your fork by default.

view this post on Zulip Théo Zimmermann (May 14 2020 at 15:16):

GitHub really needs to come up with a better way of handling permissions..

Agreed!

view this post on Zulip Janno (May 14 2020 at 15:17):

Théo Zimmermann said:

FTR I recommend adopting the following convention:

Then, you can use a .gitconfig similar to mine: https://github.com/Zimmi48/dotfiles/blob/master/.gitconfig
(see in particular push.default + remote.pushdefault) so that pushing always go to your fork by default.

I'll try to adopt that convention!

view this post on Zulip Coq Github Bot (May 14 2020 at 15:25):

SkySkimmer pushed 3 commits to branch master. Commits by herbelin (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 19:34):

herbelin pushed 7 commits to branch master. Commits by ppedrot (6) and herbelin (1).

view this post on Zulip Coq Github Bot (May 14 2020 at 19:47):

ppedrot pushed 2 commits to branch v8.11.

view this post on Zulip Coq Github Bot (May 14 2020 at 20:29):

ppedrot pushed 3 commits to branch v8.11.

view this post on Zulip Coq Github Bot (May 14 2020 at 20:30):

ppedrot pushed tag V8.11.2.

view this post on Zulip Coq Github Bot (May 14 2020 at 20:35):

ppedrot pushed 1 commit to branch v8.11.

view this post on Zulip Coq Github Bot (May 15 2020 at 07:41):

MSoegtropIMC pushed 8 commits to branch master. Commits by gares (7) and MSoegtropIMC (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 08:37):

anton-trunov pushed 7 commits to branch master. Commits by llelf (6) and anton-trunov (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 11:38):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 11:48):

ppedrot pushed 2 commits to branch master. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 15:03):

herbelin pushed 12 commits to branch master. Commits by proux01 (11) and herbelin (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 15:35):

ejgallego pushed 3 commits to branch master. Commits by Zimmi48 (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 15:42):

ejgallego pushed 3 commits to branch master. Commits by herbelin (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 15 2020 at 19:07):

cpitclaudel pushed 61 commits to branch master. Commits by Zimmi48 (60) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 11:58):

ppedrot pushed 3 commits to branch master. Commits by ejgallego (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:08):

Zimmi48 pushed 3 commits to branch master. Commits by gares (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:10):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and herbelin (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:21):

ejgallego pushed 14 commits to branch master. Commits by herbelin (7), Zimmi48 (6) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:38):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:44):

Zimmi48 pushed 4 commits to branch master. Commits by ejgallego (3) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 17:47):

ejgallego pushed 3 commits to branch master. Commits by Matafou (1), Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 16 2020 at 19:25):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and VincentSe (1).

view this post on Zulip Coq Github Bot (May 17 2020 at 20:09):

JasonGross pushed 2 commits to branch master. Commits by JasonGross (1) and MSoegtropIMC (1).

view this post on Zulip Coq Github Bot (May 18 2020 at 11:12):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 18 2020 at 13:20):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 18 2020 at 13:49):

b7c14a8 changed its status to success.

view this post on Zulip Coq Github Bot (May 18 2020 at 13:49):

Janno opened PR #12349 Allow dependent products in canonical instances. from janno/cs_dep_prod to master:

This removes the restriction to non-dependent products. Dependent and non-dependent products are handled the same way.

The code is arguably simpler than before and also more powerful. I have some use cases in mind but they would probably only work with Unicoq so I can't provide a very compelling example here. In any case, @gares and @mattam82 seemed to agree that this could be a worthwhile change, and, based on what @ggonthier's wrote in https://github.com/coq/coq/issues/11189#issuecomment-558673619, it seems that removing the dependency check could be the right thing to do even without any use cases where the function type actually is dependent (as opposed to just appearing dependent during unification).

This needs benchmarking since it might well be slower for non-dependent functions than the original code.

I'll add documentation after #12329 is merged since that PR contains new documentation for canonical structures.

<!-- Thank you for your contribution.
Make sure you read the contributing guide and fill this template. -->

<!-- Keep what applies -->
Kind: feature.

<!-- If there is a user-visible change in coqc/coqtop/coqchk/coq_makefile behavior and testing is not prohibitively expensive: -->
<!-- (Otherwise, remove this line.) -->

view this post on Zulip Coq Github Bot (May 18 2020 at 13:49):

Janno requested pretyper-maintainers for a review on PR #12349 Allow dependent products in canonical instances..

view this post on Zulip Coq Github Bot (May 18 2020 at 13:50):

60ec5b9 changed its status to failure.

view this post on Zulip Coq Github Bot (May 18 2020 at 13:55):

60ec5b9 changed its status to pending.

view this post on Zulip Coq Github Bot (May 18 2020 at 14:02):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Théo Zimmermann (May 18 2020 at 14:05):

@Gaëtan Gilbert I've moved the other notifications that you had added to another topic "GitHub Noisy Notifications", so that people (like me) can easily mute them.

view this post on Zulip Gaëtan Gilbert (May 18 2020 at 14:06):

cool

view this post on Zulip Coq Github Bot (May 18 2020 at 14:57):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 18 2020 at 14:58):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 18 2020 at 15:12):

Zimmi48 pushed the branch v8.12.

view this post on Zulip Coq Github Bot (May 18 2020 at 15:56):

gares pushed tag V8.13+alpha.

view this post on Zulip Coq Github Bot (May 18 2020 at 16:02):

gares removed tag V8.13+alpha.

view this post on Zulip Coq Github Bot (May 18 2020 at 16:15):

herbelin pushed 5 commits to branch master. Commits by SkySkimmer (3), ejgallego (1) and herbelin (1).

view this post on Zulip Gaëtan Gilbert (May 18 2020 at 16:37):

Maybe we should have a stream just for notifications too btw

view this post on Zulip Emilio Jesús Gallego Arias (May 18 2020 at 17:06):

Yes, seems too noisy, especially with the CI event.

view this post on Zulip Théo Zimmermann (May 18 2020 at 17:08):

(you can mute any given topic)

view this post on Zulip Gaëtan Gilbert (May 18 2020 at 17:09):

I'm going to disable the CI events, they just post commit hashes so it's impossible to tell which ones we should care about.

view this post on Zulip Emilio Jesús Gallego Arias (May 18 2020 at 17:29):

Still would be a bit more organized under their own stream IMO

view this post on Zulip Emilio Jesús Gallego Arias (May 18 2020 at 17:29):

They pollute the topic namespace

view this post on Zulip Coq Github Bot (May 19 2020 at 12:12):

SkySkimmer pushed 5 commits to branch master. Commits by ejgallego (4) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 19 2020 at 12:23):

ejgallego pushed 3 commits to branch master. Commits by gares (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 19 2020 at 15:27):

cpitclaudel pushed 4 commits to branch master. Commits by Zimmi48 (2), cpitclaudel (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (May 19 2020 at 22:13):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 11:31):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 11:32):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 11:33):

SkySkimmer pushed 4 commits to branch master. Commits by ejgallego (3) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 11:38):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 12:24):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 20 2020 at 18:19):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (May 21 2020 at 12:47):

SkySkimmer pushed 4 commits to branch master. Commits by JasonGross (3) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 21 2020 at 12:47):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 21 2020 at 12:48):

SkySkimmer pushed 3 commits to branch master. Commits by SkySkimmer (1), Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 21 2020 at 12:49):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 21 2020 at 12:51):

SkySkimmer pushed 5 commits to branch master. Commits by ejgallego (4) and SkySkimmer (1).

view this post on Zulip Notification Bot (May 21 2020 at 20:13):

This topic was moved here from #Coq devs & plugin devs > Github Push Notifications by Théo Zimmermann

view this post on Zulip Coq Github Bot (May 21 2020 at 22:19):

ejgallego pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 22 2020 at 09:59):

ppedrot pushed 2 commits to branch master. Commits by ppedrot (1) and proux01 (1).

view this post on Zulip Coq Github Bot (May 22 2020 at 10:04):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 22 2020 at 15:47):

ppedrot pushed 5 commits to branch master. Commits by proux01 (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 23 2020 at 12:25):

ejgallego pushed 2 commits to branch v8.12. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 23 2020 at 16:05):

Zimmi48 pushed 26 commits to branch v8.12. Commits by Zimmi48 (11), proux01 (4), SkySkimmer (3) and others (8).

view this post on Zulip Coq Github Bot (May 24 2020 at 12:18):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (May 24 2020 at 17:03):

JasonGross pushed 3 commits to branch master. Commits by Zimmi48 (2) and JasonGross (1).

view this post on Zulip Coq Github Bot (May 25 2020 at 14:27):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and mdempsky (1).

view this post on Zulip Coq Github Bot (May 25 2020 at 17:25):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 25 2020 at 17:26):

ppedrot pushed 2 commits to branch master. Commits by gasparattila (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 26 2020 at 10:17):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 26 2020 at 10:40):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 26 2020 at 14:15):

Zimmi48 pushed 11 commits to branch v8.12. Commits by Zimmi48 (7), JasonGross (1), gasparattila (1) and others (2).

view this post on Zulip Coq Github Bot (May 27 2020 at 09:45):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 27 2020 at 20:00):

gares pushed 3 commits to branch master. Commits by Mbodin (2) and gares (1).

view this post on Zulip Coq Github Bot (May 28 2020 at 18:01):

Zimmi48 pushed 3 commits to branch master. Commits by ppedrot (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 29 2020 at 10:20):

ejgallego pushed 3 commits to branch master. Commits by herbelin (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (May 29 2020 at 14:53):

SkySkimmer pushed 10 commits to branch master. Commits by ejgallego (9) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 01 2020 at 10:53):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 01 2020 at 14:37):

ejgallego pushed 3 commits to branch master. Commits by herbelin (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 01 2020 at 14:38):

ejgallego pushed 8 commits to branch master. Commits by Zimmi48 (7) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 02 2020 at 11:43):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 02 2020 at 13:52):

gares pushed 4 commits to branch master. Commits by Zimmi48 (3) and gares (1).

view this post on Zulip Coq Github Bot (Jun 03 2020 at 09:01):

Zimmi48 pushed 24 commits to branch v8.12. Commits by Zimmi48 (18), herbelin (4), JasonGross (1) and others (1).

view this post on Zulip Coq Github Bot (Jun 03 2020 at 13:12):

gares pushed 2 commits to branch master. Commits by gares (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 03 2020 at 13:15):

gares pushed 2 commits to branch master. Commits by gares (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 03 2020 at 16:02):

herbelin pushed 6 commits to branch master. Commits by ppedrot (5) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 04 2020 at 11:21):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 09:31):

maximedenes pushed 4 commits to branch master. Commits by ppedrot (3) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 13:15):

Zimmi48 pushed 1 commit to branch document-sphinx-3-incompatibility.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 13:15):

Zimmi48 deleted the branch document-sphinx-3-incompatibility.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:31):

ejgallego pushed 3 commits to branch master. Commits by Zimmi48 (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:32):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:35):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:35):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:39):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 15:39):

ejgallego pushed 3 commits to branch master. Commits by Zimmi48 (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 05 2020 at 18:44):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 06 2020 at 20:07):

Zimmi48 pushed 6 commits to branch master. Commits by cpitclaudel (4) and Zimmi48 (2).

view this post on Zulip Coq Github Bot (Jun 06 2020 at 20:09):

Zimmi48 pushed 14 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Jun 07 2020 at 14:35):

Zimmi48 pushed 6 commits to branch v8.12. Commits by cpitclaudel (4) and Zimmi48 (2).

view this post on Zulip Coq Github Bot (Jun 07 2020 at 16:14):

cpitclaudel pushed 2 commits to branch master. Commits by cpitclaudel (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 08:57):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 09:22):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 10:21):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 10:33):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 11:42):

Zimmi48 pushed 6 commits to branch v8.12. Commits by Zimmi48 (4), cpitclaudel (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 14:50):

Zimmi48 pushed 4 commits to branch v8.12. Commits by SkySkimmer (2) and Zimmi48 (2).

view this post on Zulip Coq Github Bot (Jun 08 2020 at 15:42):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 09 2020 at 10:40):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and mattam82 (1).

view this post on Zulip Coq Github Bot (Jun 09 2020 at 10:42):

Zimmi48 pushed 7 commits to branch master. Commits by jfehrle (6) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jun 09 2020 at 17:32):

VincentSe pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and VincentSe (1).

view this post on Zulip Coq Github Bot (Jun 09 2020 at 18:37):

silene pushed 3 commits to branch master. Commits by proux01 (2) and silene (1).

view this post on Zulip Coq Github Bot (Jun 10 2020 at 13:31):

Zimmi48 pushed 12 commits to branch v8.12. Commits by jfehrle (6), Zimmi48 (3), proux01 (2) and others (1).

view this post on Zulip Coq Github Bot (Jun 10 2020 at 14:25):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 11:04):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 11:06):

ppedrot pushed 2 commits to branch master. Commits by gasparattila (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 14:42):

ejgallego pushed 6 commits to branch master. Commits by Zimmi48 (3), MSoegtropIMC (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 14:42):

ejgallego pushed 4 commits to branch master. Commits by Zimmi48 (3) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 18:10):

Zimmi48 pushed 14 commits to branch v8.12. Commits by Zimmi48 (11), MSoegtropIMC (2) and gasparattila (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 22:00):

maximedenes pushed 2 commits to branch master. Commits by ejgallego (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 23:02):

ejgallego pushed 6 commits to branch v8.12. Commits by Zimmi48 (3), MSoegtropIMC (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 11 2020 at 23:03):

ejgallego pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 12 2020 at 08:55):

gares pushed 4 commits to branch master. Commits by ejgallego (3) and gares (1).

view this post on Zulip Coq Github Bot (Jun 12 2020 at 17:35):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Jun 12 2020 at 22:46):

Zimmi48 pushed tag V8.12+beta1.

view this post on Zulip Coq Github Bot (Jun 12 2020 at 22:46):

Zimmi48 pushed 1 commit to branch v8.12.

view this post on Zulip Coq Github Bot (Jun 15 2020 at 08:40):

vbgl pushed 2 commits to branch master. Commits by Zimmi48 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Jun 15 2020 at 09:47):

maximedenes pushed 5 commits to branch master. Commits by fajb (4) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 15 2020 at 17:08):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and beta-ziliani (1).

view this post on Zulip Coq Github Bot (Jun 16 2020 at 22:18):

ppedrot pushed the branch binary-macOS-8.11.2.

view this post on Zulip Coq Github Bot (Jun 17 2020 at 11:15):

gares pushed 2 commits to branch master. Commits by ejgallego (1) and gares (1).

view this post on Zulip Coq Github Bot (Jun 17 2020 at 12:23):

CohenCyril pushed 4 commits to branch master. Commits by gares (3) and cyrilcohen (1).

view this post on Zulip Coq Github Bot (Jun 17 2020 at 13:28):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Jun 18 2020 at 07:19):

Zimmi48 pushed 2 commits to branch master. Commits by Blaisorblade (1) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jun 18 2020 at 07:22):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (3) and proux01 (1).

view this post on Zulip Coq Github Bot (Jun 19 2020 at 13:53):

Zimmi48 pushed 6 commits to branch v8.12. Commits by gares (3), Zimmi48 (2) and Blaisorblade (1).

view this post on Zulip Coq Github Bot (Jun 19 2020 at 14:36):

ppedrot deleted the branch binary-macOS-8.11.2.

view this post on Zulip Coq Github Bot (Jun 19 2020 at 14:41):

SkySkimmer pushed 4 commits to branch master. Commits by ppedrot (3) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 19 2020 at 14:50):

SkySkimmer pushed 3 commits to branch master. Commits by ppedrot (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 20 2020 at 06:36):

anton-trunov pushed 2 commits to branch master. Commits by Blaisorblade (1) and anton-trunov (1).

view this post on Zulip Coq Github Bot (Jun 21 2020 at 18:24):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Jun 21 2020 at 20:54):

herbelin pushed 11 commits to branch master. Commits by ppedrot (10) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 22 2020 at 09:55):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and tchajed (1).

view this post on Zulip Coq Github Bot (Jun 22 2020 at 10:03):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 22 2020 at 10:28):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 22 2020 at 15:44):

herbelin pushed 1 commit to branch master+elementary-properties-IZR.

view this post on Zulip Coq Github Bot (Jun 22 2020 at 15:45):

herbelin deleted the branch master+elementary-properties-IZR.

view this post on Zulip Coq Github Bot (Jun 22 2020 at 20:47):

herbelin pushed 4 commits to branch master. Commits by ppedrot (3) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 23 2020 at 08:43):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jun 23 2020 at 09:49):

fajb pushed 2 commits to branch master. Commits by fajb (1) and pi8027 (1).

view this post on Zulip Coq Github Bot (Jun 23 2020 at 10:32):

maximedenes pushed 2 commits to branch master. Commits by SkySkimmer (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 23 2020 at 13:29):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Jun 23 2020 at 22:20):

Zimmi48 pushed 13 commits to branch v8.12. Commits by Zimmi48 (7), ppedrot (2), Blaisorblade (1) and others (3).

view this post on Zulip Coq Github Bot (Jun 24 2020 at 11:33):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 24 2020 at 13:11):

mattam82 pushed 3 commits to branch master. Commits by ppedrot (2) and mattam82 (1).

view this post on Zulip Coq Github Bot (Jun 24 2020 at 13:37):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 24 2020 at 17:28):

gares pushed 2 commits to branch master. Commits by gares (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 25 2020 at 17:49):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 25 2020 at 17:52):

ejgallego pushed 6 commits to branch master. Commits by ppedrot (5) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 25 2020 at 17:54):

ejgallego pushed 3 commits to branch master. Commits by JasonGross (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 25 2020 at 17:58):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Jun 26 2020 at 16:29):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and lilred (1).

view this post on Zulip Coq Github Bot (Jun 26 2020 at 16:31):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (2), SkySkimmer (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jun 27 2020 at 20:03):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 27 2020 at 20:05):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 29 2020 at 08:20):

SkySkimmer pushed 29 commits to branch master. Commits by ejgallego (28) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jun 29 2020 at 12:26):

gares pushed 2 commits to branch master. Commits by andres-erbsen (1) and gares (1).

view this post on Zulip Coq Github Bot (Jun 29 2020 at 13:37):

ppedrot pushed 2 commits to branch master. Commits by ppedrot (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Jun 29 2020 at 13:46):

ppedrot pushed 2 commits to branch master. Commits by jlottes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jun 30 2020 at 07:49):

Zimmi48 pushed 10 commits to branch v8.12. Commits by Zimmi48 (5), JasonGross (1), andres-erbsen (1) and others (3).

view this post on Zulip Coq Github Bot (Jun 30 2020 at 10:55):

ejgallego pushed 3 commits to branch master. Commits by SkySkimmer (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 30 2020 at 13:57):

ejgallego pushed 7 commits to branch master. Commits by ppedrot (6) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jun 30 2020 at 23:08):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 01 2020 at 07:36):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 01 2020 at 09:42):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 01 2020 at 09:47):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and gares (1).

view this post on Zulip Coq Github Bot (Jul 01 2020 at 10:23):

SkySkimmer pushed 3 commits to branch master. Commits by ejgallego (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jul 02 2020 at 10:53):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 02 2020 at 12:36):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 02 2020 at 12:41):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 02 2020 at 13:50):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 02 2020 at 15:43):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 03 2020 at 08:15):

maximedenes pushed 3 commits to branch master. Commits by SkySkimmer (2) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jul 03 2020 at 13:15):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Jul 04 2020 at 23:30):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 05 2020 at 05:51):

MSoegtropIMC pushed 4 commits to branch master. Commits by ppedrot (3) and MSoegtropIMC (1).

view this post on Zulip Coq Github Bot (Jul 05 2020 at 18:14):

gares pushed 3 commits to branch master. Commits by MSoegtropIMC (2) and gares (1).

view this post on Zulip Coq Github Bot (Jul 06 2020 at 08:45):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 06 2020 at 14:22):

ppedrot pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 07 2020 at 13:58):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:31):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:32):

ejgallego pushed 5 commits to branch master. Commits by ppedrot (4) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:35):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:44):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and erikmd (1).

view this post on Zulip Coq Github Bot (Jul 08 2020 at 13:51):

gares pushed 2 commits to branch master. Commits by SkySkimmer (1) and gares (1).

view this post on Zulip Coq Github Bot (Jul 09 2020 at 09:32):

SkySkimmer pushed 9 commits to branch master. Commits by ejgallego (7) and SkySkimmer (2).

view this post on Zulip Coq Github Bot (Jul 09 2020 at 17:46):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and llee454 (1).

view this post on Zulip Coq Github Bot (Jul 10 2020 at 11:07):

SkySkimmer pushed 4 commits to branch master. Commits by herbelin (3) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Jul 10 2020 at 11:42):

Zimmi48 pushed 13 commits to branch v8.12. Commits by Zimmi48 (7), MSoegtropIMC (2), SkySkimmer (2) and others (2).

view this post on Zulip Coq Github Bot (Jul 10 2020 at 11:57):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 10 2020 at 17:19):

gares pushed 7 commits to branch master. Commits by ppedrot (6) and gares (1).

view this post on Zulip Coq Github Bot (Jul 11 2020 at 11:23):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 11 2020 at 11:24):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 11 2020 at 11:27):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 11 2020 at 16:10):

Blaisorblade pushed 1 commit to branch Blaisorblade-loose-hint-docs.

view this post on Zulip Coq Github Bot (Jul 13 2020 at 13:09):

Zimmi48 pushed 2 commits to branch master. Commits by Blaisorblade (1) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jul 13 2020 at 13:09):

Zimmi48 deleted the branch Blaisorblade-loose-hint-docs.

view this post on Zulip Coq Github Bot (Jul 15 2020 at 09:25):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jul 15 2020 at 09:26):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 15 2020 at 09:26):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 15 2020 at 16:32):

Zimmi48 pushed 20 commits to branch v8.12. Commits by Zimmi48 (9), SkySkimmer (6), ppedrot (4) and others (1).

view this post on Zulip Coq Github Bot (Jul 16 2020 at 13:26):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 16 2020 at 13:27):

ejgallego pushed 3 commits to branch master. Commits by ppedrot (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:00):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:01):

ejgallego pushed 3 commits to branch master. Commits by herbelin (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:01):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:01):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:02):

ejgallego pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:03):

ejgallego pushed 3 commits to branch master. Commits by Zimmi48 (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 15:20):

herbelin pushed 2 commits to branch master. Commits by ejgallego (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jul 17 2020 at 16:08):

herbelin pushed 2 commits to branch master+fixing-refman-tactic-notation-qualid-unfold-example.

view this post on Zulip Coq Github Bot (Jul 17 2020 at 16:08):

herbelin deleted the branch master+fixing-refman-tactic-notation-qualid-unfold-example.

view this post on Zulip Coq Github Bot (Jul 18 2020 at 08:35):

gares pushed 3 commits to branch master. Commits by ppedrot (2) and gares (1).

view this post on Zulip Coq Github Bot (Jul 18 2020 at 09:32):

ppedrot pushed 2 commits to branch master. Commits by ejgallego (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 18 2020 at 09:34):

ppedrot pushed 4 commits to branch master. Commits by ejgallego (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 19 2020 at 14:55):

kyoDralliam pushed 3 commits to branch master. Commits by ppedrot (2) and kyoDralliam (1).

view this post on Zulip Coq Github Bot (Jul 20 2020 at 08:46):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jul 20 2020 at 13:46):

ejgallego pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 20 2020 at 13:47):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 21 2020 at 13:17):

ejgallego pushed 2 commits to branch master. Commits by ejgallego (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jul 21 2020 at 15:04):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 22 2020 at 10:53):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 22 2020 at 12:59):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and whonore (1).

view this post on Zulip Coq Github Bot (Jul 22 2020 at 23:20):

ejgallego pushed 27 commits to branch v8.12. Commits by Zimmi48 (10), ejgallego (5), SkySkimmer (4) and others (8).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 01:49):

ejgallego pushed 2 commits to branch v8.12. Commits by ejgallego (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 07:31):

Zimmi48 pushed 3 commits to branch master. Commits by herbelin (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 09:14):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 09:30):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 12:32):

ejgallego pushed 4 commits to branch master. Commits by ppedrot (3) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 14:21):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 15:17):

ejgallego pushed 12 commits to branch v8.12. Commits by ejgallego (6), ppedrot (3), herbelin (2) and others (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 19:54):

Zimmi48 pushed 3 commits to branch master. Commits by ejgallego (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Jul 23 2020 at 20:49):

ejgallego pushed 3 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Jul 24 2020 at 12:44):

ejgallego pushed 2 commits to branch master. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 24 2020 at 12:46):

ejgallego pushed 2 commits to branch v8.12. Commits by SkySkimmer (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 24 2020 at 12:52):

ejgallego pushed 2 commits to branch v8.12. Commits by MSoegtropIMC (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 24 2020 at 12:57):

Zimmi48 pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Jul 24 2020 at 18:33):

Zimmi48 pushed tag V8.12.0.

view this post on Zulip Coq Github Bot (Jul 24 2020 at 19:07):

Zimmi48 pushed 1 commit to branch v8.12.

view this post on Zulip Coq Github Bot (Jul 26 2020 at 04:24):

jashug pushed 1 commit to branch dont-refresh-argument-names.

view this post on Zulip Coq Github Bot (Jul 26 2020 at 04:26):

jashug deleted the branch dont-refresh-argument-names.

view this post on Zulip Coq Github Bot (Jul 26 2020 at 13:48):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 26 2020 at 13:50):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 27 2020 at 08:39):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Jul 28 2020 at 15:31):

Lysxia pushed 3 commits to branch master. Commits by herbelin (2) and Lysxia (1).

view this post on Zulip Coq Github Bot (Jul 29 2020 at 08:34):

barras pushed 1 commit to branch scala-extraction.

view this post on Zulip Coq Github Bot (Jul 29 2020 at 08:40):

barras deleted the branch scala-extraction.

view this post on Zulip Coq Github Bot (Jul 30 2020 at 15:55):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and shiatsumat (1).

view this post on Zulip Coq Github Bot (Aug 03 2020 at 14:51):

Lysxia pushed 2 commits to branch master. Commits by Lysxia (1) and lthms (1).

view this post on Zulip Coq Github Bot (Aug 04 2020 at 17:05):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and jtcoolen (1).

view this post on Zulip Coq Github Bot (Aug 05 2020 at 10:42):

coqbot pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 06 2020 at 16:28):

coqbot pushed 2 commits to branch master. Commits by Mbodin (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 07 2020 at 10:18):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Aug 08 2020 at 04:13):

vbgl pushed 2 commits to branch master. Commits by Zimmi48 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Aug 10 2020 at 17:55):

CohenCyril pushed 2 commits to branch master. Commits by CohenCyril (1) and gares (1).

view this post on Zulip Coq Github Bot (Aug 11 2020 at 08:06):

vbgl pushed 2 commits to branch master. Commits by fajb (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Aug 11 2020 at 08:35):

vbgl pushed 2 commits to branch master. Commits by fajb (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Aug 11 2020 at 16:58):

ppedrot pushed 2 commits to branch master. Commits by eponier (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 11 2020 at 18:39):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 12 2020 at 14:53):

coqbot pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 12 2020 at 16:29):

Zimmi48 pushed 23 commits to branch v8.12. Commits by Zimmi48 (13), fajb (2), herbelin (2) and others (6).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 06:15):

anton-trunov pushed 2 commits to branch master. Commits by JasonGross (1) and anton-trunov (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 14:49):

herbelin pushed 2 commits to branch master. Commits by JasonGross (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 14:52):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 14:54):

herbelin pushed 15 commits to branch master. Commits by ppedrot (14) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 15:29):

anton-trunov pushed 3 commits to branch master. Commits by liyishuai (2) and anton-trunov (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 15:31):

anton-trunov pushed 2 commits to branch master. Commits by anton-trunov (1) and olaure01 (1).

view this post on Zulip Coq Github Bot (Aug 13 2020 at 16:19):

gares pushed 3 commits to branch master. Commits by ppedrot (2) and gares (1).

view this post on Zulip Coq Github Bot (Aug 17 2020 at 10:58):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 17 2020 at 14:10):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Aug 17 2020 at 19:15):

coqbot pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 18 2020 at 22:39):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 19 2020 at 09:18):

gares pushed 9 commits to branch master. Commits by ppedrot (8) and gares (1).

view this post on Zulip Coq Github Bot (Aug 19 2020 at 11:18):

mattam82 pushed 2 commits to branch master. Commits by mattam82 (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 19 2020 at 17:23):

mattam82 pushed 5 commits to branch master. Commits by ppedrot (4) and mattam82 (1).

view this post on Zulip Coq Github Bot (Aug 19 2020 at 18:18):

coqbot pushed 2 commits to branch master. Commits by Mbodin (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 19 2020 at 22:58):

jfehrle pushed 1 commit to branch show_proof_diffs.

view this post on Zulip Coq Github Bot (Aug 20 2020 at 14:33):

maximedenes pushed 2 commits to branch master. Commits by jashug (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Aug 21 2020 at 09:42):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and gares (1).

view this post on Zulip Coq Github Bot (Aug 21 2020 at 14:19):

ppedrot pushed 2 commits to branch master. Commits by gares (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 21 2020 at 15:04):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 21 2020 at 20:58):

jfehrle deleted the branch show_proof_diffs.

view this post on Zulip Coq Github Bot (Aug 22 2020 at 13:06):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and jashug (1).

view this post on Zulip Coq Github Bot (Aug 23 2020 at 17:19):

maximedenes pushed 2 commits to branch master. Commits by herbelin (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 10:36):

ppedrot pushed 4 commits to branch master. Commits by herbelin (2), maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 11:43):

coqbot pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 11:45):

coqbot pushed 2 commits to branch master. Commits by coqbot (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 11:49):

SkySkimmer pushed 2 commits to branch master. Commits by JasonGross (1) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 13:30):

coqbot pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 14:24):

coqbot pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 14:41):

herbelin pushed 2 commits to branch master. Commits by Mbodin (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 16:35):

anton-trunov pushed 4 commits to branch master. Commits by jashug (3) and anton-trunov (1).

view this post on Zulip Coq Github Bot (Aug 24 2020 at 21:33):

SkySkimmer pushed 2 commits to branch master. Commits by SkySkimmer (1) and whonore (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 08:32):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 10:15):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 10:27):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 10:54):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (1), akr (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 11:20):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (1), coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 12:28):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 12:40):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 12:42):

Zimmi48 pushed 11 commits to branch v8.12. Commits by Zimmi48 (6), herbelin (2), MSoegtropIMC (1) and others (2).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 12:52):

anton-trunov pushed 2 commits to branch master. Commits by VincentSe (1) and anton-trunov (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 13:03):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 15:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 15:57):

coqbot-app[bot] pushed 4 commits to branch master. Commits by Alizter (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 25 2020 at 22:44):

ppedrot pushed 2 commits to branch master. Commits by JasonGross (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 03:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 09:22):

ppedrot pushed 2 commits to branch master. Commits by JasonGross (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 09:25):

ppedrot pushed 6 commits to branch master. Commits by SkySkimmer (5) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 09:50):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 13:30):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 26 2020 at 17:28):

coqbot-app[bot] pushed 4 commits to branch master. Commits by jfehrle (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 08:52):

gares pushed 5 commits to branch master. Commits by affeldt-aist (4) and gares (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 11:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 11:28):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 12:26):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:03):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jashug (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:23):

ppedrot pushed 6 commits to branch master. Commits by maximedenes (5) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:29):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:48):

ppedrot pushed 2 commits to branch master. Commits by JasonGross (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 14:50):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 27 2020 at 15:05):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 06:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 07:50):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 16:23):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 16:28):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 16:49):

coqbot-app[bot] pushed 6 commits to branch master. Commits by ejgallego (4), coqbot-app[bot] (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Aug 28 2020 at 16:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 29 2020 at 16:27):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 29 2020 at 18:09):

ppedrot pushed 4 commits to branch master. Commits by SkySkimmer (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 29 2020 at 22:11):

ppedrot pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 30 2020 at 20:09):

coqbot-app[bot] pushed 2 commits to branch master. Commits by JasonGross (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 31 2020 at 11:40):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Aug 31 2020 at 12:09):

coqbot-app[bot] pushed 8 commits to branch master. Commits by herbelin (7) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Aug 31 2020 at 17:36):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 01 2020 at 08:02):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jashug (1).

view this post on Zulip Coq Github Bot (Sep 01 2020 at 09:38):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Sep 01 2020 at 09:51):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 01 2020 at 18:51):

ppedrot pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 02 2020 at 08:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 02 2020 at 17:10):

herbelin pushed 8 commits to branch master. Commits by ppedrot (7) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 09:04):

ppedrot pushed 2 commits to branch master. Commits by JasonGross (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 09:44):

herbelin pushed 5 commits to branch master. Commits by ppedrot (4) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 09:46):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 09:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 10:47):

ppedrot pushed 6 commits to branch master. Commits by maximedenes (5) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 03 2020 at 19:14):

coqbot-app[bot] pushed 2 commits to branch master. Commits by JasonGross (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 04 2020 at 09:47):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 04 2020 at 09:50):

ppedrot pushed 3 commits to branch master. Commits by JasonGross (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 04 2020 at 09:59):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 04 2020 at 12:35):

coqbot-app[bot] pushed 3 commits to branch master. Commits by RalfJung (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 06 2020 at 10:29):

herbelin pushed 5 commits to branch master. Commits by ppedrot (4) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 06 2020 at 10:29):

herbelin pushed 5 commits to branch master. Commits by ppedrot (4) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 07 2020 at 18:11):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 08:21):

Zimmi48 pushed 32 commits to branch v8.12. Commits by Zimmi48 (15), SkySkimmer (5), Alizter (3) and others (9).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 08:36):

ppedrot pushed 2 commits to branch master. Commits by Lasse Blaauwbroek (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 08:37):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (1), herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 08:53):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 13:07):

coqbot-app[bot] pushed 3 commits to branch master. Commits by clementblaudeau (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 15:09):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 18:12):

Zimmi48 pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and gares (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 18:51):

Zimmi48 pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 08 2020 at 18:53):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 06:01):

coqbot-app[bot] pushed 27 commits to branch master. Commits by jashug (26) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 09:08):

ppedrot pushed 3 commits to branch master. Commits by mattam82 (1), maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 11:45):

herbelin pushed 4 commits to branch master. Commits by edwardcwang (3) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 13:27):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 15:00):

mattam82 pushed 1 commit to branch link-wiki-install.

view this post on Zulip Coq Github Bot (Sep 09 2020 at 15:19):

Zimmi48 pushed 17 commits to branch v8.12. Commits by Zimmi48 (7), herbelin (4), SkySkimmer (2) and others (4).

view this post on Zulip Coq Github Bot (Sep 09 2020 at 18:25):

herbelin pushed 1 commit to branch master+patch-wit_natural.

view this post on Zulip Coq Github Bot (Sep 10 2020 at 11:05):

Zimmi48 deleted the branch master+patch-wit_natural.

view this post on Zulip Théo Zimmermann (Sep 10 2020 at 11:05):

@Hugo Herbelin It seems like you accidentally pushed a branch to the main repo. Since there is no associated PR, I deleted it.

view this post on Zulip Hugo Herbelin (Sep 10 2020 at 11:53):

Ah sorry. It was anyway a temporary branch for @Pierre Roux who already took its content. So, it is good that you deleted it because I indeed did not pay attention that I mistakenly pushed to origin.

view this post on Zulip Coq Github Bot (Sep 10 2020 at 12:34):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 10 2020 at 14:44):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 10 2020 at 20:12):

Zimmi48 pushed 1 commit to branch link-wiki-install.

view this post on Zulip Coq Github Bot (Sep 10 2020 at 20:55):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (1), coqbot-app[bot] (1) and mattam82 (1).

view this post on Zulip Coq Github Bot (Sep 10 2020 at 20:55):

Zimmi48 deleted the branch link-wiki-install.

view this post on Zulip Coq Github Bot (Sep 11 2020 at 08:38):

vbgl pushed 2 commits to branch master. Commits by Zimmi48 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Sep 11 2020 at 08:48):

Zimmi48 pushed 9 commits to branch v8.12. Commits by Zimmi48 (4), jfehrle (3) and gares (2).

view this post on Zulip Coq Github Bot (Sep 11 2020 at 19:56):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 12 2020 at 20:00):

coqbot-app[bot] pushed 12 commits to branch master. Commits by proux01 (10), coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 13 2020 at 08:34):

Zimmi48 pushed 13 commits to branch v8.12. Commits by Zimmi48 (7), SkySkimmer (4), jashug (1) and others (1).

view this post on Zulip Coq Github Bot (Sep 14 2020 at 04:09):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 14 2020 at 12:43):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Sep 15 2020 at 07:13):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ejgallego (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 15 2020 at 10:00):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 15 2020 at 15:12):

Zimmi48 pushed 6 commits to branch v8.12. Commits by ejgallego (3), Zimmi48 (2) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 16 2020 at 12:30):

fajb pushed 7 commits to branch master. Commits by ejgallego (5) and fajb (2).

view this post on Zulip Coq Github Bot (Sep 16 2020 at 12:49):

vbgl pushed 2 commits to branch master. Commits by Zimmi48 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Sep 16 2020 at 19:34):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and jashug (1).

view this post on Zulip Coq Github Bot (Sep 17 2020 at 11:16):

coqbot-app[bot] pushed 2 commits to branch master. Commits by JasonGross (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 17 2020 at 16:16):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ejgallego (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 09:15):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 09:52):

ppedrot pushed 3 commits to branch master. Commits by ejgallego (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 14:41):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 15:04):

coqbot-app[bot] pushed 3 commits to branch master. Commits by maximedenes (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 17:36):

herbelin pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 18 2020 at 20:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 19 2020 at 16:59):

herbelin pushed 4 commits to branch master. Commits by ppedrot (3) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 19 2020 at 17:17):

herbelin pushed 1 commit to branch master+mini-improvement-incompatible-evar-candidates.

view this post on Zulip Coq Github Bot (Sep 20 2020 at 09:49):

Zimmi48 deleted the branch master+mini-improvement-incompatible-evar-candidates.

view this post on Zulip Théo Zimmermann (Sep 20 2020 at 09:49):

@Hugo Herbelin You've accidentally pushed a branch to the main repo. I've deleted it since it was not associated with any PR.

view this post on Zulip Hugo Herbelin (Sep 20 2020 at 11:17):

Théo Zimmermann said:

Hugo Herbelin You've accidentally pushed a branch to the main repo. I've deleted it since it was not associated with any PR.

Oups, sorry. Thanks.

view this post on Zulip Coq Github Bot (Sep 21 2020 at 12:41):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 21 2020 at 20:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 10:52):

coqbot-app[bot] pushed 2 commits to branch master. Commits by JasonGross (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 11:14):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (1), coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 11:16):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 12:09):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 15:29):

Zimmi48 pushed 3 commits to branch v8.12. Commits by Zimmi48 (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 17:43):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 21:03):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 21:08):

ejgallego pushed 3 commits to branch v8.12. Commits by herbelin (2) and ejgallego (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 21:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 22 2020 at 22:03):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 23 2020 at 09:01):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 23 2020 at 12:57):

Zimmi48 pushed 20 commits to branch v8.12. Commits by Zimmi48 (10), herbelin (5), maximedenes (2) and others (3).

view this post on Zulip Coq Github Bot (Sep 23 2020 at 13:32):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 23 2020 at 14:15):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 24 2020 at 07:33):

coqbot-app[bot] pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 24 2020 at 07:38):

coqbot-app[bot] pushed 4 commits to branch master. Commits by silene (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 24 2020 at 07:38):

Zimmi48 pushed 3 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Sep 25 2020 at 15:06):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Sep 28 2020 at 12:05):

ppedrot pushed 2 commits to branch master. Commits by gares (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 28 2020 at 14:39):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Sep 28 2020 at 16:18):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 29 2020 at 09:02):

coqbot-app[bot] pushed 32 commits to branch master. Commits by jashug (31) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 29 2020 at 17:11):

coqbot-app[bot] pushed 4 commits to branch master. Commits by silene (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 29 2020 at 17:18):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Sep 29 2020 at 21:33):

coqbot-app[bot] pushed 3 commits to branch master. Commits by akr (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Sep 30 2020 at 12:00):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 30 2020 at 12:06):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Sep 30 2020 at 15:02):

Zimmi48 pushed 5 commits to branch v8.12. Commits by Zimmi48 (3) and herbelin (2).

view this post on Zulip Coq Github Bot (Oct 01 2020 at 07:20):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (3) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 01 2020 at 16:04):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jashug (1).

view this post on Zulip Coq Github Bot (Oct 01 2020 at 17:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 01 2020 at 17:57):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 01 2020 at 18:10):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 02 2020 at 11:04):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 02 2020 at 11:24):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (Oct 02 2020 at 16:29):

Zimmi48 pushed 4 commits to branch v8.12. Commits by silene (3) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Oct 02 2020 at 22:01):

coqbot-app[bot] pushed 2 commits to branch master. Commits by VincentSe (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 02 2020 at 22:12):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (2), herbelin (1) and jashug (1).

view this post on Zulip Coq Github Bot (Oct 03 2020 at 08:28):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 04 2020 at 20:01):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 06 2020 at 18:38):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 07 2020 at 10:14):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 07 2020 at 10:15):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 07 2020 at 15:27):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 08 2020 at 09:49):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 08 2020 at 13:44):

coqbot-app[bot] pushed 2 commits to branch master. Commits by RalfJung (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 08 2020 at 20:47):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 09 2020 at 09:42):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:43):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 09 2020 at 19:38):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 10 2020 at 09:02):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 12:53):

coqbot-app[bot] pushed 9 commits to branch master. Commits by herbelin (8) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 13:13):

coqbot-app[bot] pushed 4 commits to branch master. Commits by SkySkimmer (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 15:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 16:29):

coqbot-app[bot] pushed 4 commits to branch master. Commits by gares (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 16:34):

coqbot-app[bot] pushed 3 commits to branch master. Commits by coqbot-app[bot] (1), gares (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 16:35):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 20:01):

Zimmi48 pushed 8 commits to branch v8.12. Commits by Zimmi48 (4), SkySkimmer (3) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 12 2020 at 20:22):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 13 2020 at 08:56):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 13 2020 at 13:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 14 2020 at 08:42):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 09:19):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (2), jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 11:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 11:15):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 13:15):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 13:15):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 14:04):

Zimmi48 pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and gares (1).

view this post on Zulip Coq Github Bot (Oct 15 2020 at 17:50):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Oct 16 2020 at 12:04):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 16 2020 at 12:04):

ppedrot pushed 2 commits to branch master. Commits by jfehrle (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 08:14):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 10:03):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 10:43):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 10:45):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 11:53):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 11:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 11:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 19 2020 at 12:07):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 20 2020 at 09:24):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 20 2020 at 13:07):

coqbot-app[bot] pushed 3 commits to branch master. Commits by fajb (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 20 2020 at 14:15):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 21 2020 at 08:56):

coqbot-app[bot] pushed 4 commits to branch master. Commits by silene (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 21 2020 at 10:12):

ppedrot pushed 2 commits to branch master. Commits by ppedrot (1) and tchajed (1).

view this post on Zulip Coq Github Bot (Oct 21 2020 at 10:15):

ppedrot pushed 5 commits to branch master. Commits by SkySkimmer (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 21 2020 at 10:37):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 06:07):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ejgallego (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 08:54):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Oct 22 2020 at 09:34):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 11:39):

vbgl pushed 2 commits to branch master. Commits by Zimmi48 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 12:14):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 15:21):

Zimmi48 pushed 6 commits to branch v8.12. Commits by SkySkimmer (2), Zimmi48 (2) and ejgallego (2).

view this post on Zulip Coq Github Bot (Oct 22 2020 at 20:32):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 23 2020 at 08:35):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 23 2020 at 10:26):

Zimmi48 pushed 2 commits to branch v8.12. Commits by Zimmi48 (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Oct 23 2020 at 13:40):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 24 2020 at 18:07):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 25 2020 at 20:00):

coqbot-app[bot] pushed 3 commits to branch master. Commits by jfehrle (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 26 2020 at 10:15):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Oct 26 2020 at 10:50):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Oct 26 2020 at 11:05):

coqbot-app[bot] pushed 2 commits to branch master. Commits by RalfJung (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 26 2020 at 16:13):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 06:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 08:52):

Zimmi48 pushed 7 commits to branch v8.12. Commits by Zimmi48 (4), jfehrle (2) and RalfJung (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 12:32):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 12:55):

coqbot-app[bot] pushed 12 commits to branch master. Commits by ppedrot (11) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 20:33):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 21:12):

coqbot-app[bot] pushed 6 commits to branch master. Commits by jfehrle (5) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 27 2020 at 21:14):

coqbot-app[bot] pushed 2 commits to branch master. Commits by LasseBlaauwbroek (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Oct 28 2020 at 15:56):

Zimmi48 pushed 4 commits to branch v8.12. Commits by Zimmi48 (2), LasseBlaauwbroek (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 11:58):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 12:00):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 12:03):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 12:21):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 12:57):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 12:59):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 13:02):

coqbot-app[bot] pushed 6 commits to branch master. Commits by gares (5) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 13:26):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 02 2020 at 14:23):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Nov 03 2020 at 18:15):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 03 2020 at 21:11):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 03 2020 at 21:12):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 03 2020 at 22:22):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 03 2020 at 23:48):

coqbot-app[bot] pushed 3 commits to branch master. Commits by fakusb (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 04 2020 at 15:49):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 04 2020 at 15:50):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 04 2020 at 16:20):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Nov 04 2020 at 20:18):

MSoegtropIMC pushed 4 commits to branch master. Commits by ppedrot (3) and MSoegtropIMC (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 07:58):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 08:49):

Zimmi48 pushed 16 commits to branch v8.12. Commits by Zimmi48 (7), ppedrot (3), fakusb (2) and others (4).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 09:29):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 12:10):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 15:10):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 15:32):

coqbot-app[bot] pushed 28 commits to branch master. Commits by proux01 (27) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 17:47):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 18:32):

coqbot-app[bot] pushed 21 commits to branch master. Commits by Zimmi48 (20) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 05 2020 at 22:05):

ejgallego pushed 8 commits to branch master. Commits by herbelin (7) and ejgallego (1).

view this post on Zulip Coq Github Bot (Nov 06 2020 at 10:03):

Zimmi48 pushed 7 commits to branch v8.12. Commits by Zimmi48 (4), herbelin (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Nov 06 2020 at 11:43):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 06 2020 at 11:48):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 06 2020 at 15:19):

coqbot-app[bot] pushed 8 commits to branch master. Commits by ppedrot (7) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 09 2020 at 08:07):

coqbot-app[bot] pushed 46 commits to branch master. Commits by jashug (45) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 09 2020 at 11:45):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 09 2020 at 12:35):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 09 2020 at 21:41):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 09 2020 at 21:58):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 10 2020 at 08:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 10 2020 at 08:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Nov 10 2020 at 09:41):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 10 2020 at 13:43):

Zimmi48 pushed 5 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Nov 10 2020 at 21:30):

coqbot-app[bot] pushed 4 commits to branch master. Commits by jfehrle (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 10 2020 at 23:09):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 08:18):

coqbot-app[bot] pushed 4 commits to branch master. Commits by CohenCyril (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 11:10):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 12:35):

ppedrot pushed 5 commits to branch master. Commits by herbelin (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 13:39):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 14:33):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 14:47):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 14:49):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 15:42):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 15:53):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 12 2020 at 21:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by LasseBlaauwbroek (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 13 2020 at 06:47):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and liyishuai (1).

view this post on Zulip Coq Github Bot (Nov 13 2020 at 08:08):

Zimmi48 pushed 9 commits to branch v8.12. Commits by Zimmi48 (4), ppedrot (3) and herbelin (2).

view this post on Zulip Coq Github Bot (Nov 13 2020 at 15:28):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 13 2020 at 17:03):

Zimmi48 pushed 2 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Nov 13 2020 at 17:09):

Zimmi48 pushed tag V8.12.1.

view this post on Zulip Coq Github Bot (Nov 14 2020 at 21:45):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 14 2020 at 23:17):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 14 2020 at 23:20):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 14 2020 at 23:21):

ppedrot pushed 5 commits to branch master. Commits by Zimmi48 (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 15:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 15:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 15:29):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 16:11):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 16:45):

Lysxia pushed 6 commits to branch master. Commits by herbelin (5) and Lysxia (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 18:23):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Nov 15 2020 at 20:35):

coqbot-app[bot] pushed 7 commits to branch master. Commits by ejgallego (6) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 10:12):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 10:45):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Lysxia (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 11:27):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 11:46):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 11:56):

ppedrot pushed 4 commits to branch master. Commits by SkySkimmer (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 12:09):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 12:11):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (1), coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 12:15):

ppedrot pushed 3 commits to branch master. Commits by ppedrot (2) and maximedenes (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 12:34):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 14:07):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 14:19):

coqbot-app[bot] pushed 6 commits to branch master. Commits by herbelin (5) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 15:00):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 16:24):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 16:26):

coqbot-app[bot] pushed 6 commits to branch master. Commits by ppedrot (5) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 16:52):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 17:14):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 16 2020 at 17:38):

gares pushed the branch v8.13.

view this post on Zulip Coq Github Bot (Nov 17 2020 at 10:22):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and tchajed (1).

view this post on Zulip Coq Github Bot (Nov 17 2020 at 13:26):

coqbot-app[bot] pushed 8 commits to branch master. Commits by SkySkimmer (6), coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 17 2020 at 16:01):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 17 2020 at 18:06):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 17 2020 at 21:15):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 08:18):

gares pushed 2 commits to branch v8.13. Commits by gares (1) and tchajed (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 12:08):

ppedrot pushed 2 commits to branch master. Commits by LasseBlaauwbroek (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 12:14):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 12:44):

gares pushed 2 commits to branch v8.13.

view this post on Zulip Coq Github Bot (Nov 18 2020 at 13:00):

coqbot-app[bot] pushed 4 commits to branch master. Commits by herbelin (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 13:04):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 15:09):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 18:07):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 21:02):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Nov 18 2020 at 22:00):

coqbot-app[bot] pushed 8 commits to branch master. Commits by ejgallego (5), Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 13:00):

gares pushed 11 commits to branch v8.13. Commits by SkySkimmer (6), gares (4) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 13:53):

coqbot-app[bot] pushed 9 commits to branch master. Commits by herbelin (8) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 15:35):

ppedrot pushed 16 commits to branch master. Commits by silene (14), ppedrot (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 17:29):

gares pushed 35 commits to branch v8.13. Commits by herbelin (13), gares (11), ejgallego (5) and others (6).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 18:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 19 2020 at 20:40):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 08:12):

gares pushed 20 commits to branch v8.13. Commits by silene (14), gares (3), Zimmi48 (2) and others (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 08:49):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 08:51):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 09:14):

gares pushed 1 commit to branch gares-patch-ssr-doc-reflect.

view this post on Zulip Coq Github Bot (Nov 20 2020 at 09:21):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 09:32):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 11:38):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 12:20):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 13:28):

gares pushed 12 commits to branch v8.13. Commits by gares (5), herbelin (4), SkySkimmer (2) and others (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 14:17):

ppedrot pushed 4 commits to branch master. Commits by herbelin (2), VincentSe (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 15:30):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 15:36):

gares deleted the branch gares-patch-ssr-doc-reflect.

view this post on Zulip Coq Github Bot (Nov 20 2020 at 15:37):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ejgallego (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 16:10):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 16:31):

gares pushed 6 commits to branch v8.13. Commits by SkySkimmer (2), gares (2) and herbelin (2).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 18:45):

ppedrot pushed 2 commits to branch master. Commits by RalfJung (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 20:01):

gares pushed 8 commits to branch v8.13. Commits by herbelin (4), ejgallego (2) and gares (2).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 21:11):

coqbot-app[bot] pushed 7 commits to branch master. Commits by proux01 (6) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 22:01):

coqbot-app[bot] pushed 8 commits to branch master. Commits by herbelin (7) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 20 2020 at 22:02):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 21 2020 at 08:37):

gares pushed 8 commits to branch v8.13. Commits by proux01 (6) and gares (2).

view this post on Zulip Coq Github Bot (Nov 21 2020 at 16:28):

gares pushed 8 commits to branch v8.13. Commits by herbelin (7) and gares (1).

view this post on Zulip Coq Github Bot (Nov 21 2020 at 17:33):

coqbot-app[bot] pushed 4 commits to branch master. Commits by silene (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 21 2020 at 22:54):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 09:10):

gares pushed 7 commits to branch v8.13. Commits by silene (3), gares (2) and herbelin (2).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 09:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 10:20):

ppedrot pushed 2 commits to branch master. Commits by LasseBlaauwbroek (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 10:21):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 15:06):

coqbot-app[bot] pushed 5 commits to branch master. Commits by herbelin (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 23 2020 at 15:35):

gares pushed tag V8.14+alpha.

view this post on Zulip Coq Github Bot (Nov 24 2020 at 11:14):

gares pushed 9 commits to branch v8.13. Commits by gares (4), herbelin (4) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 11:34):

gares pushed 1 commit to branch v8.13.

view this post on Zulip Coq Github Bot (Nov 24 2020 at 13:04):

gares pushed 1 commit to branch v8.13.

view this post on Zulip Coq Github Bot (Nov 24 2020 at 14:06):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 14:12):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 14:18):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 15:54):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 15:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 16:30):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 24 2020 at 17:40):

gares pushed 2 commits to branch v8.13.

view this post on Zulip Coq Github Bot (Nov 25 2020 at 07:51):

coqbot-app[bot] pushed 3 commits to branch master. Commits by jfehrle (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 25 2020 at 08:18):

vbgl pushed 7 commits to branch master. Commits by ppedrot (6) and vbgl (1).

view this post on Zulip Coq Github Bot (Nov 25 2020 at 08:53):

coqbot-app[bot] pushed 2 commits to branch master. Commits by CohenCyril (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 25 2020 at 13:07):

ppedrot pushed 7 commits to branch master. Commits by fajb (6) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 25 2020 at 18:54):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 25 2020 at 20:11):

gares pushed 11 commits to branch v8.13. Commits by gares (6), jfehrle (2), CohenCyril (1) and others (2).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 09:58):

coqbot-app[bot] pushed 5 commits to branch master. Commits by gares (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 10:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 10:42):

coqbot-app[bot] pushed 3 commits to branch master. Commits by herbelin (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 10:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 11:06):

coqbot-app[bot] pushed 7 commits to branch master. Commits by SkySkimmer (6) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 12:19):

coqbot-app[bot] pushed 7 commits to branch master. Commits by gares (6) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 26 2020 at 15:08):

Zimmi48 pushed 3 commits to branch v8.12. Commits by herbelin (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 08:19):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 09:19):

coqbot-app[bot] pushed 4 commits to branch master. Commits by gares (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 10:15):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 12:44):

coqbot-app[bot] pushed 2 commits to branch master. Commits by CohenCyril (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 13:56):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and fakusb (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 15:30):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 17:04):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and fakusb (1).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 18:55):

gares pushed 33 commits to branch v8.13. Commits by gares (23), SkySkimmer (6) and herbelin (4).

view this post on Zulip Coq Github Bot (Nov 27 2020 at 20:55):

coqbot-app[bot] pushed 9 commits to branch master. Commits by ejgallego (8) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 28 2020 at 10:04):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 28 2020 at 13:48):

gares pushed 15 commits to branch v8.13. Commits by ejgallego (8), gares (4), fakusb (2) and others (1).

view this post on Zulip Coq Github Bot (Nov 28 2020 at 14:28):

coqbot-app[bot] pushed 2 commits to branch master. Commits by beta-ziliani (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 28 2020 at 16:10):

gares pushed 3 commits to branch v8.13.

view this post on Zulip Coq Github Bot (Nov 28 2020 at 16:19):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Nov 28 2020 at 21:41):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jashug (1).

view this post on Zulip Coq Github Bot (Nov 29 2020 at 16:29):

ppedrot pushed 2 commits to branch master. Commits by herbelin (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Nov 29 2020 at 17:27):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Nov 30 2020 at 08:18):

gares pushed 6 commits to branch v8.13. Commits by gares (3), herbelin (1), jashug (1) and others (1).

view this post on Zulip Coq Github Bot (Nov 30 2020 at 09:32):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and mattam82 (1).

view this post on Zulip Coq Github Bot (Nov 30 2020 at 11:18):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 01 2020 at 10:55):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (1), coqbot-app[bot] (1) and mattam82 (1).

view this post on Zulip Coq Github Bot (Dec 01 2020 at 12:46):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 01 2020 at 18:27):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and pi8027 (1).

view this post on Zulip Coq Github Bot (Dec 02 2020 at 09:41):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 02 2020 at 11:00):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 02 2020 at 11:01):

gares pushed 7 commits to branch v8.13. Commits by gares (4), mattam82 (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (Dec 02 2020 at 13:01):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 02 2020 at 15:57):

vbgl pushed 2 commits to branch master. Commits by proux01 (1) and vbgl (1).

view this post on Zulip Coq Github Bot (Dec 03 2020 at 09:35):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:59):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 03 2020 at 19:25):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 03 2020 at 20:03):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 08:29):

coqbot-app[bot] pushed 12 commits to branch master. Commits by mattam82 (9), gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 09:11):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 14:03):

gares pushed 18 commits to branch v8.13. Commits by mattam82 (9), gares (7), Zimmi48 (1) and others (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 14:30):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 14:48):

coqbot-app[bot] pushed 5 commits to branch master. Commits by ppedrot (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 17:31):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ybertot (1).

view this post on Zulip Coq Github Bot (Dec 04 2020 at 22:56):

ppedrot pushed 3 commits to branch master. Commits by SkySkimmer (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 05 2020 at 17:21):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Dec 06 2020 at 16:06):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 07 2020 at 08:29):

gares pushed 18 commits to branch v8.13. Commits by gares (13), SkySkimmer (3), proux01 (1) and others (1).

view this post on Zulip Coq Github Bot (Dec 07 2020 at 11:16):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and paldepind (1).

view this post on Zulip Coq Github Bot (Dec 07 2020 at 13:08):

gares pushed tag V8.13+beta1.

view this post on Zulip Coq Github Bot (Dec 07 2020 at 13:09):

gares pushed 5 commits to branch v8.13.

view this post on Zulip Coq Github Bot (Dec 07 2020 at 16:32):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and erikmd (1).

view this post on Zulip Coq Github Bot (Dec 07 2020 at 20:12):

mattam82 pushed 1 commit to branch fix-case-arity-typing.

view this post on Zulip Coq Github Bot (Dec 07 2020 at 20:13):

mattam82 deleted the branch fix-case-arity-typing.

view this post on Zulip Coq Github Bot (Dec 08 2020 at 13:01):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 08 2020 at 14:16):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ejgallego (1).

view this post on Zulip Coq Github Bot (Dec 08 2020 at 16:35):

coqbot-app[bot] pushed 3 commits to branch master. Commits by SkySkimmer (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 09 2020 at 09:58):

coqbot-app[bot] pushed 5 commits to branch master. Commits by gares (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 09 2020 at 18:01):

coqbot-app[bot] pushed 8 commits to branch master. Commits by ppedrot (7) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 09 2020 at 22:05):

cpitclaudel pushed 2 commits to branch master. Commits by cpitclaudel (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Dec 10 2020 at 08:47):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 10 2020 at 10:11):

Zimmi48 pushed 8 commits to branch v8.12. Commits by Zimmi48 (4), herbelin (2), CohenCyril (1) and others (1).

view this post on Zulip Coq Github Bot (Dec 10 2020 at 17:22):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 10 2020 at 17:23):

coqbot-app[bot] pushed 14 commits to branch master. Commits by herbelin (13) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 10 2020 at 20:48):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 08:46):

Zimmi48 pushed 3 commits to branch v8.12.

view this post on Zulip Coq Github Bot (Dec 11 2020 at 08:50):

Zimmi48 pushed tag V8.12.2.

view this post on Zulip Coq Github Bot (Dec 11 2020 at 09:00):

gares pushed 5 commits to branch v8.13. Commits by SkySkimmer (2), gares (2) and paldepind (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 11:11):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and shinnar (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 12:18):

ppedrot pushed 5 commits to branch master. Commits by silene (4) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 14:08):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 14:11):

cpitclaudel pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 16:03):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and fakusb (1).

view this post on Zulip Coq Github Bot (Dec 11 2020 at 18:26):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Dec 12 2020 at 09:54):

gares pushed 13 commits to branch v8.13. Commits by gares (5), silene (4), Zimmi48 (3) and others (1).

view this post on Zulip Coq Github Bot (Dec 12 2020 at 10:12):

coqbot-app[bot] pushed 5 commits to branch master. Commits by gares (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 12 2020 at 18:11):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 13 2020 at 16:55):

gares pushed 1 commit to branch v8.13.

view this post on Zulip Coq Github Bot (Dec 13 2020 at 19:04):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Dec 14 2020 at 08:24):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 14 2020 at 08:33):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 14 2020 at 15:18):

coqbot-app[bot] pushed 3 commits to branch master. Commits by gares (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 14 2020 at 16:18):

ppedrot pushed 7 commits to branch master. Commits by gares (6) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 14 2020 at 16:35):

coqbot-app[bot] pushed 3 commits to branch master. Commits by ppedrot (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 12:01):

coqbot-app[bot] pushed 4 commits to branch master. Commits by gares (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 17:44):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 17:44):

coqbot-app[bot] pushed 5 commits to branch master. Commits by ppedrot (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 18:06):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 18:07):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 15 2020 at 18:08):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 16 2020 at 12:37):

ppedrot pushed 2 commits to branch master. Commits by SkySkimmer (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 16 2020 at 12:39):

ppedrot pushed 3 commits to branch master. Commits by herbelin (2) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 16 2020 at 14:37):

coqbot-app[bot] pushed 2 commits to branch master. Commits by SkySkimmer (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 16 2020 at 18:43):

coqbot-app[bot] pushed 2 commits to branch master. Commits by LasseBlaauwbroek (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 17 2020 at 10:55):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (Dec 18 2020 at 08:23):

gares pushed 7 commits to branch v8.13. Commits by gares (6) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (Dec 18 2020 at 15:52):

coqbot-app[bot] pushed 5 commits to branch master. Commits by ppedrot (4) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 18 2020 at 19:22):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Dec 20 2020 at 15:36):

coqbot-app[bot] pushed 8 commits to branch master. Commits by herbelin (7) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 20 2020 at 15:40):

gares pushed 2 commits to branch v8.13. Commits by LasseBlaauwbroek (1) and gares (1).

view this post on Zulip Coq Github Bot (Dec 21 2020 at 19:33):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 24 2020 at 08:03):

coqbot-app[bot] pushed 19 commits to branch master. Commits by jashug (18) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 25 2020 at 13:13):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Dec 26 2020 at 18:14):

coqbot-app[bot] pushed 3 commits to branch master. Commits by Zimmi48 (2) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 27 2020 at 18:11):

coqbot-app[bot] pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 27 2020 at 20:26):

coqbot-app[bot] pushed 4 commits to branch master. Commits by LasseBlaauwbroek (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 28 2020 at 09:52):

gares pushed 2 commits to branch v8.13. Commits by gares (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Dec 28 2020 at 10:00):

gares pushed 1 commit to branch v8.13.

view this post on Zulip Coq Github Bot (Dec 28 2020 at 15:44):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Dec 28 2020 at 16:47):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Dec 28 2020 at 21:59):

gares pushed 5 commits to branch v8.13. Commits by gares (3), Zimmi48 (1) and herbelin (1).

view this post on Zulip Coq Github Bot (Dec 29 2020 at 19:05):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 30 2020 at 07:10):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Dec 30 2020 at 17:44):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and silene (1).

view this post on Zulip Coq Github Bot (Dec 30 2020 at 17:45):

coqbot-app[bot] pushed 4 commits to branch master. Commits by ppedrot (3) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 30 2020 at 18:31):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Dec 31 2020 at 12:27):

gares pushed 4 commits to branch v8.13. Commits by gares (2), Zimmi48 (1) and proux01 (1).

view this post on Zulip Coq Github Bot (Jan 01 2021 at 13:19):

coqbot-app[bot] pushed 2 commits to branch master. Commits by Zimmi48 (1) and coqbot-app[bot] (1).

view this post on Zulip Coq Github Bot (Jan 01 2021 at 19:06):

coqbot-app[bot] pushed 2 commits to branch master. Commits by coqbot-app[bot] (1) and jfehrle (1).

view this post on Zulip Coq Github Bot (Jan 02 2021 at 17:28):

gares pushed 2 commits to branch v8.13. Commits by gares (1) and jfehrle (1).

view this post on Zulip Coq Github Bot