PR number update

Add a dune package management GHA workflow #277

Sign in to view logs

Triggered via pull request April 25, 2025 11:00

Sudha247

opened #468

Status Cancelled

Total duration 2s

Artifacts –

pr-number.yml

on: pull_request_target

Update PR number

Annotations

1 error

Update PR number

This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner will be removed on 2025-04-15. For more details, see https://github.com/actions/runner-images/issues/11101