Rudy Ges
|
1680bcdc5a
[tests] Only run legacy tests with -D include_legacy (#12152)
|
8 месяцев назад |
Yuxiao Mao
|
d3defe6090
[ci] add hlc test on Windows using MSBuild (#11733)
|
8 месяцев назад |
Zeta
|
aa26d013c5
Use Github's native concurrency control. (#12077)
|
9 месяцев назад |
Zeta
|
b8743d420b
[ci] Use OCaml 5 for all jobs. (#12073)
|
9 месяцев назад |
Zeta
|
78c2598989
[ci] upgrade to Ubuntu 22.04 (#11912)
|
9 месяцев назад |
Rudy Ges
|
5fe6110700
[CI] CI now wants bubblewrap too..
|
10 месяцев назад |
Rudy Ges
|
bcb77a9e3c
[CI] CI now wants darcs..
|
10 месяцев назад |
Rudy Ges
|
4528d44be8
[CI] remove ppa (#11997)
|
10 месяцев назад |
Zeta
|
ee8b1745dd
[CI] Use ARM64 Linux runner. (#11921)
|
11 месяцев назад |
tobil4sk
|
2bee9f0973
[ci] Remove remaining references to camlp5 (#11884)
|
1 год назад |
tobil4sk
|
4cf45553fc
[ci] Simplify windows ci with native opam (#11879)
|
1 год назад |
tobil4sk
|
0866067940
[ci] Unpin ctypes on mac (#11765)
|
1 год назад |
Rudy Ges
|
35cb0ac8cc
[CI] nuke opam cache for mac
|
1 год назад |
tobil4sk
|
d3cb40e8ac
[ci] Make mac universal builds more universal (#11663)
|
1 год назад |
Zeta
|
547b510e17
[ci] Specify macOS runner versions instead of using macos-latest. (#11645)
|
1 год назад |
RblSb
|
e646e6f182
[ci] Build macOS universal binaries (#11572)
|
1 год назад |
RblSb
|
d4040dfd56
[ci] Support Lua 5.4 (#11069)
|
1 год назад |
Simon Krajewski
|
b18953a575
Remove 32 bit windows builds (#11541)
|
1 год назад |
Simon Krajewski
|
2dfc0d920b
Remove C# and Java targets (#11551)
|
1 год назад |
Rudy Ges
|
c0d033d25d
[ci] skip xmldoc for ocaml 5
|
2 лет назад |
Rudy Ges
|
b4fa334805
OCaml 5.0 compatibility (#11272)
|
2 лет назад |
Rudy Ges
|
7919bbc460
[ci] fix GITHUB_OUTPUT (2)
|
2 лет назад |
Rudy Ges
|
3a3297a199
[ci] fix GITHUB_OUTPUT
|
2 лет назад |
Rudy Ges
|
4417595096
[ci] use download/upload artifact v3
|
2 лет назад |
Rudy Ges
|
687bef3154
[ci] fix download-artifact
|
2 лет назад |
Rudy Ges
|
151005d99e
[ci] update upload-artifact too
|
2 лет назад |
Rudy Ges
|
503793346a
[ci] fix nodejs 12 warnings
|
2 лет назад |
Rudy Ges
|
95a4c4de0c
[ci] handle deprecations for May 2023
|
2 лет назад |
Rudy Ges
|
4de9f47862
[ci] fix windows CI (#11183)
|
2 лет назад |
Rudy Ges
|
db74a27ce8
[ci] Update luv to 0.5.12 (#11182)
|
2 лет назад |