build · Workflow runs · dune-universe/Zarith · GitHub

Actions

build

Actions

Loading...
Loading

This workflow will be disabled soon because there's no recent activity in the repository.

10 workflow runs

10 workflow runs

build build #22: Scheduled

3m 6s master

master

3m 6s

build build #21: Scheduled

13m 25s master

master

13m 25s

build build #20: Scheduled

14m 15s master

master

14m 15s

build build #19: Scheduled

3m 11s master

master

3m 11s

build build #18: Scheduled

4m 33s master

master

4m 33s

build build #17: Scheduled

3m 58s master

master

3m 58s

build build #16: Scheduled

12m 1s master

master

12m 1s

build build #15: Scheduled

15m 28s master

master

15m 28s

build build #14: Scheduled

3m 36s master

master

3m 36s

OPAM: x-maintenance-intent continued build #13: Commit 9c90975 pushed by Firobe

20m 35s master

master

20m 35s