Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 22, 2024

• Reduce the size of the diff by removing information

  clarus

  committed
  ddbd79a

  Copy full SHA for ddbd79a

Commits on Nov 13, 2021

• Change indentation level for clearer Zulip messages

  clarus

  authored
  b60c37f

  Copy full SHA for b60c37f

Commits on Nov 9, 2021

• Fix encoding issues

  clarus

  committed
  74a9638

  Copy full SHA for 74a9638

Commits on Nov 7, 2021

• Add emojis to the page of logs

  clarus

  committed
  7c90092

  Copy full SHA for 7c90092

• Add emoji to the foodter

  clarus

  committed
  96fd4a7

  Copy full SHA for 96fd4a7

Commits on Oct 30, 2021

• Replace Gitter link by Zulip

  clarus

  authored
  2f42d30

  Copy full SHA for 2f42d30

Commits on May 5, 2021

• Add coq-hardware.8.5.0 to the black-list

  clarus

  committed
  cbeb251

  Copy full SHA for cbeb251

Commits on May 2, 2021

• Add the ZArith errors to the black-listing

  clarus

  committed
  b317e06

  Copy full SHA for b317e06

Commits on Dec 13, 2020

• Add black-list for the installation time of coq-chick-blog

  clarus

  committed
  181d4af

  Copy full SHA for 181d4af

Commits on Dec 7, 2020

• Black-list the dependencies resolution timeouts

  clarus

  committed
  de9ded1

  Copy full SHA for de9ded1

Commits on Dec 4, 2020

• Adding coq-compcert.3.0.1 to the list of black-list errors

  clarus

  committed
  0a1cf54

  Copy full SHA for 0a1cf54

Commits on Nov 24, 2020

• Add coq-metacoq-pcuic.1.0~alpha1+8.9 to the black-list

  clarus

  committed
  1c70a74

  Copy full SHA for 1c70a74

Commits on Oct 25, 2020

• More precise comment about the stat of installed packages

  clarus

  committed
  2612ff3

  Copy full SHA for 2612ff3

Commits on Sep 28, 2020

• Increase the maximum message length

  clarus

  committed
  2355f3f

  Copy full SHA for 2355f3f

Commits on Sep 21, 2020

• Small fix for the printing to Zulip

  clarus

  committed
  3840fff

  Copy full SHA for 3840fff

Commits on Sep 17, 2020

• Fix the display of the bullets on Zulip

  clarus

  committed
  77ea4fe

  Copy full SHA for 77ea4fe

• Add a script to send results on Zulip

  clarus

  committed
  a9faa9a

  Copy full SHA for a9faa9a

Commits on Sep 5, 2020

• Add compcert 3.4 to the black-list

  clarus

  committed
  96094fe

  Copy full SHA for 96094fe

Commits on Jun 10, 2020

• Add coq-stalmarck.8.12.0 to the black-list

  clarus

  committed
  6e6fe6f

  Copy full SHA for 6e6fe6f

Commits on Jun 8, 2020

• Add compcert.2.5.0 to the black-list

  clarus

  committed
  ba396e4

  Copy full SHA for ba396e4

Commits on Apr 21, 2020

• Add compcert 3.0.0 to the black-list

  clarus

  committed
  2ccabd6

  Copy full SHA for 2ccabd6

Commits on Apr 6, 2020

• Add download errors to the black-list

  clarus

  committed
  aca9590

  Copy full SHA for aca9590

Commits on Feb 27, 2020

• Show the message first on the command line so that when the connection to Gitter fails we at least have that

  clarus

  committed
  c550c42

  Copy full SHA for c550c42

Commits on Jan 17, 2020

• Remove coq-compcert.3.6 from the black list

  clarus

  committed
  467b4f6

  Copy full SHA for 467b4f6

Commits on Jan 6, 2020

• Add CompCert 2.7.1 to the list of flaky builds

  clarus

  committed
  ca970c2

  Copy full SHA for ca970c2

Commits on Dec 22, 2019

• Add CompCert 3.5 to the list of flaky Makefiles

  clarus

  committed
  52b8523

  Copy full SHA for 52b8523

Commits on Dec 14, 2019

• Add VST to the black-list for the CompCert dependency

  clarus

  committed
  e3d4071

  Copy full SHA for e3d4071

Commits on Dec 12, 2019

• Add coq-metacoq-erasure to the black list

  clarus

  committed
  af8e212

  Copy full SHA for af8e212

Commits on Nov 28, 2019

• Send at most 10 lines at once in Gitter

  clarus

  committed
  85d9e01

  Copy full SHA for 85d9e01

Commits on Nov 27, 2019

• Add CompCert 3.2.0 to the black-list for flaky Makefile

  clarus

  committed
  bd37800

  Copy full SHA for bd37800

Commits on Nov 18, 2019

• Add coq-stalmarck to the black-list

  clarus

  committed
  bb0286f

  Copy full SHA for bb0286f

Commits on Nov 1, 2019

• Add about section

  clarus

  committed
  8e3a695

  Copy full SHA for 8e3a695

Commits on Oct 30, 2019

• Update the black-list

  clarus

  committed
  687cce7

  Copy full SHA for 687cce7

Commits on Oct 22, 2019

• Sort the package version using the Debian order

  clarus

  committed
  89c5589

  Copy full SHA for 89c5589

Commits on Oct 17, 2019

• Remove ltac2 from the black-list

  clarus

  committed
  1878eea

  Copy full SHA for 1878eea

Pagination

Previous

Next