Merge pull request #34 from jmorag/better-filter · dorchard/type-level-sets@d71becf

Triggered via push December 19, 2023 20:53

dorchard

main

Status Success

Total duration 1m 32s

Artifacts 2

hackage.yml

on: push

1 warning

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

Produced during runtime

Name	Size
type-level-sets-hackage-haddocks-d71becf49c092cd7697f39e4f4fb55b289af3d31.tar.gz Expired	91.4 KB
type-level-sets-sdist-d71becf49c092cd7697f39e4f4fb55b289af3d31.tar.gz Expired	8.59 KB