Skip to content

Actions: coq-community/coq-plugin-template

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
6 workflow runs
6 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #4: Pull request #7 synchronize by palmskog
July 13, 2023 17:00 2m 35s v8.17+0.8
v8.17+0.8
July 13, 2023 17:00 2m 35s
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #3: Pull request #7 synchronize by palmskog
July 13, 2023 16:08 2m 55s v8.17+0.8
v8.17+0.8
July 13, 2023 16:08 2m 55s
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #2: Pull request #7 synchronize by palmskog
July 13, 2023 16:01 5m 36s v8.17+0.8
v8.17+0.8
July 13, 2023 16:01 5m 36s
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #1: Pull request #7 synchronize by palmskog
June 24, 2023 09:36 2m 41s v8.17+0.8
v8.17+0.8
June 24, 2023 09:36 2m 41s
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #6: Pull request #7 synchronize by palmskog
June 22, 2023 00:45 24m 11s v8.17+0.8
v8.17+0.8
June 22, 2023 00:45 24m 11s
Update for Dune-Coq 0.8 and Coq 8.17 Docker CI #5: Pull request #7 opened by palmskog
June 22, 2023 00:38 1m 28s v8.17+0.8
v8.17+0.8
June 22, 2023 00:38 1m 28s