aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2020-09-28CI script wrapper now requires PythonMaxime Dénès
2020-09-23Merge PR #12977: Statically ensure that only polymophic hint terms come with ...coqbot-app[bot]
2020-09-22Add overlay for Equations.Hugo Herbelin
2020-09-21Make print-pretty-timed robust against non-output-sync logsJason Gross
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-09-15[zarith] [micromega] Bump to 1.10 and remove some hacksEmilio Jesus Gallego Arias
2020-09-14[ci] [docker] Up testing to OCaml 4.11.1Emilio Jesus Gallego Arias
2020-09-13Add overlays.Pierre-Marie Pédrot
2020-09-11[ci] [mathcomp] run the test suiteEnrico Tassi
2020-09-10Add simple-io to dev/ci/nix.Théo Zimmermann
2020-09-04Merge PR #12969: CI: build Iris examples instead of lambda-Rustcoqbot-app[bot]
2020-09-03Add Equations overlayMaxime Dénès
2020-09-02fix grepping for the Iris commitRalf Jung
2020-09-02CI: build Iris examples instead of lambda-RustRalf Jung
2020-08-31Update update_global_env usageGaëtan Gilbert
2020-08-31Merge PR #12875: Further extensions of About wrt Arguments and renamingcoqbot-app[bot]
2020-08-28Adding overlay for coq-elpi.Hugo Herbelin
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-25Merge PR #12801: Put cyclic numbers in sort Set instead of TypeAnton Trunov
2020-08-25Merge PR #12798: Change OUnit package name to ounit2.coqbot-app[bot]
2020-08-24Fix Coqtail test directory.whonore
2020-08-24Put cyclic numbers in sort Set instead of TypeVincent Semeria
2020-08-24Merge PR #12565: Dnets now consider axioms as being opaque for pattern recogn...coqbot
2020-08-20Merge PR #12756: Do not refresh the names of implicit arguments.Maxime Dénès
2020-08-20Adding overlays.Pierre-Marie Pédrot
2020-08-19Do not refresh the names of implicit arguments.Jasper Hugunin
2020-08-19Add overlay.Pierre-Marie Pédrot
2020-08-18Dockerfile: Update ounitGaëtan Gilbert
2020-08-12Add overlays.Pierre-Marie Pédrot
2020-07-24CI metacoq: make .merlinGaëtan Gilbert
2020-07-21Add Coqtail to CIwhonore
2020-07-17Merge PR #12701: CI: Use bundled compcert for VSTEmilio Jesus Gallego Arias
2020-07-17CI: pass -silent to coqchk in compcert jobGaëtan Gilbert
2020-07-17CI: Use bundled compcert for VSTGaëtan Gilbert
2020-07-15Merge PR #12671: Minor improvement to CI logsEmilio Jesus Gallego Arias
2020-07-10Minor improvement to CI logsGaëtan Gilbert
2020-07-09Overlay for removing struc_tupleGaëtan Gilbert
2020-07-08[ci] Overlay for metacoq and rewriterEmilio Jesus Gallego Arias
2020-07-08[obligations] Functionalize Program stateEmilio Jesus Gallego Arias
2020-07-06Primitive persistent arraysMaxime Dénès
2020-07-03Fix #11121: Simultaneous definition of term and notation in custom grammarMaxime Dénès
2020-07-01Overlays for UIP in SPropGaëtan Gilbert
2020-06-30[ci] [performance-tests] Use a lighter target.Emilio Jesus Gallego Arias
2020-06-29Adding overlay.Pierre-Marie Pédrot
2020-06-26[ci] Add overlays for PR #12372Emilio Jesus Gallego Arias
2020-06-24Add back fiat-crypto-legacy to the CIJason Gross
2020-06-23[ci] Add coq-community/coq-performance-testsJason Gross
2020-06-22Merge PR #12546: [ci] Use a tested branch of PerennialEmilio Jesus Gallego Arias
2020-06-19Add overlays.Pierre-Marie Pédrot
2020-06-17[ci] Use a tested branch of PerennialTej Chajed
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:25:37 +0000