├── .ctags ├── .gitattributes ├── .github └── workflows │ └── dhall.yml ├── .gitignore ├── LICENSE ├── README.md ├── Shakefile.hs ├── TODO.md ├── ats-ci.dhall ├── dhall-ci.dhall ├── egison-ci.dhall ├── example.dhall ├── futhark-ci.dhall ├── haskell-ci.dhall ├── python-ci.dhall ├── self-ci.dhall ├── toml-ci.dhall └── yaml-ci.dhall /.ctags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/.ctags -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | .github/workflows/*.yaml linguist-vendored 2 | -------------------------------------------------------------------------------- /.github/workflows/dhall.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/.github/workflows/dhall.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | tags 2 | *.swp 3 | .shake 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/README.md -------------------------------------------------------------------------------- /Shakefile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/Shakefile.hs -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/TODO.md -------------------------------------------------------------------------------- /ats-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/ats-ci.dhall -------------------------------------------------------------------------------- /dhall-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/dhall-ci.dhall -------------------------------------------------------------------------------- /egison-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/egison-ci.dhall -------------------------------------------------------------------------------- /example.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/example.dhall -------------------------------------------------------------------------------- /futhark-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/futhark-ci.dhall -------------------------------------------------------------------------------- /haskell-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/haskell-ci.dhall -------------------------------------------------------------------------------- /python-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/python-ci.dhall -------------------------------------------------------------------------------- /self-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/self-ci.dhall -------------------------------------------------------------------------------- /toml-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/toml-ci.dhall -------------------------------------------------------------------------------- /yaml-ci.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/github-actions-dhall/HEAD/yaml-ci.dhall --------------------------------------------------------------------------------