5 Commits

Author	SHA1	Message	Date
ringabout	f61311f7a0	bump node to 20.x; since 16.x is End-of-Life (#22892)	2023-10-30 17:05:03 +01:00
ringabout	3fbb078a3c	update checkout to v4 (#22640) ... ref https://github.com/actions/checkout/issues/1448 probably nodejs needs to be updated to 20.x	2023-09-04 23:09:27 +02:00
Federico Ceratto	acfa7849d3	Benchmark CI: drop id (#21787)	2023-05-04 20:30:58 +08:00
Federico Ceratto	77093bf7b9	Save and restore ci_bench cache (#21750)	2023-04-29 15:01:23 +08:00
Federico Ceratto	f0ae1ed544	Add benchmarking based on Minimize (#21566) ... * Add benchmarking based on Minimize * Update .github/workflows/ci_bench.yml Co-authored-by: ringabout <43030857+ringabout@users.noreply.github.com> --------- Co-authored-by: ringabout <43030857+ringabout@users.noreply.github.com>	2023-04-25 19:29:17 +08:00