Skip to content

Merge branch 'main' of github.com:mscroggs/mathsteroids #8

Merge branch 'main' of github.com:mscroggs/mathsteroids

Merge branch 'main' of github.com:mscroggs/mathsteroids #8

Workflow file for this run

name: 🧪
on:
push:
branches:
- main
jobs:
check-version:
name: 🪨
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Make HTML index
run: make html