microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
38 stars 20 forks source link

Fix for https://github.com/actions/runner-images/issues/8659 #84

Closed mjp41 closed 11 months ago

mjp41 commented 11 months ago

This issue is causing the Clang build to fail. This moves the CI to using clang++-15 to address the issue:

https://github.com/actions/runner-images/issues/8659