build and push on main

[debian13] Use latest PHP extras release #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_and_push (debian11)	11m 21s
build_and_push (debian12)	11m 42s
build_and_push (debian13)	13m 11s
	36m 14s