house-keeping: PR workflow check improvements
authorPaul Donald <newtwen@gmail.com>
Tue, 30 Jan 2024 13:56:06 +0000 (14:56 +0100)
committerPaul Donald <newtwen@gmail.com>
Tue, 30 Jan 2024 15:04:46 +0000 (16:04 +0100)
commit09cf4a17e093ea55122ac4d8c051c83e36d9141a
tree6eafbf78ac0006fc8413cfde70bb50cc88527e01
parent048c39abdf7991d865e1e5451abb50483d86ba23
house-keeping: PR workflow check improvements
.github/workflows/formal.yml