Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,991 workflow runs
1,991 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Check for the presence of swhid_core in the configure script Changelog check #2766: Pull request #5497 synchronize by kit-ty-kate
April 3, 2023 19:03 15s kit-ty-kate:swhid_core-configure
kit-ty-kate:swhid_core-configure
April 3, 2023 19:03 15s
Check for the presence of swhid_core in the configure script Builds, tests & co #1940: Pull request #5497 synchronize by kit-ty-kate
April 3, 2023 19:03 1h 27m 25s kit-ty-kate:swhid_core-configure
kit-ty-kate:swhid_core-configure
April 3, 2023 19:03 1h 27m 25s
depexts: reword message Builds, tests & co #1939: Pull request #5499 synchronize by kit-ty-kate
April 3, 2023 19:01 1h 33m 22s AltGr:depext-reword
AltGr:depext-reword
April 3, 2023 19:01 1h 33m 22s
depexts: reword message Changelog check #2765: Pull request #5499 synchronize by kit-ty-kate
April 3, 2023 19:01 30s AltGr:depext-reword
AltGr:depext-reword
April 3, 2023 19:01 30s
Replace usage of CPPO by dune features and small helper Changelog check #2760: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 17:17 13s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 17:17 13s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1938: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 17:17 1h 26m 13s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 17:17 1h 26m 13s
Replace usage of CPPO by dune features and small helper Changelog check #2759: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 16:55 14s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:55 14s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1937: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 16:55 1h 19m 8s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:55 1h 19m 8s
Replace usage of CPPO by dune features and small helper Changelog check #2758: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 16:50 13s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:50 13s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1936: Pull request #5498 synchronize by kit-ty-kate
April 3, 2023 16:50 3m 36s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:50 3m 36s
Replace usage of CPPO by dune features and small helper Changelog check #2757: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 16:20 14s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:20 14s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1935: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 16:20 1h 21m 22s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 16:20 1h 21m 22s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1934: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 13:19 1h 36m 57s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 13:19 1h 36m 57s
Replace usage of CPPO by dune features and small helper Changelog check #2756: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 13:19 17s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 13:19 17s
Merge pull request #5496 from Leonidas-from-XIV/explicit-package-asso… Builds, tests & co #1933: Commit f4d631b pushed by rjbou
April 3, 2023 13:05 1h 40m 53s master
master
April 3, 2023 13:05 1h 40m 53s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1932: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 12:23 1h 42m 8s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 12:23 1h 42m 8s
Replace usage of CPPO by dune features and small helper Changelog check #2755: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 12:23 15s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 12:23 15s
Replace usage of CPPO by dune features and small helper Changelog check #2754: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 08:49 12s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 08:49 12s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1931: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 08:49 6h 0m 47s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 08:49 6h 0m 47s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1930: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 08:48 1h 17m 19s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 08:48 1h 17m 19s
Replace usage of CPPO by dune features and small helper Changelog check #2753: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 08:48 21s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 08:48 21s
Replace usage of CPPO by dune features and small helper Changelog check #2752: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 07:51 16s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 07:51 16s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1929: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 07:51 1h 13m 11s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 07:51 1h 13m 11s
Replace usage of CPPO by dune features and small helper Changelog check #2751: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 07:45 15s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 07:45 15s
Replace usage of CPPO by dune features and small helper Builds, tests & co #1928: Pull request #5498 synchronize by Leonidas-from-XIV
April 3, 2023 07:45 5m 29s Leonidas-from-XIV:cppo-to-dune
Leonidas-from-XIV:cppo-to-dune
April 3, 2023 07:45 5m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-04-03 or the other filters available.