Skip to content

Actions: validsdp/validsdp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
feat: Port validsdp with coq >= 8.19 CI #66: Pull request #21 opened by erikmd
February 27, 2024 14:42 29m 43s coq_8.19
coq_8.19
February 27, 2024 14:42 29m 43s
Merge pull request #20 from validsdp/osdp111 CI #65: Commit 76d6d14 pushed by proux01
February 18, 2024 10:07 30m 29s master
master
February 18, 2024 10:07 30m 29s
Update to OSDP 1.1.1 (using ocplib-simplex 0.5) CI #64: Pull request #20 synchronize by proux01
February 17, 2024 16:54 30m 6s osdp111
osdp111
February 17, 2024 16:54 30m 6s
Update to OSDP 1.1.1 (using ocplib-simplex 0.5) CI #63: Pull request #20 opened by proux01
February 13, 2024 08:58 27m 46s osdp111
osdp111
February 13, 2024 08:58 27m 46s
Merge pull request #19 from validsdp/mc2 CI #62: Commit fb5dc36 pushed by erikmd
February 6, 2024 09:34 30m 49s master
master
February 6, 2024 09:34 30m 49s
Support coq-mathcomp-field >= 2.0 CI #61: Pull request #19 synchronize by erikmd
February 6, 2024 09:32 1m 31s mc2
mc2
February 6, 2024 09:32 1m 31s
Support coq-mathcomp-field >= 2.0 CI #60: Pull request #19 synchronize by proux01
February 5, 2024 11:55 31m 26s mc2
mc2
February 5, 2024 11:55 31m 26s
Support coq-mathcomp-field >= 2.0 CI #59: Pull request #19 synchronize by proux01
February 2, 2024 17:40 30m 38s mc2
mc2
February 2, 2024 17:40 30m 38s
Support coq-mathcomp-field >= 2.0 CI #58: Pull request #19 synchronize by erikmd
February 2, 2024 16:55 30m 15s mc2
mc2
February 2, 2024 16:55 30m 15s
Support coq-mathcomp-field >= 2.0 CI #57: Pull request #19 opened by erikmd
February 2, 2024 15:48 38m 41s mc2
mc2
February 2, 2024 15:48 38m 41s
Update version number CI #56: Commit 4f6fd94 pushed by proux01
December 13, 2023 15:52 15m 6s master
master
December 13, 2023 15:52 15m 6s
Update version number CI #55: Commit c858b4c pushed by erikmd
December 13, 2023 14:07 14m 53s master
master
December 13, 2023 14:07 14m 53s
Merge pull request #18 from validsdp/coq_8_18 CI #54: Commit 6b6286d pushed by proux01
December 13, 2023 13:32 14m 44s master
master
December 13, 2023 13:32 14m 44s
Add support for Coq 8.18 CI #53: Pull request #18 synchronize by erikmd
December 13, 2023 13:31 56s coq_8_18
coq_8_18
December 13, 2023 13:31 56s
Add support for Coq 8.18 CI #52: Pull request #18 synchronize by proux01
December 1, 2023 15:10 15m 11s coq_8_18
coq_8_18
December 1, 2023 15:10 15m 11s
Add support for Coq 8.18 CI #51: Pull request #18 synchronize by proux01
December 1, 2023 12:28 14m 46s coq_8_18
coq_8_18
December 1, 2023 12:28 14m 46s
Add support for Coq 8.18 CI #50: Pull request #18 opened by erikmd
December 1, 2023 10:28 14m 7s coq_8_18
coq_8_18
December 1, 2023 10:28 14m 7s
Merge pull request #17 from validsdp/multinomials160 CI #49: Commit 798eabe pushed by proux01
May 17, 2023 18:34 41m 18s master
master
May 17, 2023 18:34 41m 18s
Coq 8.17, MC 1.17 and multinomials1.6 CI #48: Pull request #17 synchronize by proux01
May 17, 2023 17:49 39m 36s multinomials160
multinomials160
May 17, 2023 17:49 39m 36s
Coq 8.17, MC 1.17 and multinomials1.6 CI #47: Pull request #17 synchronize by proux01
May 17, 2023 17:32 16m 29s multinomials160
multinomials160
May 17, 2023 17:32 16m 29s
Coq 8.17, MC 1.17 and multinomials1.6 CI #46: Pull request #17 synchronize by proux01
May 17, 2023 17:10 21m 56s multinomials160
multinomials160
May 17, 2023 17:10 21m 56s
Coq 8.17, MC 1.17 and multinomials1.6 CI #45: Pull request #17 opened by proux01
May 17, 2023 16:39 27m 28s multinomials160
multinomials160
May 17, 2023 16:39 27m 28s