Skip to content

Commit

Permalink
Use macos-12 distributions
Browse files Browse the repository at this point in the history
  • Loading branch information
@wenkokke
wenkokke committed Aug 22, 2024
1 parent 5076213 commit 8e5fa93
Show file tree
Hide file tree
Showing 4 changed files with 194 additions and 155 deletions.
24 changes: 12 additions & 12 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -176,18 +176,18 @@ jobs:
| Agda | Ubuntu | macOS (Intel) | macOS (Apple) | Windows |
| :------ | :-----: | :-----------: | :-----------: | :-----: |
| 2.7.0 | >=20.04 | >=12 | >=14 | >=2019 |
| 2.6.4.3 | >=20.04 | >=11 | >=14 | >=2019 |
| 2.6.4.1 | >=20.04 | >=11 | >=14 | >=2019 |
| 2.6.4 | >=20.04 | >=11 | >=14 | >=2019 |
| 2.6.3 | >=20.04 | >=11 | >=14 | >=2019 |
| 2.6.2.2 | >=20.04 | >=11 | | >=2019 |
| 2.6.2.1 | >=20.04 | >=11 | | >=2019 |
| 2.6.2 | >=20.04 | >=11 | | >=2019 |
| 2.6.1.3 | >=20.04 | >=11 | | |
| 2.6.0.1 | >=20.04 | >=11 | | |
| 2.5.4.2 | >=20.04 | >=11 | | |
| 2.5.3 | >=20.04 | >=11 | | |
| 2.5.2 | >=20.04 | >=11 | | |
| 2.6.4.3 | >=20.04 | >=12 | >=14 | >=2019 |
| 2.6.4.1 | >=20.04 | >=12 | >=14 | >=2019 |
| 2.6.4 | >=20.04 | >=12 | >=14 | >=2019 |
| 2.6.3 | >=20.04 | >=12 | >=14 | >=2019 |
| 2.6.2.2 | >=20.04 | >=12 | | >=2019 |
| 2.6.2.1 | >=20.04 | >=12 | | >=2019 |
| 2.6.2 | >=20.04 | >=12 | | >=2019 |
| 2.6.1.3 | >=20.04 | >=12 | | |
| 2.6.0.1 | >=20.04 | >=12 | | |
| 2.5.4.2 | >=20.04 | >=12 | | |
| 2.5.3 | >=20.04 | >=12 | | |
| 2.5.2 | >=20.04 | >=12 | | |
We encourage using the binary distributions. The binary distributions are tested on every commit. Building the latest Agda version is tested weekly on all platforms except Windows 2019. Please do not rely on the legacy builds, as these are not regularly tested. Please report any failing build _that is listed as working_, and we will update the table.
Expand Down
Loading

0 comments on commit 8e5fa93

Please sign in to comment.