Christoph Grüninger 42250501e4 [ci] Update GitHub Actions to latest major release ...

Fix deprecation warning that Node20.js will stop working
in June.

2026-04-26 10:47:32 +02:00

..

ISSUE_TEMPLATE

Make bug report issue template more similar to that of rust-lang/rust

2025-11-07 08:26:12 +01:00

workflows

[ci] Update GitHub Actions to latest major release

2026-04-26 10:47:32 +02:00

deploy.sh

Also deploy index.html file on release

2025-01-09 18:24:02 +01:00

driver.sh

Replace string_to_string with char_lit_as_u8 in driver.sh

2025-05-19 19:29:06 -04:00

PULL_REQUEST_TEMPLATE.md

Remove feature-freeze from gh templates

2025-09-18 11:51:29 +02:00