diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9748859..45a67a5 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -9,15 +9,6 @@ on: branches: - main - stable - schedule: - # We run it once a week as we deem it sufficient to pick up updates to the - # base Ubuntu image. - # Note that this will only update the 'latest' tag (not the 'stable' tag) as - # these scheduled jobs run for the default branch, which is 'main'. It is - # not clear how much the 'stable' tag is used at the moment; if we want the - # 'stable' tag to be updated automatically as well, we can find a - # workaround. - - cron: '15 1 * * 0' # "At 01:15 on Sunday." jobs: build: diff --git a/README.md b/README.md index 4dabb5d..73aa865 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ ![Docker build](https://github.com/p4lang/third-party/workflows/Build%20and%20push%20latest%20image/badge.svg?branch=main&event=push) + This repository contains third-party dependencies of the software in p4lang. It can be used to install these dependencies on your machine, but it's primarily intended for use in automation. The provided Dockerfile is suitable for usage as