Skip to content

Actions: INRIA/zelus

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9 workflow runs
9 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
New example. Build #203: Commit 2c03b40 pushed by marcpouzet
November 14, 2023 14:15 13m 14s main
main
November 14, 2023 14:15 13m 14s
New example. Opam #28: Commit 2c03b40 pushed by marcpouzet
November 14, 2023 14:15 9m 34s main
main
November 14, 2023 14:15 9m 34s
Update of the README. Opam #27: Commit f62b53d pushed by marcpouzet
November 14, 2023 14:12 9m 58s main
main
November 14, 2023 14:12 9m 58s
Update of the README. Build #202: Commit f62b53d pushed by marcpouzet
November 14, 2023 14:12 13m 27s main
main
November 14, 2023 14:12 13m 27s
Better integration with Dune (#20) Build #201: Commit 165d1eb pushed by marcpouzet
June 16, 2023 14:14 13m 56s main
main
June 16, 2023 14:14 13m 56s
Better integration with Dune (#20) Opam #26: Commit 165d1eb pushed by marcpouzet
June 16, 2023 14:14 9m 24s main
main
June 16, 2023 14:14 9m 24s
Better integration with Dune Build #200: Pull request #20 opened by gbdrt
April 19, 2023 08:38 27m 48s dune
dune
April 19, 2023 08:38 27m 48s
Merge branch 'main' into dune Build #199: Commit c5ab059 pushed by gbdrt
April 19, 2023 08:38 23m 37s dune
dune
April 19, 2023 08:38 23m 37s
Update Makefile Build #198: Commit 8c4ea10 pushed by gbdrt
April 19, 2023 08:29 24m 35s dune
dune
April 19, 2023 08:29 24m 35s