Skip to content

Actions: silene/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

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
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
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. 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
Be more defensive against nullary functions (cf #21136). Github CI #11: Commit 6e15c5a pushed by silene
43m 9s vm-forbid-nullary
vm-forbid-nullary
43m 9s
Add support for native_compute on x86-32. Github CI #10: Commit 7128a1e pushed by silene
34m 29s native5-tag0
native5-tag0
34m 29s
Port native_compute to OCaml 5. Github CI #9: Commit 77dcfbd pushed by silene
33m 24s native5-tag0
native5-tag0
33m 24s
Port native_compute to OCaml 5. Github CI #8: Commit b11d9e0 pushed by silene
19m 51s native5-tag0
native5-tag0
19m 51s
Port native_compute to OCaml 5. Github CI #7: Commit e824e8c pushed by silene
5m 1s native5-tag0
native5-tag0
5m 1s
Port native_compute to OCaml 5. Github CI #6: Commit e824e8c pushed by silene
2m 30s native5-tag0
native5-tag0
2m 30s
Make sure coqdep does not misinterpret "Importfoo" (fix #20984). Github CI #5: Commit 9700b1a pushed by silene
30m 18s fix-20984
fix-20984
30m 18s
Make sure coqdep does not misinterpret "Importfoo" (fix #20984). Github CI #4: Commit 646455d pushed by silene
38m 48s fix-20984
fix-20984
38m 48s
Require a more recent version of Yojson. Github CI #3: Commit f43d29d pushed by silene
30m 53s yojson-dep
yojson-dep
30m 53s
Require a more recent version of Yojson. Github CI #2: Commit 0bd55d0 pushed by silene
38m 38s yojson-dep
yojson-dep
38m 38s
Reword a bit the documentation about library installation (fix #20963). Github CI #1: Commit 18c2b29 pushed by silene
40m 7s fix-20963
fix-20963
40m 7s