Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,513 workflow runs
3,513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change example of non-letter in version ordering Changelog check #4424: Pull request #6252 synchronize by rjbou
October 21, 2024 15:44 13s gridbugs:clarify-version-ordering-comparison-example
gridbugs:clarify-version-ordering-comparison-example
October 21, 2024 15:44 13s
Merge pull request #5349 from rjbou/gha-doc Test scripts #303: Commit db2d5d8 pushed by kit-ty-kate
October 21, 2024 15:39 10s master
master
October 21, 2024 15:39 10s
Merge pull request #5349 from rjbou/gha-doc Builds, tests & co #3735: Commit db2d5d8 pushed by kit-ty-kate
October 21, 2024 15:39 49m 23s master
master
October 21, 2024 15:39 49m 23s
Merge pull request #6246 from kit-ty-kate/2.3-ioctl_winsz Test scripts #302: Commit db0edbd pushed by kit-ty-kate
October 21, 2024 14:53 15s 2.3
2.3
October 21, 2024 14:53 15s
Merge pull request #6246 from kit-ty-kate/2.3-ioctl_winsz Builds, tests & co #3734: Commit db0edbd pushed by kit-ty-kate
October 21, 2024 14:53 48m 21s 2.3
2.3
October 21, 2024 14:53 48m 21s
Remove dealing with descr and url files Builds, tests & co #3733: Pull request #6253 synchronize by kit-ty-kate
October 21, 2024 14:10 47m 4s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 14:10 47m 4s
Remove dealing with descr and url files Changelog check #4423: Pull request #6253 synchronize by kit-ty-kate
October 21, 2024 14:10 17s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 14:10 17s
Remove dealing with descr and url files Changelog check #4422: Pull request #6253 synchronize by hannesm
October 21, 2024 14:01 18s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 14:01 18s
Remove dealing with descr and url files Builds, tests & co #3732: Pull request #6253 synchronize by hannesm
October 21, 2024 14:01 47m 53s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 14:01 47m 53s
Remove dealing with descr and url files Builds, tests & co #3731: Pull request #6253 synchronize by hannesm
October 21, 2024 13:57 8m 57s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:57 8m 57s
Remove dealing with descr and url files Changelog check #4421: Pull request #6253 synchronize by hannesm
October 21, 2024 13:57 23s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:57 23s
Remove dealing with descr and url files Changelog check #4420: Pull request #6253 synchronize by hannesm
October 21, 2024 13:55 14s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:55 14s
Remove dealing with descr and url files Builds, tests & co #3730: Pull request #6253 synchronize by hannesm
October 21, 2024 13:55 9m 5s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:55 9m 5s
Remove dealing with descr and url files Changelog check #4419: Pull request #6253 synchronize by kit-ty-kate
October 21, 2024 13:50 24s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:50 24s
Remove dealing with descr and url files Builds, tests & co #3729: Pull request #6253 synchronize by kit-ty-kate
October 21, 2024 13:50 9m 22s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:50 9m 22s
Use a C stub to call uname(2) instead of calling the uname(1) command Changelog check #4418: Pull request #6217 synchronize by kit-ty-kate
October 21, 2024 13:37 11s kit-ty-kate:uname-stubs
kit-ty-kate:uname-stubs
October 21, 2024 13:37 11s
Use a C stub to call uname(2) instead of calling the uname(1) command Builds, tests & co #3728: Pull request #6217 synchronize by kit-ty-kate
October 21, 2024 13:37 42m 41s kit-ty-kate:uname-stubs
kit-ty-kate:uname-stubs
October 21, 2024 13:37 42m 41s
Remove dealing with descr and url files Changelog check #4417: Pull request #6253 synchronize by hannesm
October 21, 2024 13:14 10s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:14 10s
Remove dealing with descr and url files Builds, tests & co #3727: Pull request #6253 synchronize by hannesm
October 21, 2024 13:14 24m 56s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 13:14 24m 56s
Merge pull request #6244 from kit-ty-kate/ioctl_winsz Test scripts #301: Commit 126960e pushed by kit-ty-kate
October 21, 2024 13:04 9s master
master
October 21, 2024 13:04 9s
Merge pull request #6244 from kit-ty-kate/ioctl_winsz Builds, tests & co #3726: Commit 126960e pushed by kit-ty-kate
October 21, 2024 13:04 51m 29s master
master
October 21, 2024 13:04 51m 29s
[2.3 backport] Fix the detection of the current terminal size Builds, tests & co #3725: Pull request #6246 synchronize by kit-ty-kate
October 21, 2024 13:04 48m 12s kit-ty-kate:2.3-ioctl_winsz
kit-ty-kate:2.3-ioctl_winsz
October 21, 2024 13:04 48m 12s
Remove dealing with descr and url files Changelog check #4416: Pull request #6253 opened by hannesm
October 21, 2024 12:40 15s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 12:40 15s
Remove dealing with descr and url files Builds, tests & co #3724: Pull request #6253 opened by hannesm
October 21, 2024 12:40 9m 20s hannesm:remove-descr-url
hannesm:remove-descr-url
October 21, 2024 12:40 9m 20s
Fix the detection of the current terminal size Changelog check #4415: Pull request #6244 synchronize by kit-ty-kate
October 21, 2024 11:34 14s kit-ty-kate:ioctl_winsz
kit-ty-kate:ioctl_winsz
October 21, 2024 11:34 14s