Update docker CI with new bash script names #9

	name: docker CI

	on:
	push:
	branches:
	- "**"
	pull_request:
	branches:
	- main
	schedule:
	- cron: "0 0 * * MON"
	workflow_dispatch:

	jobs:
	test:
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: docker
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- name: Create secrets
	run: bash docker_create_secrets.sh
	- name: Create volume
	run: bash docker_create_volume.sh
	- name: Create image
	run: bash docker_create_image.sh
	- name: Create container
	run: bash docker_create_container.sh
	- name: Start container
	run: bash docker_start.sh
	- name: Run tests
	run: bash docker_run_tests.sh
	- name: Stop container
	run: bash docker_stop.sh
	- name: Destroy container
	run: bash docker_destroy_container.sh

	warn:
	runs-on: ubuntu-latest
	if: github.repository == 'dmf-unicatt/turing-dmf' && github.ref == 'refs/heads/main' && github.event_name == 'schedule'
	steps:
	- name: Warn if scheduled workflow is about to be disabled
	uses: fem-on-colab/warn-workflow-about-to-be-disabled-action@main
	with:
	workflow-filename: docker_ci.yml
	days-elapsed: 50

Provide feedback