| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
This is a proposal to use the wiki to gather current information about
the release process.
|
|
|
|
The azure OSX job replaces the first travis job, and the second always
fails and so is useless.
|
|
The badges displaying the latest packaged version are provided by Repology.
The goal is to put forward the packages that are well maintained (updated
quickly after a new release) and thus recommended.
The history of package updates can be found at:
https://repology.org/metapackage/coq/history
opam is missing because Repology is not currently tracking opam, but this
could be fixed (Repology does not only track Linux-distributions-like
package repositories, it also includes programming language package
repositories such as CPAN, CRAN, Hackage, RubyGems, and Stackage, thus
opam could be added as well).
|
|
|
|
|
|
|
|
|
|
GitLab setup is quite stable these days thanks to the work of many
people and `coqbot`. We decided to keep CircleCI support for a while
as a safeguard in case something happened in the migration to GitLab,
but these days we are just wasting resources to them and to us. As I'm
afraid CircleCI won't scale for us, the time to remove it has arrived.
Still, CircleCI had some awesome functionality that GitLab's CI
doesn't offer yet, see the links at:
https://github.com/coq/coq/issues/6919#issuecomment-395885573
- https://gitlab.com/gitlab-org/gitlab-ce/issues/29347
- https://gitlab.com/gitlab-org/gitlab-ce/issues/35222
- https://gitlab.com/gitlab-org/gitlab-ce/issues/41947
- https://gitlab.com/gitlab-org/gitlab-ce/issues/47063
|
|
We are now actively looking for sponsors, let's make our communication
more visible.
|
|
This will avoid in particular this ambiguous file extension.
[ci skip]
|
|
We had mostly used absolute links in the past.
I just discovered that GitHub recommends using relative links instead:
https://help.github.com/articles/basic-writing-and-formatting-syntax/#relative-links
and indeed my Emacs Markdown mode can handle relative links but doesn't
interpret absolute links relatively to the root of the git repository.
[ci skip]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This commit adds an issue template asking for version and OS information
and adapts the contributing guide to the change of bug tracker.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
