update CI and use a docker image that will be up to date each night #507

	name: Ubuntu
	on:
	push:
	branches:
	- '**'
	tags:
	- '**'
	pull_request:

	env:
	SCHEME: scheme
	IDRIS2_TESTS_CG: chez

	jobs:
	build:
	runs-on: ubuntu-latest
	container: mattpolzin2/idris-docker:nightly
	steps:
	- name: idrall build and test
	run: \|
	apt update && apt install git -y
	shell: bash
	- name: Checkout
	uses: actions/checkout@v4
	with:
	submodules: 'recursive'
	- name: idrall build and test
	run: \|
	make clean && make build && make install && make test INTERACTIVE=''
	shell: bash
	- name: Step To run on failure
	if: ${{ failure() }}
	run: \|
	cat -vet tests/idrall/idrall001/expected
	cat -vet tests/idrall/idrall001/output
	md5sum tests/idrall/idrall001/expected
	md5sum tests/idrall/idrall001/output

Provide feedback