tree 89d91a8fc6f80aa49b2af58d1c3b405b8ea14550
parent dcf8dacfd40c870efaa20b8e4d5e6736ed6c5656
author Guillaume Nodet <gnodet@gmail.com> 1684309182 +0200
committer Guillaume Nodet <gnodet@gmail.com> 1684310877 +0200

Use macos-11 OS for CI