Skip to content

Actions: ocaml-flambda/ocaml-jst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow run results
87 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resolve conflicts in configuration and dune files (#168) .github/workflows/build.yml #826: Commit 0344d33 pushed by stedolan
October 17, 2023 09:21 -1s merge5
merge5
October 17, 2023 09:21 -1s
.github/workflows/build.yml .github/workflows/build.yml #825: by stedolan
October 17, 2023 09:10 30m 34s mergebase
mergebase
October 17, 2023 09:10 30m 34s
Hygiene Hygiene #2: by stedolan
October 17, 2023 09:10 55s mergebase
mergebase
October 17, 2023 09:10 55s
Disable flambda1 CI tests menhir #590: Commit bd34468 pushed by stedolan
October 17, 2023 09:10 17s tip-jst
tip-jst
October 17, 2023 09:10 17s
.github/workflows/build.yml .github/workflows/build.yml #823: by stedolan
October 17, 2023 09:10 33m 58s mbase
mbase
October 17, 2023 09:10 33m 58s
Hygiene Hygiene #1: by stedolan
October 17, 2023 09:10 1m 9s mbase
mbase
October 17, 2023 09:10 1m 9s
Disable flambda1 CI tests .github/workflows/build.yml #824: Commit bd34468 pushed by stedolan
October 17, 2023 09:10 6m 24s tip-jst
tip-jst
October 17, 2023 09:10 6m 24s
Resolve conflicts in configuration and dune files (#168) .github/workflows/build.yml #822: Commit 0344d33 pushed by stedolan
October 16, 2023 10:29 Failure merge5
merge5
October 16, 2023 10:29 Failure
Resolve conflicts in configuration and dune files (#168) menhir #589: Commit 0344d33 pushed by stedolan
October 16, 2023 10:29 17s merge5
merge5
October 16, 2023 10:29 17s
Resolve conflicts in configuration and dune files menhir #588: Pull request #168 synchronize by stedolan
October 16, 2023 10:27 16s stedolan:merge5
stedolan:merge5
October 16, 2023 10:27 16s
Resolve conflicts in configuration and dune files .github/workflows/build.yml #821: Pull request #168 by stedolan
October 16, 2023 10:27 Failure stedolan:merge5
stedolan:merge5
October 16, 2023 10:27 Failure
Close stale issues Close stale issues #294: Scheduled
October 16, 2023 04:26 13s main
main
October 16, 2023 04:26 13s