[GOB] unified-ci - 4.13 - #278

Open

dra27 wants to merge 72 commits into

4.13from

unified-ci-4.13

Commits on May 22, 2020

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

ctk21
authored and
dra27
committed
62ade11

Commits on Jun 9, 2021

Unified CI cherry-pick: PR#10444

Fourchaux
authored and
dra27
committed
b1aba6f

Commits on Jul 14, 2021

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

Commits on Jul 20, 2021

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

damiendoligez
authored and
dra27
committed
947b0cb

Commits on Sep 21, 2021

fix indentation (PR#10657)

damiendoligez
authored and
dra27
committed
d349e64

Commits on Oct 6, 2021

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

shindere
authored and
dra27
committed
98db3a8

Commits on Oct 15, 2021

Merge pull request PR#10706 from dra27/changes-needed
dra27
committed
7faee4c

Commits on Feb 17, 2022

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

authored and
dra27
committed
3c19532

Commits on Feb 18, 2022

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

carlocab
authored and
dra27
committed
a2df17e

Commits on Mar 14, 2022

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

damiendoligez
authored and
dra27
committed
1153cb9

Commits on Jul 6, 2022

Don't renice on BSD systems

xavierleroy
authored and
dra27
committed
a041fe7

Commits on Sep 27, 2022

Add ability to bootstrap flexdll on Jenkins CI (PR#11567)
dra27
committed
654a7e1

Commits on Oct 17, 2022

AppVeyor script fixes for Cygwin
dra27
committed
90771fc

Commits on Oct 18, 2022

Inria ci: detect native compiler directly.

Octachron
authored and
dra27
committed
8459361

Commits on Nov 28, 2022

Allow long lines in .md files

xavierleroy
authored and
dra27
committed
37cf848

Commits on Dec 13, 2022

Don't install ocamloptp without ocamlopt
dra27
committed
6632249

Commits on Jun 16, 2023

Merge pull request PR#12294 from dra27/flexdll-0.43
dra27
committed
992f190

Commits on Jul 18, 2023

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

authored and
dra27
committed
f23c644

Commits on Aug 31, 2023

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

Commits on Sep 19, 2023

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

MisterDA
authored and
dra27
committed
05ce85f

Commits on Oct 15, 2023

CI sanitizers: use clang-14

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

xavierleroy
authored and
dra27
committed
aef1810

Commits on Oct 19, 2023

Jenkins CI "light" works on Cygwin

xavierleroy
authored and
dra27
committed
09b6d41

Commits on Oct 24, 2023

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

MisterDA
authored and
dra27
committed
0985534

Commits on Nov 23, 2023

check-typo: be more liberal with url

Octachron
authored and
dra27
committed
e6b29da

Commits on Dec 21, 2023

Merge pull request PR#12849 from dra27/unify-gha-ci-4.14
dra27
committed
99317b7
Unified CI cherry-pick: PR#12843
dra27
committed
da24080

Commits on Dec 22, 2023

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

Commits on Jan 16, 2024

Unified CI cherry-pick: PR#12904

OlivierNicole
authored and
dra27
committed
42374bc

Commits on Mar 6, 2024

change CI main script to avoid running on centos-oldest

damiendoligez
authored and
dra27
committed
f12b0c9

Commits on Mar 8, 2024

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

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

Octachron
authored and
dra27
committed
9635d1c
Merge pull request PR#13018 from dra27/linking-stuff
dra27
committed
2899a9a

Commits on Mar 12, 2024

Unified CI cherry-pick: PR#12954

shym
authored and
dra27
committed
2acf5e0

Commits on Apr 4, 2024

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

tmcgilchrist
authored and
dra27
committed
6ede4cb

Commits on Apr 5, 2024

Merge pull request PR#13069 from dra27/patch-appveyor
dra27
committed
8217197

Commits on Apr 29, 2024

Update some GitHub Actions actions (PR#13126)

MisterDA
authored and
dra27
committed
a7511da

Commits on May 27, 2024

Unified CI cherry-pick: PR#13200

shindere
authored and
dra27
committed
f954848

Commits on Jun 13, 2024

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

MisterDA
authored and
dra27
committed
310483d

Commits on Jul 18, 2024

Unified CI cherry-pick: PR#12664

Octachron
authored and
dra27
committed
68f477d

Commits on Jul 19, 2024

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

shindere
authored and
dra27
committed
b736530

Commits on Aug 4, 2024

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

Commits on Sep 10, 2024

Unified CI cherry-pick: PR#13419
dra27
committed
ebf2c77

Commits on Sep 26, 2024

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

Commits on Dec 2, 2024

Update GNU config

MisterDA
authored and
dra27
committed
74ab7ad

Commits on Dec 16, 2024

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

Commits on Jan 22, 2025

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

tmcgilchrist
authored and
dra27
committed
eabdaa1

Commits on Feb 9, 2025

Merge pull request PR#13791 from dra27/appveyor-configure
dra27
committed
62cac22

Commits on Feb 11, 2025

Unified CI cherry-pick: PR#13724
dra27
committed
83fa486

Commits on Feb 28, 2025

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

Commits on Mar 30, 2025

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

Commits on Apr 16, 2025

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

Commits on May 5, 2025

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

Commits on Jun 9, 2025

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

Commits on Jun 23, 2025

Unified CI cherry-pick: PR#14102
dra27
committed
87296dc

Commits on Sep 13, 2025

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

Commits on Sep 16, 2025

Unified CI cherry-pick: PR#14240

MisterDA
authored and
dra27
committed
350e5e9

Commits on Oct 14, 2025

Unified CI cherry-pick: PR#14275
dra27
committed
6e65605

Commits on Oct 19, 2025

fix typo in ci action (PR#14309)

hannesm
authored and
dra27
committed
7d6b21b

Commits on Nov 5, 2025

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

MisterDA
authored and
dra27
committed
7f837bb

Commits on Dec 18, 2025

Unified CI cherry-pick: PR#13416
dra27
committed
98bf59a

Commits on Dec 30, 2025

Unified CI cherry-pick: PR#14444
dra27
committed
457e9e0

Commits on Feb 5, 2026

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

damiendoligez
authored and
dra27
committed
3adf5ce

Commits on Feb 18, 2026

increase timeout for other-configs CI job

damiendoligez
authored and
dra27
committed
bf91b30

Commits on Feb 27, 2026

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

xavierleroy
authored and
dra27
committed
ca3ba8e

Commits on Mar 2, 2026

Merge pull request PR#14607 from dra27/tentative-riscv
dra27
committed
7990880

Commits on Mar 19, 2026

Backport and disable workflows from 5.4
dra27
committed
a3908cf

Commits on Mar 23, 2026

Document the CI unity process
dra27
committed
4dff8c0

Commits on Mar 24, 2026

Extend to 4.08-4.13
dra27
committed
263c189

Commits on Mar 31, 2026

Fix noise in check-configure.sh
dra27
committed
73df4ac

Commits on Apr 9, 2026

Set NATIVE_COMPILER consistently
dra27
committed
9ff0af8
Temporary AppVeyor reconfiguration
dra27
committed
d0d1a25