Strategy matrix doesn't support excluding some combinations

[erwan]

Currently, Strategy::matrix is defined as a List { mapKey : Text, mapValue : List Text }:

https://github.com/regadas/github-actions-dhall/blob/master/types/Strategy.dhall

However, Github Actions supports having an exclude key that is a list of records (not Text):

https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-excluding-configurations-from-a-matrix

Currently it's not possible to specify an exclude field in the matrix, because it doesn't match the type.

[regadas]

Hi @erwan! Thanks for the report!

Do you feel you can find some time to propose a fix? 😄 🙏

[erwan]

Actually I tried, but I don't know how to fix it! I couldn't find a way to type the exclude field.

It's too generic, we would want a list of objects that can have any key. I couldn't find how to do that in dhall...