Skip to content

Actions: dra27/opam

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check faccessat
Builds, tests & co #469: Pull request #24 synchronize by dra27
September 13, 2024 15:32 47m 33s unix-access
September 13, 2024 15:32 47m 33s
Check faccessat
Builds, tests & co #468: Pull request #24 synchronize by dra27
September 13, 2024 15:28 12m 49s unix-access
September 13, 2024 15:28 12m 49s
Check faccessat
Builds, tests & co #467: Pull request #24 opened by dra27
September 13, 2024 15:24 16m 15s unix-access
September 13, 2024 15:24 16m 15s
Merge pull request #6189 from kit-ty-kate/win32-ocaml5
Builds, tests & co #466: Commit ba40b36 pushed by dra27
September 13, 2024 15:24 1h 0m 17s master
September 13, 2024 15:24 1h 0m 17s
Opamroot redirect
Builds, tests & co #465: Pull request #22 synchronize by dra27
June 10, 2024 11:27 54m 22s opamroot-redirect
June 10, 2024 11:27 54m 22s
Merge pull request #6000 from dra27/revised-windows-init
Builds, tests & co #464: Commit 4f1e29a pushed by dra27
June 10, 2024 11:03 54m 10s master
June 10, 2024 11:03 54m 10s
Opamroot redirect
Builds, tests & co #463: Pull request #22 synchronize by dra27
June 10, 2024 10:35 53m 0s opamroot-redirect
June 10, 2024 10:35 53m 0s
Opamroot redirect
Builds, tests & co #462: Pull request #22 synchronize by dra27
June 10, 2024 10:32 52m 15s opamroot-redirect
June 10, 2024 10:32 52m 15s
Combination of all three remaining PRs for beta3
Builds, tests & co #461: Pull request #23 opened by dra27
June 9, 2024 10:46 52m 57s verbose-update-windows
June 9, 2024 10:46 52m 57s
Opamroot redirect
Builds, tests & co #460: Pull request #22 synchronize by dra27
June 9, 2024 10:28 53m 0s opamroot-redirect
June 9, 2024 10:28 53m 0s
Opamroot redirect
Builds, tests & co #459: Pull request #22 synchronize by dra27
June 9, 2024 09:56 54m 21s opamroot-redirect
June 9, 2024 09:56 54m 21s
Opamroot redirect
Builds, tests & co #458: Pull request #22 opened by dra27
June 9, 2024 08:59 50m 56s opamroot-redirect
June 9, 2024 08:59 50m 56s
Merge pull request #6003 from rjbou/argtools-windows
Builds, tests & co #457: Commit eff5a2a pushed by dra27
June 9, 2024 08:58 54m 7s master
June 9, 2024 08:58 54m 7s
Revised windows init2
Builds, tests & co #456: Pull request #21 opened by dra27
June 7, 2024 09:59 56m 41s revised-windows-init2
June 7, 2024 09:59 56m 41s
Merge pull request #5972 from dra27/quoting-pkg-config
Builds, tests & co #455: Commit 3aa169e pushed by dra27
June 7, 2024 09:58 58m 4s master
June 7, 2024 09:58 58m 4s
Revised windows init
Builds, tests & co #454: Pull request #20 synchronize by dra27
June 6, 2024 11:00 38m 39s revised-windows-init
June 6, 2024 11:00 38m 39s
Revised windows init
Builds, tests & co #453: Pull request #20 synchronize by dra27
June 6, 2024 08:56 39m 51s revised-windows-init
June 6, 2024 08:56 39m 51s
Revised windows init
Builds, tests & co #452: Pull request #20 synchronize by dra27
June 5, 2024 22:30 41m 56s revised-windows-init
June 5, 2024 22:30 41m 56s
Revised windows init
Builds, tests & co #451: Pull request #20 synchronize by dra27
June 5, 2024 21:32 48m 31s revised-windows-init
June 5, 2024 21:32 48m 31s
Revised windows init
Builds, tests & co #450: Pull request #20 synchronize by dra27
June 5, 2024 21:23 50m 29s revised-windows-init
June 5, 2024 21:23 50m 29s
Revised windows init
Builds, tests & co #449: Pull request #20 synchronize by dra27
June 5, 2024 21:15 47m 53s revised-windows-init
June 5, 2024 21:15 47m 53s
Revised windows init
Builds, tests & co #448: Pull request #20 synchronize by dra27
June 5, 2024 21:09 40m 0s revised-windows-init
June 5, 2024 21:09 40m 0s
Revised windows init
Builds, tests & co #447: Pull request #20 synchronize by dra27
June 5, 2024 20:54 46m 35s revised-windows-init
June 5, 2024 20:54 46m 35s
Revised windows init
Builds, tests & co #446: Pull request #20 synchronize by dra27
June 5, 2024 20:17 1h 19m 15s revised-windows-init
June 5, 2024 20:17 1h 19m 15s
Revised windows init
Builds, tests & co #445: Pull request #20 opened by dra27
June 5, 2024 20:10 13m 35s revised-windows-init
June 5, 2024 20:10 13m 35s