Skip to content

Merge branch 'master' of https://github.com/TERITORI/gno #275

Merge branch 'master' of https://github.com/TERITORI/gno

Merge branch 'master' of https://github.com/TERITORI/gno #275

Workflow file for this run

# tests the "misc" directory & tools
# (not meant for miscellaneous workflows)
name: misc
on:
push:
branches:
- master
workflow_dispatch:
pull_request:
jobs:
main:
strategy:
fail-fast: false
matrix:
# fixed list because we have some non go programs on that misc folder
program:
- autocounterd
# - devdeps
- docker-integration
- genproto
- genstd
- goscan
- logos
- loop
name: Run Main
uses: ./.github/workflows/main_template.yml
with:
modulepath: misc/${{ matrix.program }}
secrets:
codecov-token: ${{ secrets.CODECOV_TOKEN }}