Skip to content
This repository has been archived by the owner on Feb 7, 2024. It is now read-only.

Various tooling updates #2

Various tooling updates

Various tooling updates #2

Workflow file for this run

# Ensure the test course and libraries can be imported.
name: CI
on:
pull_request:
branches: ["main"]
push:
branches: ["main"]
jobs:
test_import:
runs-on: ubuntu-latest
steps:
- name: Check out this repo
uses: actions/checkout@v2
- name: Install latest Tutor
run: pip install tutor
- name: Disable tutor-mfe
run: |
tutor plugins disable mfe
tutor config save
- name: Launch Tutor
run: tutor local launch --non-interactive
# We need a user to exist, since all libraries need an owner.
# The Makefile assigns the library to the user named 'admin', so
# we name create an 'admin' user here.
- name: create admin user
run: tutor local do createuser admin [email protected] --password admin --staff --superuser
- name: import course & libraries
run: make import
source_and_dist_match:
runs-on: ubuntu-latest
steps:
- name: Check out this repo
uses: actions/checkout@v2
- name: Unpack tars
run: make unpack
- name: Confirm that unpacked tars match source
run: |
git update-index --refresh
git diff-index HEAD -- && {
echo -e "\033[0;32m=============================================================================\033[0m"
echo -e "\033[0;32mUnpacked .tar.gz files do match source XML, all is well. \033[0m"
echo -e "\033[0;32m=============================================================================\033[0m"
exit 0
}
echo -e "\033[0;31m=============================================================================\033[0m"
echo -e "\033[0;31mERROR: Unpacked .tar.gz files do not match source XML! See differences below:\033[0m"
echo -e "\033[0;31m=============================================================================\033[0m"
git diff