Skip to content

Actions: relokin/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check Build WWW Check Build WWW #18: Scheduled
August 11, 2024 08:15 8m 29s master
master
August 11, 2024 08:15 8m 29s
Check format with dune fmt Check format with `dune fmt` #17: Scheduled
August 5, 2024 02:06 6m 25s master
master
August 5, 2024 02:06 6m 25s
build & make test build & make test #17: Scheduled
August 5, 2024 02:06 8m 56s master
master
August 5, 2024 02:06 8m 56s
Check Build WWW Check Build WWW #17: Scheduled
August 4, 2024 08:14 8m 28s master
master
August 4, 2024 08:14 8m 28s
Check format with dune fmt Check format with `dune fmt` #16: Scheduled
July 29, 2024 02:07 6m 16s master
master
July 29, 2024 02:07 6m 16s
build & make test build & make test #16: Scheduled
July 29, 2024 02:06 9m 22s master
master
July 29, 2024 02:06 9m 22s
Check Build WWW Check Build WWW #16: Scheduled
July 28, 2024 08:14 8m 18s master
master
July 28, 2024 08:14 8m 18s
Check format with dune fmt Check format with `dune fmt` #15: Scheduled
July 22, 2024 02:07 6m 16s master
master
July 22, 2024 02:07 6m 16s
build & make test build & make test #15: Scheduled
July 22, 2024 02:07 8m 48s master
master
July 22, 2024 02:07 8m 48s
Check Build WWW Check Build WWW #15: Scheduled
July 21, 2024 08:15 8m 28s master
master
July 21, 2024 08:15 8m 28s
Check format with dune fmt Check format with `dune fmt` #14: Scheduled
July 15, 2024 02:08 6m 13s master
master
July 15, 2024 02:08 6m 13s
build & make test build & make test #14: Scheduled
July 15, 2024 02:08 8m 59s master
master
July 15, 2024 02:08 8m 59s
Check Build WWW Check Build WWW #14: Scheduled
July 14, 2024 08:18 8m 7s master
master
July 14, 2024 08:18 8m 7s
Check format with dune fmt Check format with `dune fmt` #13: Scheduled
July 8, 2024 02:04 6m 18s master
master
July 8, 2024 02:04 6m 18s
build & make test build & make test #13: Scheduled
July 8, 2024 02:03 8m 29s master
master
July 8, 2024 02:03 8m 29s
Check Build WWW Check Build WWW #13: Scheduled
July 7, 2024 08:14 8m 13s master
master
July 7, 2024 08:14 8m 13s
Check format with dune fmt Check format with `dune fmt` #12: Scheduled
July 1, 2024 02:10 6m 20s master
master
July 1, 2024 02:10 6m 20s
build & make test build & make test #12: Scheduled
July 1, 2024 02:09 8m 52s master
master
July 1, 2024 02:09 8m 52s
Check Build WWW Check Build WWW #12: Scheduled
June 30, 2024 08:14 9m 15s master
master
June 30, 2024 08:14 9m 15s
Check format with dune fmt Check format with `dune fmt` #11: Scheduled
June 24, 2024 02:02 6m 17s master
master
June 24, 2024 02:02 6m 17s
build & make test build & make test #11: Scheduled
June 24, 2024 02:02 9m 5s master
master
June 24, 2024 02:02 9m 5s
Check Build WWW Check Build WWW #11: Scheduled
June 23, 2024 08:14 8m 21s master
master
June 23, 2024 08:14 8m 21s
Check format with dune fmt Check format with `dune fmt` #10: Scheduled
June 17, 2024 02:03 6m 33s master
master
June 17, 2024 02:03 6m 33s
build & make test build & make test #10: Scheduled
June 17, 2024 02:03 9m 19s master
master
June 17, 2024 02:03 9m 19s
Check Build WWW Check Build WWW #10: Scheduled
June 16, 2024 08:14 8m 50s master
master
June 16, 2024 08:14 8m 50s