Skip to content

Fix workspaces

Fix workspaces #5

Workflow file for this run

# This is temporary until/if:
# https://github.com/gap-actions/run-pkg-tests/pull/24
# is merged, or something equivalent, then remove the script ci/run-tests.sh,
# and use the save/load.g files as commented out below
name: "Test workspaces"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "stable-*.*"
schedule:
# Every day at 3:15 AM UTC
- cron: '15 3 * * *'
jobs:
workspaces:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: "Run Semigroups packages' workspace tests"
run: ci/launch-gap-docker-container.sh