Skip to content

Actions: proux01/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pocklington compiles with Coq 8.17 and 8.18 CI #26: Commit f92f561 pushed by proux01
December 20, 2023 10:50 5m 48s pocklington
pocklington
December 20, 2023 10:50 5m 48s
Add paramcoq 1.1.3+coq8.19 CI #25: Commit d7d67ec pushed by proux01
December 19, 2023 10:20 5m 34s paramcoq819
paramcoq819
December 19, 2023 10:20 5m 34s
Add bignums 9.0.0+coq8.19 CI #24: Commit 420124b pushed by proux01
December 19, 2023 10:20 5m 32s bignums819
bignums819
December 19, 2023 10:20 5m 32s
ValidSDP 1.0.2 CI #23: Commit 498f95b pushed by proux01
December 13, 2023 14:29 2m 36s validsdp102
validsdp102
December 13, 2023 14:29 2m 36s
ValidSDP 1.0.2 CI #22: Commit 1fb778c pushed by proux01
December 13, 2023 14:21 6m 0s validsdp102
validsdp102
December 13, 2023 14:21 6m 0s
[dev] Change branch of Hierarchy-Builder dev to master CI #21: Commit c251ec6 pushed by proux01
November 28, 2023 07:32 7m 40s hierarchy_builder_dev
hierarchy_builder_dev
November 28, 2023 07:32 7m 40s