Sébastien Hinderer
286a9397b8
Inria CI fix
...
The step-by-step-build job should stop on errors
2020-11-25 10:50:11 +01:00
Sébastien Hinderer
a93a564301
Inria CI: give the other-configs job a more realistic timeout
...
Now that it could be verified that the timeout works (the job was
rightfully aborted by Jenkins after 2 minutes), set its timeout to a more
realistic value, namely 45 minutes.
2020-11-24 17:53:55 +01:00
Sébastien Hinderer
c4e77cd91d
Inria CI: second tentative fix for the other-configs pipeline
2020-11-24 17:45:35 +01:00
Sébastien Hinderer
250e6fbdc7
Typo fix
2020-11-24 17:11:43 +01:00
Sébastien Hinderer
8ae80218a9
Inria CI: tentative fix for the other-configs job
2020-11-24 17:07:01 +01:00
David Allsopp
f6279a64b5
Switch the compiler CI builds from Travis to GitHub actions ( #10036 )
...
* Switch compiler builds and tests to GitHub actions
* Expose ${cc} in ocamltest
* Allow lib-bigarray-2/bigarrfml.ml to run on 32-bit
* Simplify environment variables passed to scripts
* Reduce matrix to 3 builds
* Move minimum build into Jenkins other-configs
2020-11-24 14:16:31 +01:00
Thomas Refis
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
Xavier Leroy
d910c35301
Add a test for --enable-reserved-header-bits
2020-10-09 14:51:00 +02:00
Nicolás Ojeda Bär
5381e13626
Fix handling of Exit_compiler exception in toplevel ( #9798 )
2020-10-05 09:46:20 +02:00
Sébastien Hinderer
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
Sébastien Hinderer
fb0b2c5cd1
Inria CI: add timeouts to pipeline jobs
2020-09-16 11:57:54 +02:00
John Whitington
c3f6cd7ff7
Merge remote-tracking branch 'upstream/trunk' into trunk
2020-09-11 14:14:38 +01:00
John Whitington
fc101ae849
Rename tools/unlabel --> tools/sync_stdlib_docs
2020-09-10 19:17:43 +01:00
John Whitington
d6ce828d06
Remove SINCE work from tools/unlabel
2020-09-10 17:56:42 +01:00
Sébastien Hinderer
d9a3ad413f
Notify only on regressions for Inria CI's other-configs job
2020-08-14 17:01:58 +02:00
Sébastien Hinderer
7b2689b8a0
Define Inria CI's other-configs job as a Jenkins pipeline, take #2
2020-08-14 15:50:25 +02:00
Sébastien Hinderer
b1ffaf6008
Define Inria CI's other-configs job as a Jenkins pipeline, take #1
2020-08-14 14:39:33 +02:00
Sébastien Hinderer
e05fc92d12
Notify only on regressions for Inria CI's Risc-V job
2020-08-13 19:08:07 +02:00
Sébastien Hinderer
5cdc8072be
Define Inria CI's Risc-V job as a Jenkins pipeline, take #1
2020-08-13 14:44:06 +02:00
Sébastien Hinderer
2f16b98a8d
Notify only on regressions for Inria CI's bootstrap job
2020-08-13 14:17:53 +02:00
Sébastien Hinderer
d0d8acecb0
Use a pipeline to define the bootstrap Jenkins job, take #1
2020-08-13 11:18:10 +02:00
Sébastien Hinderer
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
Sébastien Hinderer
5acc76eb07
tools/ci/inria/step-by-step-build/script: fixes
2020-08-11 16:57:34 +02:00
Sébastien Hinderer
541ade530f
Split the extra-checks job, take #2
2020-08-11 16:51:35 +02:00
Sébastien Hinderer
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
Sébastien Hinderer
697242f4b2
dune-build: send e-mails only for regressions
2020-08-11 14:49:38 +02:00
Sébastien Hinderer
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
Sébastien Hinderer
13a500f3dd
tools/ci/inria/README.md: typographical improvements
2020-08-11 09:19:57 +02:00
Sébastien Hinderer
a59b147f51
Inria CI: define the dune-build job as a Jenkins pipeline
2020-08-10 15:52:40 +02:00
Sébastien Hinderer
bc62faec7b
Introduce the check-typo Jenkins pipeline
2020-08-10 15:08:57 +02:00
Sébastien Hinderer
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
John Whitington
af6ad84d6d
Restore tilde-removal, other little fixes
2020-08-05 17:39:59 +01:00
John Whitington
35cb3e550f
Float.Array(Labels) generated by tools/unlabel
2020-08-05 15:39:33 +01:00
Sébastien Hinderer
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
Sébastien Hinderer
f3e7475b6a
tools/ci/inria/extra-checks: fix another typo
2020-08-03 16:43:46 +02:00
Sébastien Hinderer
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
Sébastien Hinderer
5cb2218044
tools/ci/inria/extra-checks: print each command before its execution
2020-08-03 15:05:38 +02:00
Sébastien Hinderer
4d7e78f224
tools/ci/inria/extra-checks: fix typos
2020-08-03 15:05:32 +02:00
John Whitington
13965773ed
Tildes back in ~random parameter in Hashtbl.create
2020-08-03 13:01:33 +01:00
John Whitington
7a22c2b1e4
Remove unneeded comment, typo
2020-08-01 13:54:36 +01:00
John Whitington
1c258b463f
Fix label warnings
2020-07-31 15:51:11 +01:00
John Whitington
a5ed794b4c
Check-typo and indenting all done
2020-07-31 14:24:50 +01:00
John Whitington
4c5879b079
More patch indenting
2020-07-31 12:42:00 +01:00
John Whitington
35a3470a9d
Better indentation for moreLabels.mli patches
2020-07-31 12:38:45 +01:00
John Whitington
0e2a4a6ea7
Better, simpler, removal of unix type aliases
2020-07-30 19:07:03 +01:00
John Whitington
6e0557f6d7
Labeled and unlabeled @sinces automatically
2020-07-30 17:21:22 +01:00
John Whitington
85491c8867
Tildes back in labeled modules
2020-07-29 14:58:01 +01:00
John Whitington
dd1f3789f2
Tilde removal in place. Now will put them back in.
2020-07-29 13:58:22 +01:00
John Whitington
902ca08055
Fix tools/unlabel to deal with Hashtbl injectivity
2020-07-27 15:44:35 +01:00
John Whitington
d0263ac0e4
Merge branch 'trunk' into trunk
2020-07-27 13:53:52 +01:00