Skip to content

Actions: coq-community/hydra-battles

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #180 from coq-community/port_paramcoq_elpi Docker CI #555: Commit ed8e604 pushed by proux01
January 22, 2025 14:02 10m 40s master
master
January 22, 2025 14:02 10m 40s
Port from paramcoq to elpi Docker CI #554: Pull request #180 synchronize by proux01
January 22, 2025 13:51 10m 27s port_paramcoq_elpi
port_paramcoq_elpi
January 22, 2025 13:51 10m 27s
Port from paramcoq to elpi Docker CI #553: Pull request #180 synchronize by proux01
January 22, 2025 13:26 10m 44s port_paramcoq_elpi
port_paramcoq_elpi
January 22, 2025 13:26 10m 44s
Port from paramcoq to elpi Docker CI #552: Pull request #180 opened by proux01
January 22, 2025 13:01 4m 59s port_paramcoq_elpi
port_paramcoq_elpi
January 22, 2025 13:01 4m 59s
small corrections Docker CI #551: Commit 1c30f04 pushed by Casteran
February 19, 2024 16:01 10m 10s master
master
February 19, 2024 16:01 10m 10s
Merge branch 'master' of https://github.com/coq-community/hydra-battles Docker CI #550: Commit a39d739 pushed by Casteran
February 14, 2024 12:15 8m 41s master
master
February 14, 2024 12:15 8m 41s
Update doc (#179) Docker CI #549: Commit b6ec382 pushed by Casteran
February 12, 2024 16:49 8m 39s master
master
February 12, 2024 16:49 8m 39s
Update doc Docker CI #548: Pull request #179 opened by Casteran
February 12, 2024 16:17 8m 29s updateDoc
updateDoc
February 12, 2024 16:17 8m 29s
Update doc (#178) Docker CI #547: Commit 01456ef pushed by Casteran
February 7, 2024 15:55 8m 30s master
master
February 7, 2024 15:55 8m 30s
Update doc Docker CI #546: Pull request #178 opened by Casteran
February 7, 2024 15:34 8m 27s updateDoc
updateDoc
February 7, 2024 15:34 8m 27s
Corrections in doc (#177) Docker CI #545: Commit 7dfe5eb pushed by Casteran
January 29, 2024 18:53 7m 45s master
master
January 29, 2024 18:53 7m 45s
Corrections in doc Docker CI #544: Pull request #177 opened by Casteran
January 29, 2024 17:55 7m 46s correctionsInDoc
correctionsInDoc
January 29, 2024 17:55 7m 46s
E0 coercion Docker CI #543: Pull request #176 opened by Casteran
January 29, 2024 17:21 7m 19s E0Coercion
E0Coercion
January 29, 2024 17:21 7m 19s
Projection (#175) Docker CI #542: Commit 8ecbc95 pushed by Casteran
January 28, 2024 13:04 8m 8s master
master
January 28, 2024 13:04 8m 8s
Projection Docker CI #541: Pull request #175 opened by Casteran
January 28, 2024 12:47 7m 42s Projection
Projection
January 28, 2024 12:47 7m 42s
Canon deprecate (#174) Docker CI #540: Commit c7c44dc pushed by Casteran
January 26, 2024 12:32 7m 38s master
master
January 26, 2024 12:32 7m 38s
Canon deprecate Docker CI #539: Pull request #174 opened by Casteran
January 26, 2024 12:14 7m 46s canonDeprecate
canonDeprecate
January 26, 2024 12:14 7m 46s
Minor corrections Docker CI #538: Commit af30acc pushed by Casteran
January 24, 2024 20:17 7m 59s master
master
January 24, 2024 20:17 7m 59s
Small corrections in Chapter 3 (#173) Docker CI #537: Commit 51bf7cf pushed by Casteran
January 23, 2024 07:58 7m 34s master
master
January 23, 2024 07:58 7m 34s
Small corrections in Chapter 3 Docker CI #536: Pull request #173 opened by Casteran
January 23, 2024 07:41 7m 40s chapter3
chapter3
January 23, 2024 07:41 7m 40s
Merge branch 'master' of https://github.com/coq-community/hydra-battles Docker CI #535: Commit 0fbd8ec pushed by Casteran
January 15, 2024 20:52 7m 48s master
master
January 15, 2024 20:52 7m 48s
Improve doc (#172) Docker CI #534: Commit df603be pushed by Casteran
January 15, 2024 20:02 7m 42s master
master
January 15, 2024 20:02 7m 42s
Improve doc Docker CI #533: Pull request #172 opened by Casteran
January 15, 2024 19:19 7m 42s improveDoc
improveDoc
January 15, 2024 19:19 7m 42s
small corrections (#171) Docker CI #532: Commit b5753c3 pushed by Casteran
January 8, 2024 13:08 7m 49s master
master
January 8, 2024 13:08 7m 49s
small corrections Docker CI #531: Pull request #171 opened by Casteran
January 8, 2024 12:47 7m 38s smallFixes
smallFixes
January 8, 2024 12:47 7m 38s