aboutsummaryrefslogtreecommitdiffstats
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* ci fix for pages?Léo Gourdin2021-12-071-2/+1
* docLéo Gourdin2021-12-071-5/+0
* Revert "fix"Léo Gourdin2021-12-061-1/+0
* fixLéo Gourdin2021-12-061-0/+1
* improve doc CILéo Gourdin2021-12-061-4/+9
* [Cherry picking] 01ade46b340267d8782c413f6bd5a3cff13ef0a6Léo Gourdin2021-12-061-2/+2
* Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2021-09-301-2/+1
|\
| * Merge branch 'towards_2.10' of ../towards_3.10 into kvx-workDavid Monniaux2021-09-301-2/+1
| |\
| | * rm spurious commentDavid Monniaux2021-09-231-1/+0
| | * reactivate csmith on rv64 after bugfixDavid Monniaux2021-09-231-1/+1
* | | make clightgenDavid Monniaux2021-09-301-0/+12
|/ /
* | focus rmDavid Monniaux2021-09-281-1/+1
* | focus rmDavid Monniaux2021-09-281-1/+1
* | essai rm packagesDavid Monniaux2021-09-281-1/+1
* | rm kannDavid Monniaux2021-09-281-1/+1
* | maybe it should work?David Monniaux2021-09-281-1/+1
|/
* increase timeout for running under simulator, swap yarpgen and csmithDavid Monniaux2021-09-231-1/+1
* try with even more stackDavid Monniaux2021-09-231-1/+1
* csmith disabled on riscv64David Monniaux2021-09-221-1/+2
* change stack sizeDavid Monniaux2021-09-211-1/+1
* use large stacksize on KVXDavid Monniaux2021-09-201-1/+1
* Merge remote-tracking branch 'origin/kvx-work' into csmithDavid Monniaux2021-09-171-2/+24
|\
| * bump OCaml version in CIDavid Monniaux2021-09-151-13/+13
* | rm csmith packageDavid Monniaux2021-09-131-1/+1
* | timeoutsDavid Monniaux2021-09-131-13/+13
* | fix gitlabcimlDavid Monniaux2021-09-131-1/+47
* | yamllintDavid Monniaux2021-09-131-4/+4
* | bump ocaml versionDavid Monniaux2021-09-131-11/+11
* | install csmithDavid Monniaux2021-09-131-76/+8
* | other targetsDavid Monniaux2021-09-131-4/+12
|/
* test under coq 8.13.2David Monniaux2021-09-021-0/+23
* Use qemu-6.0.0 for PPC as the 3.1.0 version shipping with the Debian in the d...David Monniaux2021-06-121-2/+5
* show qemu versionDavid Monniaux2021-06-111-0/+1
* disable ppc partiallyDavid Monniaux2021-06-111-2/+6
* compile non yarpgen tests without -static; this should workDavid Monniaux2021-06-111-4/+4
* disable PPC64; can't link and don't know whyDavid Monniaux2021-06-111-2/+2
* fix bad pathsDavid Monniaux2021-06-111-2/+2
* don't use -static on ppcDavid Monniaux2021-06-111-4/+4
* path issuesDavid Monniaux2021-06-111-6/+6
* add PPC to CI and remove ugly hack for qemu linker pathsDavid Monniaux2021-06-111-56/+62
* run CI on kvx-work-ssa kvx-work-velusDavid Monniaux2021-06-081-49/+57
* fix aarch64 merge?Léo Gourdin2021-03-291-0/+2
* replacing omega with lia in some fileLéo Gourdin2021-03-291-0/+2
* fix CI arm and armhfSylvain Boulmé2021-03-241-2/+6
* CI test with 12.2Léo Gourdin2021-01-041-12/+12
* Merge remote-tracking branch 'origin/aarch64-asmblockgenproof' into aarch64-p...Léo Gourdin2020-12-201-12/+12
|\
| * CI 11.2Léo Gourdin2020-12-191-12/+12
| * for 2010-11-18 Kalray releaseDavid Monniaux2020-11-191-1/+1
* | fix CI for x86_64Sylvain Boulmé2020-12-161-1/+1
* | try coq.8.12.2 in the CISylvain Boulmé2020-12-161-12/+12
generated by cgit (git 2.34.1) at 2024-06-02 20:11:50 +0000