9fdc759ac0
Centralized tracking of frontend's global state ( #9963 )
...
import Local_store from merlin, with a simplified API following review comments
2020-10-15 14:47:19 +02:00
d910c35301
Add a test for --enable-reserved-header-bits
2020-10-09 14:51:00 +02:00
5381e13626
Fix handling of Exit_compiler exception in toplevel ( #9798 )
2020-10-05 09:46:20 +02:00
ceb13a273c
Inria CI: use a timeout, take #2
...
Let's try with a very short timeout, to make sure the job will exceed it.
2020-09-17 18:39:09 +02:00
fb0b2c5cd1
Inria CI: add timeouts to pipeline jobs
2020-09-16 11:57:54 +02:00
c3f6cd7ff7
Merge remote-tracking branch 'upstream/trunk' into trunk
2020-09-11 14:14:38 +01:00
fc101ae849
Rename tools/unlabel --> tools/sync_stdlib_docs
2020-09-10 19:17:43 +01:00
d6ce828d06
Remove SINCE work from tools/unlabel
2020-09-10 17:56:42 +01:00
d9a3ad413f
Notify only on regressions for Inria CI's other-configs job
2020-08-14 17:01:58 +02:00
7b2689b8a0
Define Inria CI's other-configs job as a Jenkins pipeline, take #2
2020-08-14 15:50:25 +02:00
b1ffaf6008
Define Inria CI's other-configs job as a Jenkins pipeline, take #1
2020-08-14 14:39:33 +02:00
e05fc92d12
Notify only on regressions for Inria CI's Risc-V job
2020-08-13 19:08:07 +02:00
5cdc8072be
Define Inria CI's Risc-V job as a Jenkins pipeline, take #1
2020-08-13 14:44:06 +02:00
2f16b98a8d
Notify only on regressions for Inria CI's bootstrap job
2020-08-13 14:17:53 +02:00
d0d8acecb0
Use a pipeline to define the bootstrap Jenkins job, take #1
2020-08-13 11:18:10 +02:00
a12bf04282
Make the sanitizers and step-by-step-build CI jobs less verbose
...
Now that these jobs work, make them report only regressions
2020-08-11 17:47:50 +02:00
5acc76eb07
tools/ci/inria/step-by-step-build/script: fixes
2020-08-11 16:57:34 +02:00
541ade530f
Split the extra-checks job, take #2
2020-08-11 16:51:35 +02:00
c89c464746
Split Inria CI's extra-checks job, take #1
...
This job did actually do two different things:
1. Check that the compiler can be built without the world.opt target
2. Run sanitizers
This commit thus splits the extra-checks job into two separate
ones that are defined as Jenkins pipeline jobs named sanitizers and
step-by-step-build.
2020-08-11 16:03:27 +02:00
697242f4b2
dune-build: send e-mails only for regressions
2020-08-11 14:49:38 +02:00
756f6393bf
Always report failures of Inria CI's dune-build job
...
For the time being, let's report all the failures of this job
and not only its regressions.
2020-08-11 10:38:27 +02:00
13a500f3dd
tools/ci/inria/README.md: typographical improvements
2020-08-11 09:19:57 +02:00
a59b147f51
Inria CI: define the dune-build job as a Jenkins pipeline
2020-08-10 15:52:40 +02:00
bc62faec7b
Introduce the check-typo Jenkins pipeline
2020-08-10 15:08:57 +02:00
7c0623b33e
Simplify the tools/ci/inria/extra-checks script
...
Use the ability to pass flags to the C compiler at configure time
to simplify this CI script.
Looking at the diff, it may seem that some flags like -fwrapv,
-fno-strict-aliasing, -Wall and -Werror got lost by this commit.
It is actually not the case. In its previous version, this script was
overriding the flags as defined by the compiler's build system, so it
had to provide a rather exhaustive list of flags. Now one only needs to
add the flags specific to the build one wishes to do. The flags mentionned above*
are provided by the compiler's build system so they do not need to be mentionned
here any longer.
2020-08-06 14:31:09 +02:00
af6ad84d6d
Restore tilde-removal, other little fixes
2020-08-05 17:39:59 +01:00
35cb3e550f
Float.Array(Labels) generated by tools/unlabel
2020-08-05 15:39:33 +01:00
bf888763cd
tools/ci/inria/extra-checks: stop mentionning the world target
...
This change is similar to the one in commit 2d927d8be6
2020-08-03 16:44:23 +02:00
f3e7475b6a
tools/ci/inria/extra-checks: fix another typo
2020-08-03 16:43:46 +02:00
2d927d8be6
tools/ci/inria/extra-checks: stop mentionninig world.opt explicitly
...
this is now what's happening by default when the bytecode compiler
has not been disabled, and it has not, here.
2020-08-03 15:41:02 +02:00
5cb2218044
tools/ci/inria/extra-checks: print each command before its execution
2020-08-03 15:05:38 +02:00
4d7e78f224
tools/ci/inria/extra-checks: fix typos
2020-08-03 15:05:32 +02:00
13965773ed
Tildes back in ~random parameter in Hashtbl.create
2020-08-03 13:01:33 +01:00
7a22c2b1e4
Remove unneeded comment, typo
2020-08-01 13:54:36 +01:00
1c258b463f
Fix label warnings
2020-07-31 15:51:11 +01:00
a5ed794b4c
Check-typo and indenting all done
2020-07-31 14:24:50 +01:00
4c5879b079
More patch indenting
2020-07-31 12:42:00 +01:00
35a3470a9d
Better indentation for moreLabels.mli patches
2020-07-31 12:38:45 +01:00
0e2a4a6ea7
Better, simpler, removal of unix type aliases
2020-07-30 19:07:03 +01:00
6e0557f6d7
Labeled and unlabeled @sinces automatically
2020-07-30 17:21:22 +01:00
85491c8867
Tildes back in labeled modules
2020-07-29 14:58:01 +01:00
dd1f3789f2
Tilde removal in place. Now will put them back in.
2020-07-29 13:58:22 +01:00
902ca08055
Fix tools/unlabel to deal with Hashtbl injectivity
2020-07-27 15:44:35 +01:00
d0263ac0e4
Merge branch 'trunk' into trunk
2020-07-27 13:53:52 +01:00
b91415d47e
Allow tools/unlabel to run from anywhere
2020-07-27 12:41:34 +01:00
2b618ea026
Check that tools/unlabel is a no-op in CI
2020-07-27 12:41:21 +01:00
c99cbd1101
Reorganize release info
2020-07-26 17:45:35 +02:00
b1d1c0b77c
Merge pull request #9657 from nojb/warning_mnemonics
...
Add mnemonics for warnings
2020-07-21 11:47:37 +02:00
214146c570
Adapt caml-tex
2020-07-20 21:53:11 +02:00
de877859cf
Test "no naked pointers" along with "flambda"
2020-07-20 09:37:32 +02:00
Thomas Refis
Xavier Leroy
Nicolás Ojeda Bär
Sébastien Hinderer
John Whitington
David Allsopp
Florian Angeletti
Gabriel Scherer