[GOB] unified-ci - 4.09 - #274

Open

dra27 wants to merge 125 commits into

4.09from

unified-ci-4.09

Commits on Apr 30, 2019

fix tests/lib-dynlink-pr4229 (PR#8649)

damiendoligez
authored and
dra27
committed
7df0f5b

Commits on May 2, 2019

Merge pull request PR#8650 from xavierleroy/makefile-tweaks

xavierleroy
authored and
dra27
committed
091e046

Commits on Jun 3, 2019

Make sure the build variables are defined

shindere
authored and
dra27
committed
bed9651
Improve the main script of Inria's CI

shindere
authored and
dra27
committed
3ce00b7

Commits on Jun 11, 2019

Use AC_PREREQ to force Autoconf 2.69
dra27
committed
ca3646e

Commits on Jun 13, 2019

Merge pull request PR#8652 from dra27/travis-branches
dra27
committed
d0b69e7

Commits on Jun 19, 2019

Unified CI cherry-pick: PR#8745

jhjourdan
authored and
dra27
committed
6ca3507
Improve shell scripts (PR#1690)

redianthus
authored and
dra27
committed
5a11a06

Commits on Jun 24, 2019

Merge pull request PR#8755 from gasche/improve-depend-from-scratch

gasche
and
dra27
committed
63458e4

Commits on Jul 18, 2019

Add hasunix to recvfrom_unix
dra27
committed
7e58a77
Add hassysthreads to testyield test
dra27
committed
cf1a66a

Commits on Jul 31, 2019

Merge pull request PR#8845 from dra27/old-school
dra27
committed
0260806

Commits on Aug 6, 2019

tools/ci/inria/extra-checks: use git clean rather than make distclean

shindere
authored and
dra27
committed
9ffaaa8

Commits on Oct 19, 2019

Unified CI cherry-pick: PR#9053

jhjourdan
authored and
dra27
committed
c74eb39
Fix preprocessor error during make depend

xavierleroy
authored and
dra27
committed
3458f61

Commits on Jan 29, 2020

ci: check the prefixing policy for runtime symbols (PR#9260)

Octachron
authored and
dra27
committed
297877a

Commits on Apr 2, 2020

Merge pull request PR#9414 from gasche/testsuite-drop-passed-artefacts

gasche
authored and
dra27
committed
b968f0a

Commits on Apr 11, 2020

configure: use cc as assembler with clang and for all FreeBSD platforms (PR#9437)

xavierleroy
authored and
dra27
committed
8054814

Commits on Apr 17, 2020

Merge pull request PR#8639 from dra27/autoconf-tweak
dra27
committed
8f718d1

Commits on Apr 20, 2020

Merge pull request PR#9479 from dra27/faster-appveyor
dra27
committed
48d6e0e

Commits on Apr 21, 2020

Merge pull request PR#9481 from dra27/check-hygiene
dra27
committed
edbb567

Commits on May 1, 2020

Introduce Makefile.build_config.in
dra27
committed
d0f0ab5
Use autoconf AC_PROG_INSTALL results

gasche
authored and
dra27
committed
6892f08

Commits on May 13, 2020

Make -flarge-toc the default for PowerPC (PR#9557)
dra27
committed
916c6fa

Commits on May 22, 2020

check-program-output for tests/unwind; fix typos in check-linker-version.sh

ctk21
authored and
dra27
committed
b881474

Commits on Jun 8, 2020

Share generation code between ocamltest and utils
dra27
committed
f42b049

Commits on Jun 30, 2020

Merge pull request PR#9723 from dra27/flexdll-0.38
dra27
committed
1424664

Commits on Aug 20, 2020

Merge pull request PR#9847 from dra27/no-configure
dra27
committed
846e45b

Commits on Oct 18, 2020

Fix mergeable section flags and use .rodata.cst16 where appropriate (PR#9981)

jacobly0
authored and
dra27
committed
2985a97

Commits on Nov 24, 2020

Backport changes to Jenkins from 4.12

shindere
authored and
dra27
committed
73de9a4

Commits on Nov 25, 2020

Inria CI fix

shindere
authored and
dra27
committed
276b6d3

Commits on Nov 30, 2020

Graft GitHub Actions CI as at PR#10043 on to 4.09
dra27
committed
0225bd6
Inria CI: the step-by-step job should cleanup the repo before starting

shindere
authored and
dra27
committed
cdaef8c
Switch to FlexDLL 0.39
dra27
committed
a8b0d0a

Commits on Dec 4, 2020

Unified CI cherry-pick: PR#9931
dra27
committed
fcac32f

Commits on Dec 5, 2020

Sort out parallelism on AppVeyor (PR#10049)
dra27
committed
224a2ab

Commits on Dec 10, 2020

Merge pull request PR#10046 from dra27/static-libgcc

dra27
and
Fourchaux
committed
e6774fe
Changes
dra27
committed
e0e4806

Commits on Dec 16, 2020

Refactor AppVeyor scripts to enable all ports (PR#10065)
dra27
committed
a3487dc

Commits on Jan 9, 2021

Merge pull request PR#10134 from dra27/appveyor-updates
dra27
committed
d8a1dea

Commits on Jan 28, 2021

Inria CI: make sure this 4.11 branch is not run on Solaris

shindere
authored and
dra27
committed
84efceb

Commits on Feb 11, 2021

Merge pull request PR#10209 from dra27/hygiene-gha
dra27
committed
3f77b31

Commits on Feb 12, 2021

Merge pull request PR#10214 from dra27/thankyou-travis
dra27
committed
7745e7e

Commits on Mar 2, 2021

Merge pull request PR#10260 from dra27/hygiene-fixes
dra27
committed
e5c8e60

Commits on Mar 4, 2021

Unified CI cherry-pick: PR#10270
dra27
committed
51bfd63

Commits on Apr 15, 2021

Unified CI cherry-pick: PR#10336
dra27
committed
87e0ebc

Commits on Apr 16, 2021

Merge pull request PR#10350 from dra27/tweak-actions
dra27
committed
9cf5763

Commits on Apr 18, 2021

Workaround for binutils 2.36+ on mingw-w64 x64
dra27
committed
8e82899

Commits on Apr 19, 2021

Unified CI cherry-pick: PR#10243
dra27
committed
6c10b2e

Commits on Apr 21, 2021

Merge pull request PR#10045 from dra27/csharp-mingw
dra27
committed
e80fb03

Commits on Apr 22, 2021

Unified CI cherry-pick: PR#10327

shindere
authored and
dra27
committed
2dfde41

Commits on Apr 28, 2021

Set up execution environment before launching a CI script

xavierleroy
authored and
dra27
committed
b595300

Commits on May 11, 2021

Unified CI cherry-pick: PR#10135
dra27
committed
50610fb

Commits on Jun 2, 2021

Fix ocaml_cv_cc_vendor on Windows
dra27
committed
404d0ae

Commits on Jul 14, 2021

Merge pull request PR#10400 from dra27/debian-i686
dra27
committed
adfb6c1

Commits on Jul 20, 2021

use the Opam way of making "sed -i" portable

damiendoligez
authored and
dra27
committed
acf1c73

Commits on Aug 10, 2021

Merge pull request PR#10380 from dra27/cygpath-locale
dra27
committed
f108065

Commits on Sep 21, 2021

fix indentation (PR#10657)

damiendoligez
authored and
dra27
committed
da2d957

Commits on Oct 6, 2021

Merge pull request PR#10676 from shindere/inria-ci-test-pic

shindere
authored and
dra27
committed
71b54ab

Commits on Oct 15, 2021

Merge pull request PR#10706 from dra27/changes-needed
dra27
committed
86fcdca

Commits on Feb 17, 2022

Merge pull request PR#10835 from hannesm/fix-32bit-relocations

authored and
dra27
committed
9727452

Commits on Feb 18, 2022

Remove `-flat_namespace` flag in `configure.ac` on Darwin (PR#10723)

carlocab
authored and
dra27
committed
89ab1b0

Commits on Mar 14, 2022

Merge pull request PR#11100 from damiendoligez/fix-ocamltest-reports

damiendoligez
authored and
dra27
committed
8ebfec6

Commits on Jul 6, 2022

Don't renice on BSD systems

xavierleroy
authored and
dra27
committed
64b37c8

Commits on Sep 27, 2022

Add ability to bootstrap flexdll on Jenkins CI (PR#11567)
dra27
committed
5f85eea

Commits on Oct 17, 2022

AppVeyor script fixes for Cygwin
dra27
committed
574947a

Commits on Oct 18, 2022

Inria ci: detect native compiler directly.

Octachron
authored and
dra27
committed
75c7658

Commits on Nov 28, 2022

Allow long lines in .md files

xavierleroy
authored and
dra27
committed
2b7dcfa

Commits on Jun 16, 2023

Merge pull request PR#12294 from dra27/flexdll-0.43
dra27
committed
5d99cd8

Commits on Jul 18, 2023

Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (PR#12372)

authored and
dra27
committed
05c914b

Commits on Aug 31, 2023

Merge pull request PR#12520 from dra27/ci-4.14
dra27
committed
25a2c2b

Commits on Sep 19, 2023

Merge pull request PR#12577 from MisterDA/4.14-c17

MisterDA
authored and
dra27
committed
4580f2f

Commits on Oct 15, 2023

CI sanitizers: use clang-14

xavierleroy
authored and
dra27
committed
baf2e61
CI other-configs: test C23 conformance using clang-18 -std=gnu2x

xavierleroy
authored and
dra27
committed
6ee495c

Commits on Oct 19, 2023

Jenkins CI "light" works on Cygwin

xavierleroy
authored and
dra27
committed
3ff1a56

Commits on Oct 24, 2023

Merge pull request PR#12701 from MisterDA/appveyor-updates

MisterDA
authored and
dra27
committed
5324bcd

Commits on Nov 23, 2023

check-typo: be more liberal with url

Octachron
authored and
dra27
committed
ae6353f

Commits on Dec 21, 2023

Merge pull request PR#12849 from dra27/unify-gha-ci-4.14
dra27
committed
0216e47
Unified CI cherry-pick: PR#12843
dra27
committed
e39c63e

Commits on Dec 22, 2023

Merge pull request PR#12862 from dra27/fix-deepen
dra27
committed
d2b1916

Commits on Jan 16, 2024

Unified CI cherry-pick: PR#12904

OlivierNicole
authored and
dra27
committed
befee38

Commits on Mar 6, 2024

change CI main script to avoid running on centos-oldest

damiendoligez
authored and
dra27
committed
31e6486

Commits on Mar 8, 2024

Merge pull request PR#13017 from damiendoligez/ci-tweaks-for-msvc

damiendoligez
authored and
dra27
committed
715d00e
Merge pull request PR#12993 from Octachron/4.14_no_PIE_for_x86_32

Octachron
authored and
dra27
committed
0fa0f8c
Merge pull request PR#13018 from dra27/linking-stuff
dra27
committed
f896394

Commits on Mar 12, 2024

Unified CI cherry-pick: PR#12954

shym
authored and
dra27
committed
9c5424e

Commits on Apr 4, 2024

Merge pull request PR#13065 from tmcgilchrist/macos-ci-updates

tmcgilchrist
authored and
dra27
committed
77e70fa

Commits on Apr 29, 2024

Update some GitHub Actions actions (PR#13126)

MisterDA
authored and
dra27
committed
7564e52

Commits on Jun 13, 2024

Merge pull request PR#13223 from MisterDA/ci-verbose

MisterDA
authored and
dra27
committed
e34f374

Commits on Jul 18, 2024

Unified CI cherry-pick: PR#12664

Octachron
authored and
dra27
committed
3b673e5

Commits on Jul 19, 2024

Merge pull request PR#13219 from shindere/sanitizers-default-clang

shindere
authored and
dra27
committed
28dda7d

Commits on Aug 4, 2024

Disable lib-threads/beat.ml test on macOS
dra27
committed
acfcb17

Commits on Sep 10, 2024

Unified CI cherry-pick: PR#13419
dra27
committed
3cdf1ac

Commits on Sep 26, 2024

Restore the caravan on AppVeyor 🐫 (PR#13073)
dra27
committed
95a80f6

Commits on Dec 2, 2024

Update GNU config

MisterDA
authored and
dra27
committed
1c82e5a

Commits on Dec 16, 2024

Merge pull request PR#13670 from dra27/appveyor-random
dra27
committed
8d756e0

Commits on Jan 22, 2025

Merge pull request PR#13749 from tmcgilchrist/patch-1

tmcgilchrist
authored and
dra27
committed
50509ed

Commits on Feb 9, 2025

Merge pull request PR#13791 from dra27/appveyor-configure
dra27
committed
4188acf

Commits on Feb 11, 2025

Unified CI cherry-pick: PR#13724
dra27
committed
a82dc35

Commits on Feb 28, 2025

Merge pull request PR#13840 from dra27/apt-update
dra27
committed
edd5eef

Commits on Mar 30, 2025

Merge pull request PR#13857 from MisterDA/gha-cygwin-make
dra27
committed
3307952

Commits on Apr 16, 2025

Fix hygiene check for generating `configure` (PR#13935)
dra27
committed
c02c012

Commits on May 5, 2025

Merge pull request PR#14013 from dra27/more-ci-tweaks
dra27
committed
bf844e8

Commits on Jun 9, 2025

Merge pull request PR#13680 from dra27/restore-ubuntu-latest
dra27
committed
4e3a913

Commits on Jun 23, 2025

Unified CI cherry-pick: PR#14102
dra27
committed
cddff0b

Commits on Sep 13, 2025

Merge pull request PR#14242 from dra27/minor-appveyor
dra27
committed
d103873

Commits on Sep 16, 2025

Unified CI cherry-pick: PR#14240

MisterDA
authored and
dra27
committed
68aa3c0

Commits on Oct 14, 2025

Unified CI cherry-pick: PR#14275
dra27
committed
5e452d5

Commits on Oct 19, 2025

fix typo in ci action (PR#14309)

hannesm
authored and
dra27
committed
727e6ee

Commits on Nov 5, 2025

Merge pull request PR#14339 from MisterDA/gha-macos-15

MisterDA
authored and
dra27
committed
3da4145

Commits on Dec 18, 2025

Unified CI cherry-pick: PR#13416
dra27
committed
3b36573

Commits on Dec 30, 2025

Unified CI cherry-pick: PR#14444
dra27
committed
a6b4711

Commits on Jan 16, 2026

Precheck workers don't have libbfd
dra27
committed
74c10d5

Commits on Feb 5, 2026

Portability of shell script tools/ci/actions/check-configure.sh: (PR#14520)

damiendoligez
authored and
dra27
committed
b61c97e

Commits on Feb 18, 2026

increase timeout for other-configs CI job

damiendoligez
authored and
dra27
committed
4645dff

Commits on Feb 27, 2026

Jenkins CI, other-configs job: reduce verbosity of output

xavierleroy
authored and
dra27
committed
2ec583d

Commits on Mar 11, 2026

Disable program comparison in ocamltest on OpenBSD
dra27
committed
d782b91
Add a fallback for Windows systems without iconv
dra27
committed
0d90f80

Commits on Mar 19, 2026

Backport and disable workflows from 5.4
dra27
committed
592dcb7

Commits on Mar 23, 2026

Document the CI unity process
dra27
committed
d744029

Commits on Mar 24, 2026

Extend to 4.08-4.13
dra27
committed
a379244

Commits on Mar 31, 2026

Fix noise in check-configure.sh
dra27
committed
3c6df6f

Commits on Apr 9, 2026

Set NATIVE_COMPILER consistently
dra27
committed
d943bca
Review trickery
dra27
committed
a4154dd
Temporary AppVeyor reconfiguration
dra27
committed
e5b99b0