Skip to content

Actions: formal-land/coq-of-ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update README.md CI #389: Commit d8a5512 pushed by clarus
June 26, 2024 15:55 16m 57s master
master
June 26, 2024 15:55 16m 57s
Ocaml 4.14 CI #388: Pull request #217 synchronize by clarus
January 31, 2024 10:19 10m 42s ocaml-4.14
ocaml-4.14
January 31, 2024 10:19 10m 42s
Ocaml 4.13 CI #387: Pull request #216 synchronize by clarus
January 31, 2024 10:17 11m 7s ocaml-4.13
ocaml-4.13
January 31, 2024 10:17 11m 7s
Create FUNDING.yml CI #386: Commit ec31224 pushed by clarus
January 31, 2024 10:15 16m 11s master
master
January 31, 2024 10:15 16m 11s
Ocaml 4.14 CI #385: Pull request #217 synchronize by clarus
January 29, 2024 08:55 10m 50s ocaml-4.14
ocaml-4.14
January 29, 2024 08:55 10m 50s
Ocaml 4.13 CI #384: Pull request #216 synchronize by clarus
January 28, 2024 19:53 10m 55s ocaml-4.13
ocaml-4.13
January 28, 2024 19:53 10m 55s
Merge pull request #230 from formal-land/guillaume-claret@fix-coq-8.18 CI #383: Commit 180f8f2 pushed by clarus
January 28, 2024 19:50 15m 49s master
master
January 28, 2024 19:50 15m 49s
Add compatibility with Coq 8.17 and 8.18 CI #382: Pull request #230 synchronize by clarus
January 26, 2024 17:10 16m 13s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 26, 2024 17:10 16m 13s
Add compatibility with Coq 8.17 and 8.18 CI #381: Pull request #230 synchronize by clarus
January 18, 2024 15:26 16m 37s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 18, 2024 15:26 16m 37s
Add compatibility with Coq 8.17 and 8.18 CI #380: Pull request #230 synchronize by clarus
January 18, 2024 15:24 16m 0s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 18, 2024 15:24 16m 0s
Add compatibility with Coq 8.17 and 8.18 CI #379: Pull request #230 synchronize by clarus
January 18, 2024 15:10 54s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 18, 2024 15:10 54s
Add compatibility with Coq 8.17 and 8.18 CI #378: Pull request #230 synchronize by clarus
January 15, 2024 15:39 5m 16s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 15, 2024 15:39 5m 16s
Add compatibility with Coq 8.17 and 8.18 CI #377: Pull request #230 synchronize by clarus
January 15, 2024 15:10 1d 8h 13m 5s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 15, 2024 15:10 1d 8h 13m 5s
Add compatibility with Coq 8.17 and 8.18 CI #376: Pull request #230 opened by clarus
January 15, 2024 14:49 25s guillaume-claret@fix-coq-8.18
guillaume-claret@fix-coq-8.18
January 15, 2024 14:49 25s