Closed robberwick closed 4 months ago
fetchcontent is setup to pull the head of the main branch of pico-cppm, which may not be what we want.
main
pico-cppm
We need to pin the targeted commit to whatever the latest release we want, which is probably whatever the latest release is right now (https://github.com/cadouthat/pico-cppm/commit/cf1222eb773ba61cc27c9d7d2c3aa3aa855cf74c)
fetchcontent is setup to pull the head of the
mainbranch ofpico-cppm, which may not be what we want.We need to pin the targeted commit to whatever the latest release we want, which is probably whatever the latest release is right now (https://github.com/cadouthat/pico-cppm/commit/cf1222eb773ba61cc27c9d7d2c3aa3aa855cf74c)