The checks on the few PRs I've done give an error " The ubuntu-18.04 environment is deprecated, consider switching to ubuntu-20.04(ubuntu-latest), or ubuntu-22.04 instead."
Is that me (my machine is on 22.04 though) or a script/github problem?
The checks on the few PRs I've done give an error " The ubuntu-18.04 environment is deprecated, consider switching to ubuntu-20.04(ubuntu-latest), or ubuntu-22.04 instead."
Is that me (my machine is on 22.04 though) or a script/github problem?