tree e807432c5d45ef60402e4f8a695f88c342ae3e2e
parent 9c968d40667b9eb0cda467dd56c37276e3e2390e
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1660413876 +0200
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1660422513 +0200

Add macos-12 to Github workflow runners

Change-Id: I7fc01ff5fe8b8a9d4e93e7536ca80a6aa37a870d