Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Relax warning 41 for package variables guarded by a :installed filter Changelog check #3646: Pull request #5927 synchronize by kit-ty-kate
May 22, 2024 17:26 12s dra27:relax-warning-41
dra27:relax-warning-41
May 22, 2024 17:26 12s
Improve the performance of opam update/init on Windows depexts #202: Pull request #5966 synchronize by kit-ty-kate
May 22, 2024 16:20 14m 45s kit-ty-kate:multicore-update
kit-ty-kate:multicore-update
May 22, 2024 16:20 14m 45s
Improve the performance of opam update/init on Windows Changelog check #3645: Pull request #5966 synchronize by kit-ty-kate
May 22, 2024 16:20 13s kit-ty-kate:multicore-update
kit-ty-kate:multicore-update
May 22, 2024 16:20 13s
Improve the performance of opam update/init on Windows Builds, tests & co #2851: Pull request #5966 synchronize by kit-ty-kate
May 22, 2024 16:20 3m 10s kit-ty-kate:multicore-update
kit-ty-kate:multicore-update
May 22, 2024 16:20 3m 10s
Improve the performance of opam update/init on Windows Builds, tests & co #2850: Pull request #5966 opened by kit-ty-kate
May 21, 2024 16:07 5m 9s kit-ty-kate:multicore-update
kit-ty-kate:multicore-update
May 21, 2024 16:07 5m 9s
Improve the performance of opam update/init on Windows Changelog check #3644: Pull request #5966 opened by kit-ty-kate
May 21, 2024 16:07 52s kit-ty-kate:multicore-update
kit-ty-kate:multicore-update
May 21, 2024 16:07 52s
Relax warning 41 for package variables guarded by a :installed filter Builds, tests & co #2849: Pull request #5927 synchronize by dra27
May 20, 2024 13:31 53m 24s dra27:relax-warning-41
dra27:relax-warning-41
May 20, 2024 13:31 53m 24s
Relax warning 41 for package variables guarded by a :installed filter Changelog check #3643: Pull request #5927 synchronize by dra27
May 20, 2024 13:31 12s dra27:relax-warning-41
dra27:relax-warning-41
May 20, 2024 13:31 12s
Relax warning 41 for package variables guarded by a :installed filter Changelog check #3642: Pull request #5927 synchronize by dra27
May 20, 2024 13:06 12s dra27:relax-warning-41
dra27:relax-warning-41
May 20, 2024 13:06 12s
Relax warning 41 for package variables guarded by a :installed filter Builds, tests & co #2848: Pull request #5927 synchronize by dra27
May 20, 2024 13:06 52m 49s dra27:relax-warning-41
dra27:relax-warning-41
May 20, 2024 13:06 52m 49s
src_ext: Remove unused/untested Makefile targets Changelog check #3641: Pull request #5494 synchronize by kit-ty-kate
May 20, 2024 11:20 11s kit-ty-kate:rm-unused-vendoring-primitives
kit-ty-kate:rm-unused-vendoring-primitives
May 20, 2024 11:20 11s
src_ext: Remove unused/untested Makefile targets Builds, tests & co #2847: Pull request #5494 synchronize by kit-ty-kate
May 20, 2024 11:20 55m 33s kit-ty-kate:rm-unused-vendoring-primitives
kit-ty-kate:rm-unused-vendoring-primitives
May 20, 2024 11:20 55m 33s
src_ext: Remove unused/untested Makefile targets Changelog check #3640: Pull request #5494 synchronize by kit-ty-kate
May 20, 2024 11:17 11s kit-ty-kate:rm-unused-vendoring-primitives
kit-ty-kate:rm-unused-vendoring-primitives
May 20, 2024 11:17 11s
src_ext: Remove unused/untested Makefile targets Builds, tests & co #2846: Pull request #5494 synchronize by kit-ty-kate
May 20, 2024 11:17 24s kit-ty-kate:rm-unused-vendoring-primitives
kit-ty-kate:rm-unused-vendoring-primitives
May 20, 2024 11:17 24s
Merge pull request #5964 from dra27/tweak-cygwin-packages Test scripts #121: Commit 391333d pushed by kit-ty-kate
May 20, 2024 09:44 14s master
master
May 20, 2024 09:44 14s
Merge pull request #5964 from dra27/tweak-cygwin-packages Builds, tests & co #2845: Commit 391333d pushed by kit-ty-kate
May 20, 2024 09:44 51m 59s master
master
May 20, 2024 09:44 51m 59s
Improvements to opam init "Git" menu on Windows Builds, tests & co #2844: Pull request #5963 synchronize by dra27
May 18, 2024 13:01 52m 50s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 13:01 52m 50s
Improvements to opam init "Git" menu on Windows Changelog check #3639: Pull request #5963 synchronize by dra27
May 18, 2024 13:01 11s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 13:01 11s
Improvements to opam init "Git" menu on Windows Changelog check #3638: Pull request #5963 synchronize by dra27
May 18, 2024 12:45 14s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 12:45 14s
Improvements to opam init "Git" menu on Windows Builds, tests & co #2843: Pull request #5963 synchronize by dra27
May 18, 2024 12:45 51m 49s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 12:45 51m 49s
Improvements to opam init "Git" menu on Windows Builds, tests & co #2842: Pull request #5963 synchronize by dra27
May 18, 2024 12:09 52m 18s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 12:09 52m 18s
Improvements to opam init "Git" menu on Windows Changelog check #3637: Pull request #5963 synchronize by dra27
May 18, 2024 12:09 14s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 12:09 14s
Tweak incorrect case in --cygwin-extra-packages Changelog check #3636: Pull request #5964 opened by dra27
May 18, 2024 11:10 11s dra27:tweak-cygwin-packages
dra27:tweak-cygwin-packages
May 18, 2024 11:10 11s
Tweak incorrect case in --cygwin-extra-packages Builds, tests & co #2841: Pull request #5964 opened by dra27
May 18, 2024 11:10 52m 26s dra27:tweak-cygwin-packages
dra27:tweak-cygwin-packages
May 18, 2024 11:10 52m 26s
Improvements to opam init "Git" menu on Windows Builds, tests & co #2840: Pull request #5963 opened by dra27
May 18, 2024 11:08 54m 33s dra27:gwf-menu
dra27:gwf-menu
May 18, 2024 11:08 54m 33s