Skip to content

Actions: dra27/opam

Builds, tests & co

Actions

Loading...

Show workflow options

Create status badge

3 workflow runs
3 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Wind repo sha to 14bdd2a (fix GitHub patch URLs)
Builds, tests & co #320: Commit 1b1ed23 pushed by dra27
November 13, 2023 20:35 1h 26m 45s full-archive
November 13, 2023 20:35 1h 26m 45s
Ensure all archives are retrieved
Builds, tests & co #319: Commit 497710b pushed by dra27
November 10, 2023 13:39 6m 25s full-archive
November 10, 2023 13:39 6m 25s
Ensure all archives are retrieved
Builds, tests & co #318: Commit 7538664 pushed by dra27
August 3, 2023 08:12 8m 42s full-archive
August 3, 2023 08:12 8m 42s