Commits

Branch selector

 master

User selector

Zimmi48

Datepicker

All time

Commit History

Commits on Nov 23, 2020

• Merge pull request #64 from coq-community/leave-travis

  Show description for a585542
  Zimmi48

  authored
  a585542

  Copy full SHA for a585542

Commits on Nov 22, 2020

• Switch from Travis CI to GitHub Actions.

  Zimmi48

  committed
  ae7cad9

  Copy full SHA for ae7cad9

Commits on Jul 13, 2020

• Fix use of Cachix (regenerate from templates).

  Zimmi48

  committed
  9f74a7b

  Copy full SHA for 9f74a7b

Commits on Jun 7, 2020

• [nix] Build with math-comp dev version.

  Show description for 03e072a
  

  Zimmi48

  authored and

  erikmd

  committed
  03e072a

  Copy full SHA for 03e072a

Commits on May 29, 2020

• Regenerate files from latest templates.

  Show description for f0e28d2
  Zimmi48

  committed
  f0e28d2

  Copy full SHA for f0e28d2

Commits on May 6, 2019

• [nix] Build with math-comp dev version.

  Show description for fac514f
  Zimmi48

  committed
  fac514f

  Copy full SHA for fac514f

Commits on Apr 26, 2019

• Revert "Pin nixpkgs to version including math-comp 1.8.0."

  Show description for df7c722
  Zimmi48

  committed
  df7c722

  Copy full SHA for df7c722

Commits on Apr 16, 2019

• Pin nixpkgs to version including math-comp 1.8.0.

  Show description for 742efd4
  Zimmi48

  committed
  742efd4

  Copy full SHA for 742efd4

• Update meta.yml to use the latest version of templates.

  Show description for f1d4cfd
  Zimmi48

  committed
  f1d4cfd

  Copy full SHA for f1d4cfd

• Add nix-build output to .gitignore.

  Zimmi48

  committed
  e364e9f

  Copy full SHA for e364e9f

Commits on Jan 31, 2019

• Merge pull request #35 from gares/silence-w-duplicate-clear

  Show description for d7ee872
  Zimmi48

  authored
  d7ee872

  Copy full SHA for d7ee872

Commits on Jan 30, 2019

• Update coq.cachix.org public key.

  Zimmi48

  committed
  f9b1d2a

  Copy full SHA for f9b1d2a

Commits on Nov 23, 2018

• Merge pull request #21 from Zimmi48/update-travis

  Show description for ec6e547
  Zimmi48

  authored
  ec6e547

  Copy full SHA for ec6e547

• Add opam package testing using Docker image.

  Zimmi48

  committed
  c6868d1

  Copy full SHA for c6868d1

Commits on Nov 21, 2018

• Refactor Nix CI for more uniformity.

  Zimmi48

  committed
  61a5326

  Copy full SHA for 61a5326

• Merge pull request #15 from vbgl/ssreflect-from-nixpkgs

  Show description for 407e18e
  Zimmi48

  authored
  407e18e

  Copy full SHA for 407e18e

Commits on Jul 27, 2018

• Increase title levels (there is only one title at level 1).

  Zimmi48

  committed
  a18954e

  Copy full SHA for a18954e

• Use coq-community color palette for the badges.

  Zimmi48

  committed
  d8e477d

  Copy full SHA for d8e477d

• Add even more badges.

  Zimmi48

  committed
  a2cfa0c

  Copy full SHA for a2cfa0c

• Add Travis badge.

  Zimmi48

  committed
  2265642

  Copy full SHA for 2265642

• lemma-overloading only depends on SSR, not the full math-comp.

  Zimmi48

  committed
  7b89b39

  Copy full SHA for 7b89b39

• Introduce CI tests.

  Zimmi48

  committed
  c15e356

  Copy full SHA for c15e356

Commits on Jul 24, 2018

• Add .gitignore.

  Zimmi48

  committed
  05217f9

  Copy full SHA for 05217f9

• Rename Make into _CoqProject because of better IDE support.

  Zimmi48

  committed
  65a6cf4

  Copy full SHA for 65a6cf4