Skip to content

Actions: INRIA/zelus

Actions

Opam

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
opam.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Opam #52: Commit 8ef6cd2 pushed by marcpouzet
November 14, 2024 07:28 8m 2s main
main
November 14, 2024 07:28 8m 2s
Remove reference to Debug. replace it by verbose. Opam #46: Commit faed0ec pushed by marcpouzet
November 1, 2024 09:45 6h 0m 10s 2024
2024
November 1, 2024 09:45 6h 0m 10s
Update Opam #45: Commit 8e2beb1 pushed by marcpouzet
November 1, 2024 09:17 6h 0m 10s 2024
2024
November 1, 2024 09:17 6h 0m 10s
Update Opam #44: Commit e926d20 pushed by marcpouzet
November 1, 2024 09:15 6h 0m 8s 2024
2024
November 1, 2024 09:15 6h 0m 8s
Create exp2eq.ml Opam #43: Commit 1b9cf91 pushed by marcpouzet
November 1, 2024 09:15 6h 0m 10s 2024
2024
November 1, 2024 09:15 6h 0m 10s
Update translate.ml Opam #42: Commit 08ebec4 pushed by marcpouzet
October 31, 2024 17:46 6h 0m 7s 2024
2024
October 31, 2024 17:46 6h 0m 7s
Update translate.ml Opam #41: Commit 932cae6 pushed by marcpouzet
October 31, 2024 17:46 6h 0m 9s 2024
2024
October 31, 2024 17:46 6h 0m 9s
Update Opam #40: Commit 2ff55eb pushed by marcpouzet
October 31, 2024 17:30 6h 0m 9s 2024
2024
October 31, 2024 17:30 6h 0m 9s
Update .gitignore Opam #39: Commit 7a667c6 pushed by marcpouzet
October 31, 2024 11:42 6h 0m 9s 2024
2024
October 31, 2024 11:42 6h 0m 9s
Update t_3.zls Opam #38: Commit c8dd4d4 pushed by marcpouzet
October 31, 2024 11:42 6h 0m 9s 2024
2024
October 31, 2024 11:42 6h 0m 9s
Update Opam #37: Commit a50f244 pushed by marcpouzet
October 31, 2024 11:12 6h 0m 12s 2024
2024
October 31, 2024 11:12 6h 0m 12s
Move Opam #36: Commit 9a95f2f pushed by marcpouzet
October 31, 2024 10:41 6h 0m 10s 2024
2024
October 31, 2024 10:41 6h 0m 10s
Update misc.ml Opam #35: Commit 7dee804 pushed by marcpouzet
October 30, 2024 17:18 6h 0m 9s 2024
2024
October 30, 2024 17:18 6h 0m 9s
Update Opam #34: Commit 5b4c627 pushed by marcpouzet
October 30, 2024 17:14 6h 0m 9s 2024
2024
October 30, 2024 17:14 6h 0m 9s
Update Opam #33: Commit 5d2a66b pushed by marcpouzet
October 30, 2024 17:08 6h 0m 12s 2024
2024
October 30, 2024 17:08 6h 0m 12s
Update Opam #32: Commit f5c9a76 pushed by marcpouzet
October 30, 2024 16:33 6h 0m 18s 2024
2024
October 30, 2024 16:33 6h 0m 18s
Update Opam #31: Commit ca32f79 pushed by marcpouzet
October 30, 2024 14:25 6h 0m 13s 2024
2024
October 30, 2024 14:25 6h 0m 13s
Test build Opam #30: Commit 842e458 pushed by marcpouzet
October 25, 2024 12:48 8m 56s main
main
October 25, 2024 12:48 8m 56s
-- Opam #29: Commit d55981f pushed by marcpouzet
October 21, 2024 16:13 8m 31s main
main
October 21, 2024 16:13 8m 31s
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