index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
ci
Commit message (
Expand
)
Author
Age
...
*
|
|
[tactics] Remove anonymous fix/cofix form.
Emilio Jesus Gallego Arias
2018-05-24
*
|
|
Complete rewrite of the documentation of overlays after Jim's additional comm...
Théo Zimmermann
2018-05-24
*
|
|
Relax advice on the name of user-overlays following Gaëtan's suggestion.
Théo Zimmermann
2018-05-24
*
|
|
Improve merging and overlay documentations.
Théo Zimmermann
2018-05-24
|
*
|
[ide] Move common protocol library to its own folder/object.
Emilio Jesus Gallego Arias
2018-05-24
|
/
/
*
|
[ci] Build fiat-crypto targets in sequence
Jason Gross
2018-05-22
*
|
Merge PR #7526: [circle] Use Docker image from Gitlab registry.
Gaëtan Gilbert
2018-05-22
|
\
\
*
|
|
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
2018-05-21
*
|
|
[CI] Fix the script used by math-classes.
Pierre-Marie Pédrot
2018-05-18
|
*
|
[circle] Use Docker image from Gitlab registry.
Emilio Jesus Gallego Arias
2018-05-17
|
/
/
*
|
Merge PR #7525: [ci] Try to build more of fiat-crypto.
Gaëtan Gilbert
2018-05-17
|
\
\
*
\
\
Merge PR #6808: Add unit tests to test-suite
Gaëtan Gilbert
2018-05-17
|
\
\
\
|
|
*
|
[ci] Try to build more of fiat-crypto.
Emilio Jesus Gallego Arias
2018-05-16
|
|
/
/
|
/
|
|
*
|
|
Merge PR #7514: [ci] Don't build lite versions of CI developments.
Gaëtan Gilbert
2018-05-16
|
\
\
\
|
|
*
|
add unit tests to test suite
Paul Steckler
2018-05-16
|
|
/
/
|
/
|
|
*
|
|
Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.
Emilio Jesus Gallego Arias
2018-05-16
|
\
\
\
|
|
*
|
[ci] Don't build lite versions of CI developments.
Emilio Jesus Gallego Arias
2018-05-16
*
|
|
|
Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.
Emilio Jesus Gallego Arias
2018-05-16
|
\
\
\
\
*
\
\
\
\
Merge PR #7213: Do not compute constr matching context if not used.
Matthieu Sozeau
2018-05-15
|
\
\
\
\
\
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
*
|
Update CI README with info about gitlab windows and docker jobs.
Gaëtan Gilbert
2018-05-14
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
Merge PR #7482: Update CI documentation following recent evolutions.
Emilio Jesus Gallego Arias
2018-05-14
|
\
\
\
\
|
|
|
*
|
Pick up user overlays when running GitLab CI on PRs.
Théo Zimmermann
2018-05-14
|
*
|
|
|
Update CI documentation following recent evolutions.
Théo Zimmermann
2018-05-14
|
|
|
/
/
|
|
/
|
|
*
/
|
|
Windows packaging build with Gitlab CI
Maxime Dénès
2018-05-11
|
/
/
/
*
|
|
[ci] Add mit-plv/cross-crypto
Jason Gross
2018-05-09
*
|
|
[gitlab] Add bleeding-edge flambda build.
Emilio Jesus Gallego Arias
2018-05-07
*
|
|
[ci] Add ounit to the base Docker package set.
Emilio Jesus Gallego Arias
2018-05-07
*
|
|
[gitlab] [circleci] Use a Custom Docker Image as base CI setup.
Emilio Jesus Gallego Arias
2018-05-05
*
|
|
Merge PR #7400: ci-vst.sh: use -o progs
Emilio Jesus Gallego Arias
2018-05-03
|
\
\
\
*
|
|
|
[ci]: add pidetop (fix #7336)
Enrico Tassi
2018-05-02
|
*
|
|
ci-vst.sh: use -o progs
Gaëtan Gilbert
2018-05-01
|
/
/
/
*
|
|
[ci] Fix #7396: VST is broken
Emilio Jesus Gallego Arias
2018-05-01
*
|
|
updating CI for Mtac2
Beta Ziliani
2018-04-25
*
|
|
Merge PR #7152: [api] Remove dependency of library on Vernacexpr.
Pierre-Marie Pédrot
2018-04-23
|
\
\
\
*
\
\
\
Merge PR #7320: [ci] Also make some display targets for fiat-crypto
Emilio Jesus Gallego Arias
2018-04-21
|
\
\
\
\
|
*
|
|
|
[ci] Also make some display targets for fiat-crypto
Jason Gross
2018-04-20
*
|
|
|
|
CI: add fcsl-pcm
Anton Trunov
2018-04-20
|
/
/
/
/
*
|
|
|
CI: extract iris git version without using opam
Ralf Jung
2018-04-18
*
|
|
|
fix iris-lambda-rust CI
Ralf Jung
2018-04-18
*
|
|
|
Merge PR #7242: Update the CI branch for Equations.
Gaëtan Gilbert
2018-04-17
|
\
\
\
\
|
*
|
|
|
Update the CI branch for Equations.
Théo Zimmermann
2018-04-13
*
|
|
|
|
Overlay for econstr in Evd.
Gaëtan Gilbert
2018-04-13
|
/
/
/
/
*
|
|
|
Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...
Pierre-Marie Pédrot
2018-04-13
|
\
\
\
\
|
|
|
*
|
Adding an overlay for Ltac2.
Pierre-Marie Pédrot
2018-04-11
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
Merge PR #6809: Improve shell scripts
Michael Soegtrop
2018-04-08
|
\
\
\
\
|
|
|
*
|
[api] Remove dependency of library on Vernacexpr.
Emilio Jesus Gallego Arias
2018-04-06
|
*
|
|
|
Improve shell scripts
zapashcanon
2018-04-05
|
|
|
/
/
|
|
/
|
|
*
/
|
|
[api] Move some types to their proper module.
Emilio Jesus Gallego Arias
2018-04-02
|
/
/
/
|
*
/
[econstr] Forbid calling `to_constr` in open terms.
Emilio Jesus Gallego Arias
2018-03-31
|
/
/
*
|
Remove outdated patch from ci-sf
Jasper Hugunin
2018-03-29
[prev]
[next]