Fixing CI builds of version 1.117 - #192

Draft

rptb1 wants to merge 10 commits into

version/1.117from

branch/2023-03-08/version-1.117-ci

Commits on Mar 8, 2023

Merging branch/2023-01-11/github-ci for GitHub pull request 107 <https://github.com/Ravenbrook/mps/pull/107>.
rptb1
committed
79c7dc6
Merge branch 'branch/2020-08-23/macos-build'

gareth-rees
authored and
rptb1
committed
0489f66
Remove -Wno-extended-offsetof flag, no longer needed and not compatible with all the versions of Clang that we need to support.

gareth-rees
authored and
rptb1
committed
ae8e3a0
Swap .gitignore and .p4ignore.

gareth-rees
authored and
rptb1
committed
af5c203
Merge pull request #52 from Ravenbrook/branch/2021-01-10/implicit-conversion
rptb1
committed
04a8991
Avoid compilation error from Clang 13.1.

gareth-rees
authored and
rptb1
committed
d9b64e4
Merging branch/2023-01-06/gcc-11.3.0-warnings for GitHub pull request 92 <https://github.com/Ravenbrook/mps/pull/92>.
rptb1
committed
ee01a20
Update Xcode project for Xcode 10.0.

gareth-rees
authored and
rptb1
committed
ec46ae0

Commits on Mar 12, 2023