Skip to content

Merge branch 'master' into dev #112

Merge branch 'master' into dev

Merge branch 'master' into dev #112

Workflow file for this run

name: tests
on: [push, pull_request, workflow_dispatch]
jobs:
test:
name: BUTT tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- name: Install build requirements
run: sudo apt-get install -y man docutils-common
- name: Setup git user
run: |
git config --global user.email "[email protected]"
git config --global user.name "gh-actions"
git config --global init.defaultBranch "master"
- name: Build and install Flow
run: |
./configure && make && sudo ./compiled/install
- name: Install BUTT
run: |
curl -sL https://github.com/InternetGuru/butt/releases/download/v0.3.0/butt.sh > butt
chmod +x butt
- name: Run tests
run: ./butt -vw. test/test.butt
env:
TERM: dumb