Ryan Scott ec863158d7 CI: Switch from macos-12 to macos-13 ... GitHub Actions is removing support for `macos-12` (see https://github.com/actions/runner-images/issues/10721), so this switches Cryptol's CI from `macos-12` to `macos-13` in order to support an x86-64 version of macOS. This also updates the associated documentation in the `README` and the `dev/dev_setup.sh` script accordingly.		2024-11-19 07:06:20 -05:00
..
workflows	CI: Switch from macos-12 to macos-13	2024-11-19 07:06:20 -05:00
check_book_update.sh	docs: improve docs about docs	2024-09-20 13:04:59 -04:00
ci.sh	CI: Build and test both x86-64 and AArch64 macOS	2024-02-14 12:39:28 -05:00
gen_html_context.py	Revert template sorting and sort on doc versions generation.	2023-06-23 12:12:12 -07:00
pr-labeler.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
release-drafter.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
wix.ps1	Only include bindist-related files in cryptol.msi	2022-05-23 06:47:16 -04:00