Bump Argu from 6.1.0 to 6.1.4 · pedromsantos/vaughan@888cbd9

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Pattern discard is not allowed for union case that takes no data.

Provide feedback