Skip to content

Actions: OCamlPro/alt-ergo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,023 workflow runs
1,023 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Rely on Z.t and Q.t to build integer and rational literals when possible Build statically linked binaries #1100: Pull request #1368 opened by hra687261
5m 32s hra687261:avoid_strings_in_intreal_lits
hra687261:avoid_strings_in_intreal_lits
5m 32s
Rely on Z.t and Q.t to build integer and rational literals when possible Build Javascript #3376: Pull request #1368 opened by hra687261
6m 45s hra687261:avoid_strings_in_intreal_lits
hra687261:avoid_strings_in_intreal_lits
6m 45s
Rely on Z.t and Q.t to build integer and rational literals when possible Documentation #3443: Pull request #1368 opened by hra687261
7m 1s hra687261:avoid_strings_in_intreal_lits
hra687261:avoid_strings_in_intreal_lits
7m 1s
Rely on Z.t and Q.t to build integer and rational literals when possible Linter #3212: Pull request #1368 opened by hra687261
3m 59s hra687261:avoid_strings_in_intreal_lits
hra687261:avoid_strings_in_intreal_lits
3m 59s
Rely on Z.t and Q.t to build integer and rational literals when possible Build #2683: Pull request #1368 opened by hra687261
26m 52s hra687261:avoid_strings_in_intreal_lits
hra687261:avoid_strings_in_intreal_lits
26m 52s
Bump the OCaml compiler versions in the CI Linter #3211: Pull request #1366 synchronize by Halbaroth
1m 26s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
1m 26s
Bump the OCaml compiler versions in the CI Build #2682: Pull request #1366 synchronize by Halbaroth
8m 30s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
8m 30s
Bump the OCaml compiler versions in the CI Build statically linked binaries #1099: Pull request #1366 synchronize by Halbaroth
6m 20s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
6m 20s
Bump the OCaml compiler versions in the CI Build Javascript #3375: Pull request #1366 synchronize by Halbaroth
4m 18s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 18s
Bump the OCaml compiler versions in the CI Documentation #3442: Pull request #1366 synchronize by Halbaroth
4m 20s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 20s
Bump the OCaml compiler versions in the CI Linter #3210: Pull request #1366 synchronize by Halbaroth
1m 42s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
1m 42s
Bump the OCaml compiler versions in the CI Build #2681: Pull request #1366 synchronize by Halbaroth
16m 47s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
16m 47s
Bump the OCaml compiler versions in the CI Documentation #3441: Pull request #1366 synchronize by Halbaroth
4m 12s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 12s
Bump the OCaml compiler versions in the CI Build statically linked binaries #1098: Pull request #1366 synchronize by Halbaroth
6m 15s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
6m 15s
Bump the OCaml compiler versions in the CI Build Javascript #3374: Pull request #1366 synchronize by Halbaroth
4m 6s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 6s
Bump the OCaml compiler versions in the CI Build Javascript #3373: Pull request #1366 synchronize by Halbaroth
4m 9s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 9s
Bump the OCaml compiler versions in the CI Documentation #3440: Pull request #1366 synchronize by Halbaroth
4m 13s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 13s
Bump the OCaml compiler versions in the CI Build #2680: Pull request #1366 synchronize by Halbaroth
29m 53s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
29m 53s
Bump the OCaml compiler versions in the CI Build statically linked binaries #1097: Pull request #1366 synchronize by Halbaroth
6m 17s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
6m 17s
Bump the OCaml compiler versions in the CI Linter #3209: Pull request #1366 synchronize by Halbaroth
4m 25s Halbaroth:bump-ocaml-version-ci
Halbaroth:bump-ocaml-version-ci
4m 25s
Clean up the lock file Documentation #3439: Pull request #1367 synchronize by Halbaroth
3m 43s Halbaroth:clean-lock-file
Halbaroth:clean-lock-file
3m 43s
Clean up the lock file Linter #3208: Pull request #1367 synchronize by Halbaroth
1m 36s Halbaroth:clean-lock-file
Halbaroth:clean-lock-file
1m 36s
Clean up the lock file Build statically linked binaries #1096: Pull request #1367 synchronize by Halbaroth
5m 40s Halbaroth:clean-lock-file
Halbaroth:clean-lock-file
5m 40s
Clean up the lock file Build #2679: Pull request #1367 synchronize by Halbaroth
15m 36s Halbaroth:clean-lock-file
Halbaroth:clean-lock-file
15m 36s
Clean up the lock file Build Javascript #3372: Pull request #1367 synchronize by Halbaroth
3m 44s Halbaroth:clean-lock-file
Halbaroth:clean-lock-file
3m 44s