Hugo van Kemenade
181a2f4f2e
gh-139596: Cease caching config.cache & ccache in GH Actions ( #141451 )
2025-11-14 11:59:19 +02:00
Adam Turner
c744ccb2c9
GH-139596: Cease caching config.cache & ccache in GH Actions (GH-139623)
...
* Cease caching config.cache in GH Actions\
* Remove ccache action
2025-11-11 13:51:22 -08:00
Hugo van Kemenade
cf1a2c1ee4
gh-133600: Run Tools/wasm/wasi on CI instead of deprecated Tools/wasm/wasi.py ( #140907 )
2025-11-03 21:26:09 +02:00
Brett Cannon
ac1ffd7785
Move WASI CI over to Arm runners (GH-140810)
2025-10-30 15:29:39 -07:00
Brett Cannon
e5f4299f13
GH-140475: Support WASI SDK 25 ( #140477 )
...
As well, bump the version of Wasmtime used in CI.
2025-10-22 14:34:37 -07:00
Adam Turner
d0a1e5c222
GH-103180: Set a timeout for every job in GitHub Actions ( #130375 )
2025-02-21 17:11:26 +02:00
Hugo van Kemenade
3d7a141c2f
CI: Use ImageOS (ubuntu24) instead of runner.os (Linux) in cache keys ( #130200 )
2025-02-17 13:53:55 +02:00
Hugo van Kemenade
298dda5770
Add colour to GitHub Actions output ( #129196 )
2025-01-22 21:22:21 +00:00
Hugo van Kemenade
ae31df354d
Add zizmor to pre-commit and fix most findings ( #127749 )
...
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
2024-12-10 12:51:12 +02:00
Brett Cannon
bbe9b21d06
GH-123877: default to wasm32-wasip1 instead of wasm32-wasi to be more specific (GH-126552)
...
Eventually wasm32-wasi will represent WASI 1.0, and so it's currently deprecated so it can be used for that eventual purpose. wasm32-wasip1 is also more specific to what version of WASI is currently supported.
---------
Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com>
2024-11-07 13:40:56 -08:00
Damien
fc233f46d3
gh-122544: Change OS image in GitHub Actions to Ubuntu 24.04 ( #122566 )
2024-11-05 23:29:21 +00:00
Hugo van Kemenade
e1190c0543
Lint GitHub Actions and Dependabot ( #126002 )
2024-10-28 18:59:35 +00:00
Donghee Na
e4cab488d4
gh-124471: Set name for unnamed reusable workflow ( #124475 )
...
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
Co-authored-by: Sviatoslav Sydorenko (Святослав Сидоренко) <wk.cvs.github@sydorenko.org.ua>
2024-10-10 12:39:53 +00:00
Brett Cannon
0e207f3e7a
GH-122578: update to WASI SDK 24 (GH-122960)
2024-08-12 16:21:00 -07:00
Brett Cannon
f589f263bc
GH-120371: Add WASI SDK 22 support (GH-121870)
...
Required disabling stub functions now provided by wasi-libc.
2024-07-16 20:00:39 +00:00
Brett Cannon
8020946814
GH-120372: Switch to wasmtime 22 (GH-121523)
...
Along the way, make the cache key in GitHub Actions for `config.cache` be more robust in the face of potential env var changes from `Tools/wasm/wasi.py`.
2024-07-09 15:02:25 -07:00
Erlend E. Aasland
716ec4bfcf
gh-115119: Bump CI to use Ubuntu 22.04 ( #118631 )
...
Ubuntu 22.04 ships with mpdecimal 2.5.1, installable using 'apt install libmpdec-dev'.
2024-05-06 10:39:43 +02:00
Nice Zombies
456c29cf85
gh-118039: Fix config.cache key on WASI ( #118137 )
2024-04-23 10:46:28 +03:00
Brett Cannon
3a25d9c5a9
GH-114736: Use WASI SDK 21 (GH-116771)
2024-03-14 01:45:33 +00:00
Brett Cannon
05070f40bb
GH-115976: Add WASI to CI (GH-116516)
...
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
2024-03-11 11:59:09 -07:00
