Skip to content

Adding timestamp, play button changes #508

Adding timestamp, play button changes

Adding timestamp, play button changes #508

Workflow file for this run

name: Lint and build
on:
pull_request:
branches:
- '**'
push:
branches:
- main
jobs:
lint:
uses: revisit-studies/.github/.github/workflows/lint.yaml@main