Skip to content

Actions: silene/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
Be more defensive against nullary functions (cf #21136). Check conflicts #213: Commit 4a04464 pushed by silene
8s vm-forbid-nullary
vm-forbid-nullary
8s
Be more defensive against nullary functions (cf #21136). Github CI #24: Commit 4a04464 pushed by silene
44m 8s vm-forbid-nullary
vm-forbid-nullary
44m 8s
Add support for native_compute on ARM64 processors. Check conflicts #212: Commit bf12b31 pushed by silene
8s arm64-native
arm64-native
8s
Add support for native_compute on ARM64 processors. Github CI #23: Commit bf12b31 pushed by silene
38m 27s arm64-native
arm64-native
38m 27s
Add changelog entry. Github CI #22: Commit 71e9c1e pushed by silene
39m 4s arm64-native
arm64-native
39m 4s
Add changelog entry. Check conflicts #211: Commit 71e9c1e pushed by silene
10s arm64-native
arm64-native
10s
Try randomly adding underscores. Github CI #21: Commit 76374d0 pushed by silene
39m 20s arm64-native
arm64-native
39m 20s
Try randomly adding underscores. Check conflicts #210: Commit 76374d0 pushed by silene
18s arm64-native
arm64-native
18s
Apply batched suggestions from code review Check conflicts #209: Commit bf13346 pushed by SkySkimmer
7s arm64-native
arm64-native
7s
Apply batched suggestions from code review Github CI #20: Commit bf13346 pushed by SkySkimmer
10m 18s arm64-native
arm64-native
10m 18s
Update .github/workflows/ci-github.yml Github CI #19: Commit d2dcd71 pushed by SkySkimmer
10m 4s arm64-native
arm64-native
10m 4s
Update .github/workflows/ci-github.yml Check conflicts #208: Commit d2dcd71 pushed by SkySkimmer
9s arm64-native
arm64-native
9s
test native compute in github CI and ocaml 5.4 for macos (NO MERGE) Check conflicts #207: Commit 5fde6b4 pushed by SkySkimmer
8s arm64-native
arm64-native
8s
test native compute in github CI and ocaml 5.4 for macos (NO MERGE) Github CI #18: Commit 5fde6b4 pushed by SkySkimmer
34m 10s arm64-native
arm64-native
34m 10s
Add support for native_compute on ARM64 processors. Check conflicts #206: Commit 4630637 pushed by silene
9s arm64-native
arm64-native
9s
Add support for native_compute on ARM64 processors. Github CI #17: Commit 4630637 pushed by silene
10m 25s arm64-native
arm64-native
10m 25s
Add changelog entry. Check conflicts #205: Commit 42c2d99 pushed by silene
8s native5-tag0-alt
native5-tag0-alt
8s
Add changelog entry. Github CI #16: Commit 42c2d99 pushed by silene
36m 48s native5-tag0-alt
native5-tag0-alt
36m 48s
Restore compatibility with pre-NNP OCaml compilers and avoid dynlink … Github CI #15: Commit 4bbc2ab pushed by silene
33m 34s native5-tag0-alt
native5-tag0-alt
33m 34s
Restore compatibility with pre-NNP OCaml compilers and avoid dynlink … Check conflicts #204: Commit 4bbc2ab pushed by silene
8s native5-tag0-alt
native5-tag0-alt
8s
Finer check for native compilation on supported architectures. Check conflicts #203: Commit e34acc7 pushed by silene
9s native5-tag0-alt
native5-tag0-alt
9s
Finer check for native compilation on supported architectures. Github CI #14: Commit e34acc7 pushed by silene
34m 26s native5-tag0-alt
native5-tag0-alt
34m 26s
Finer check for native compilation on supported architectures. Check conflicts #202: Commit 2debb4c pushed by silene
9s native5-tag0-alt
native5-tag0-alt
9s
Finer check for native compilation on supported architectures. Github CI #13: Commit 2debb4c pushed by silene
43m 20s native5-tag0-alt
native5-tag0-alt
43m 20s
Finer check for native compilation on supported architectures. Github CI #12: Commit 9e99b7e pushed by ppedrot
43m 23s native5-tag0
native5-tag0
43m 23s