Skip to content

Actions: tarides/opam-monorepo

Actions

PR number update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-number.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not load the switch state to get the current OCaml version PR number update #492: Pull request #403 synchronize by samoht
March 18, 2024 14:32 27s
March 18, 2024 14:32 27s
Update ocamlformat version PR number update #491: Pull request #404 opened by samoht
March 18, 2024 13:09 15s
March 18, 2024 13:09 15s
Do not load the switch state to get the current OCaml version PR number update #490: Pull request #403 opened by samoht
March 18, 2024 13:07 17s
March 18, 2024 13:07 17s
Add some helpers to make constructing test-cases simpler PR number update #489: Pull request #401 synchronize by Leonidas-from-XIV
November 8, 2023 08:17 15s
November 8, 2023 08:17 15s
Add some helpers to make constructing test-cases simpler PR number update #488: Pull request #401 opened by Leonidas-from-XIV
November 7, 2023 18:23 15s
November 7, 2023 18:23 15s
Ignore pinned packages when building dev-repo conflicts PR number update #487: Pull request #398 synchronize by samoht
November 7, 2023 16:46 15s
November 7, 2023 16:46 15s
Ignore pinned packages when building dev-repo conflicts PR number update #486: Pull request #398 synchronize by samoht
November 7, 2023 08:05 13s
November 7, 2023 08:05 13s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #485: Pull request #400 synchronize by samoht
October 29, 2023 19:33 11s
October 29, 2023 19:33 11s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #484: Pull request #400 synchronize by samoht
October 29, 2023 19:25 16s
October 29, 2023 19:25 16s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #483: Pull request #400 synchronize by samoht
October 28, 2023 09:52 12s
October 28, 2023 09:52 12s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #482: Pull request #400 synchronize by samoht
October 28, 2023 09:50 13s
October 28, 2023 09:50 13s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #481: Pull request #400 synchronize by samoht
October 27, 2023 22:31 14s
October 27, 2023 22:31 14s
Populate pin-depends only with the packages that needs to be pinned in the switch PR number update #480: Pull request #400 opened by samoht
October 27, 2023 22:29 15s
October 27, 2023 22:29 15s
Ignore pinned packages when building dev-repo conflicts PR number update #479: Pull request #398 synchronize by samoht
October 27, 2023 17:24 19s
October 27, 2023 17:24 19s
Ignore pinned packages when building dev-repo conflicts PR number update #478: Pull request #398 synchronize by samoht
October 4, 2023 14:04 23s
October 4, 2023 14:04 23s
Ignore pinned packages when building dev-repo conflicts PR number update #477: Pull request #398 synchronize by samoht
September 22, 2023 14:36 14s
September 22, 2023 14:36 14s
Ignore pinned packages when building dev-repo conflicts PR number update #476: Pull request #398 synchronize by samoht
September 22, 2023 14:29 17s
September 22, 2023 14:29 17s
Ignore pinned packages when building dev-repo conflicts PR number update #475: Pull request #398 opened by samoht
September 22, 2023 14:27 18s
September 22, 2023 14:27 18s
Remove custom deduplication of packages and use opam solver instead PR number update #474: Pull request #396 synchronize by samoht
September 4, 2023 13:32 19s
September 4, 2023 13:32 19s
Fix issue with #395 PR number update #473: Pull request #397 synchronize by samoht
September 3, 2023 11:06 16s
September 3, 2023 11:06 16s
Fix issue with #395 PR number update #472: Pull request #397 opened by samoht
September 3, 2023 11:06 14s
September 3, 2023 11:06 14s
Remove custom deduplication of packages and use opam solver instead PR number update #471: Pull request #396 synchronize by samoht
September 1, 2023 17:23 16s
September 1, 2023 17:23 16s
Improve demote - move broken packages to the end PR number update #470: Pull request #395 synchronize by samoht
August 29, 2023 13:24 11s
August 29, 2023 13:24 11s
Improve demote - move broken packages to the end PR number update #469: Pull request #395 synchronize by samoht
August 29, 2023 13:23 18s
August 29, 2023 13:23 18s
Improve demote - move broken packages to the end PR number update #468: Pull request #395 synchronize by samoht
August 29, 2023 08:26 15s
August 29, 2023 08:26 15s