Jon Ross-PerkinsandRichard Smith a94136d477 Remove references to explorer (#5287) ...

I'm doing this separately from removing the explorer/ and installers/
directories so that it's easier to review the side-effects.

Note for the main README, I didn't think it was worth keeping a mention
of "used to have a prototype interpreter, now archived" versus focusing
on the existing toolchain (for "Currently, we have fleshed out").

---------

Co-authored-by: Richard Smith <richard@metafoo.co.uk>

2025-04-10 22:05:45 +00:00

..

actions

Fix clang-tidy action handling of deletes (#5162)

2025-03-20 23:25:42 +00:00

ISSUE_TEMPLATE

Remove explorer from issue templates (#4945)

2025-02-12 22:24:25 +00:00

workflows

Remove references to explorer (#5287)

2025-04-10 22:05:45 +00:00

pull_request_template.md

Remove copyright from PR template (#2227)

2022-09-28 16:25:03 -07:00

release.yaml

Remove references to explorer (#5287)

2025-04-10 22:05:45 +00:00