chore(deps): update registry.access.redhat.com/ubi8/dotnet-80 docker tag to v8.0-12 #1969

	#
	# Copyright 2020-2022 Red Hat, Inc.
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	name: Check registry build
	runs-on: ubuntu-latest
	steps:
	- name: Check out code
	uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
	with:
	path: registry-repo
	- name: Setup Go environment
	uses: actions/setup-go@0a12ed9d6a96ab950c8f026ed9f722fe0da7ef32 # v5.0.2
	with:
	go-version: 1.21
	- name: Set up QEMU # Enables arm64 image building
	uses: docker/setup-qemu-action@719c55c4a5a93233ce33aa9366dc90396d60e0ee

	- name: Check if devfile registry build is working
	run: bash registry-repo/.ci/build.sh && bash registry-repo/.ci/build.sh linux/arm64

Provide feedback