house-keeping: workflow fixes
authorPaul Donald <newtwen@gmail.com>
Mon, 29 Jan 2024 23:53:23 +0000 (00:53 +0100)
committerPaul Donald <newtwen@gmail.com>
Mon, 29 Jan 2024 23:53:23 +0000 (00:53 +0100)
commit4dc7a4e19e1b812a92d517fd26036ff7d2ef266f
tree3573401cbbb8c83c14f687b6db934a0c83cb8518
parentfed7a5c2c7addb52ea0679c7e470d8b8158220ed
house-keeping: workflow fixes
.github/workflows/formal.yml