Skip to content

Actions: INRIA/zelus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

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