7 commits

Author	SHA1	Message	Date
dependabot[bot]	a7b6f30b29	Bump docker/metadata-action from 3 to 4 (#6086)	2022-06-07 19:41:36 +01:00
dependabot[bot]	c05c75c109	Bump docker/login-action from 1 to 2 (#6068)	2022-06-02 09:57:17 +01:00
dependabot[bot]	f54e8e55de	Bump docker/build-push-action from 2.7.0 to 3.0.0 (#6069)	2022-06-02 09:57:00 +01:00
dependabot[bot]	b8367247f5	Bump actions/checkout from 2 to 3 (#6066)	2022-06-02 09:14:08 +01:00
Naveen	8384c321fc	chore: Set permissions for GitHub actions (#6063) ... Restrict the GitHub token permissions only to the required ones; this way, even if the attackers will succeed in compromising your workflow, they won’t be able to do much. - Included permissions for the action. https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs [Keeping your GitHub Actions and workflows secure Part 1: Preventing pwn requests](https://securitylab.github.com/research/github-actions-preventing-pwn-requests/) Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>	2022-06-01 20:02:45 -07:00
Nikolaj Bjorner	ec3e296050	Update docker-image.yml (#5739) ... * Update docker-image.yml towards tweaking script to use ghcr * Update docker-image.yml * Update docker-image.yml * Update docker-image.yml change usr/pwd to names that are more descriptive * Update docker-image.yml rename back to use DOCKER prefix it remains to bind to ghcr.io instead of docker.io * Update ubuntu-20-04.Dockerfile try to use ghcr instead of docker.io * Update docker-image.yml try with chcr token * Update docker-image.yml * Update docker-image.yml * Update docker-image.yml * Update ubuntu-20-04.Dockerfile * Update docker-image.yml	2021-12-25 17:33:35 -08:00
Nikolaj Bjorner	6b0dc6d144	Create docker-image.yml ... thanks #5735	2021-12-23 14:43:12 -08:00