Skip to content

Bump ad-m/github-push-action from 1.0.0 to 1.3.0 - #261

Open
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/ad-m/github-push-action-1.3.0
Open

Bump ad-m/github-push-action from 1.0.0 to 1.3.0#261
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/ad-m/github-push-action-1.3.0

Bump ad-m/github-push-action from 1.0.0 to 1.3.0

4a9967c
Select commit
Loading
Failed to load commit list.
rocq-prover.org-deployment / Docker image build for rocq-prover.org succeeded May 25, 2026 in 2m 31s

Completed

Built

Details

Docker image was built successfully

View more details on rocq-prover.org-deployment