mirror #203

	name: 'mirror'

	on:
	push:
	paths:
	- 'run.sh'
	- '.github/workflows/mirror.yml'
	workflow_dispatch:
	repository_dispatch:
	types: [ mirror ]
	schedule:
	- cron: '0 0 * * 5'

	jobs:

	mirror:
	runs-on: ubuntu-latest
	steps:

	- uses: actions/checkout@v3

	- name: Pull images
	run: \|
	docker pull hdlc/nextpnr:latest
	docker pull hdlc/nextpnr:ice40
	docker pull hdlc/nextpnr:ecp5
	docker pull hdlc/prog:latest
	docker pull hdlc/prjtrellis:latest
	docker pull hdlc/icestorm:latest
	docker pull hdlc/yosys:latest
	docker pull hdlc/ghdl:yosys
	docker pull hdlc/formal:latest

	- name: Tag images
	run: \|
	docker tag hdlc/nextpnr:latest ghdl/synth:nextpnr
	docker tag hdlc/nextpnr:ice40 ghdl/synth:nextpnr-ice40
	docker tag hdlc/nextpnr:ecp5 ghdl/synth:nextpnr-ecp5
	docker tag hdlc/prog:latest ghdl/synth:prog
	docker tag hdlc/prjtrellis:latest ghdl/synth:trellis
	docker tag hdlc/icestorm:latest ghdl/synth:icestorm
	docker tag hdlc/yosys:latest ghdl/synth:yosys
	docker tag hdlc/ghdl:yosys ghdl/synth:beta
	docker tag hdlc/formal:latest ghdl/synth:formal

	- name: Deploy to DockerHub
	if: github.event_name != 'pull_request' && github.repository == 'ghdl/docker'
	uses: pyTooling/Actions/with-post-step@r0
	with:
	main: \|
	# Release
	echo '${{ secrets.DOCKER_PASS }}' \| docker login docker.io -u '${{ secrets.DOCKER_USER }}' --password-stdin
	./run.sh synth
	post: docker logout docker.io

Provide feedback