diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-09-10 11:42:20 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-09-10 11:42:20 -0700 |
| commit | cba8bb4658bc3d09de808d25fd237cea917570a3 (patch) | |
| tree | 629d35d3179bf75218fc4a2a48940e121ef15455 /.github/workflows | |
| parent | 5f5581d45ab39bc00e77b2648e9ab22b9270e5a2 (diff) | |
Allow tasty 1.5.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions