Skip to content

Actions: Drup/dowsing

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fixes and make the project compile with ocaml 5.1
Build #203: Pull request #16 synchronize by FardaleM
November 20, 2023 20:08 4m 59s fix
fix
November 20, 2023 20:08 4m 59s
fix: adapt to the change of Outcometree.out_type.Otyp_alias
Build #202: Commit 8760969 pushed by FardaleM
November 20, 2023 20:08 10m 2s fix
fix
November 20, 2023 20:08 10m 2s
Small fixes and make the project compile with ocaml 5.1
Build #201: Pull request #16 opened by FardaleM
November 20, 2023 13:38 11m 4s fix
fix
November 20, 2023 13:38 11m 4s
fix: adapt to the change of Outcometree.out_type.Otyp_alias
Build #200: Commit 0a6ce54 pushed by FardaleM
November 20, 2023 13:35 11m 48s fix
fix
November 20, 2023 13:35 11m 48s
bugfix
Build #199: Commit 45aa4f0 pushed by Drup
November 20, 2023 13:14 8m 27s master
November 20, 2023 13:14 8m 27s
bugfix
Build #198: Commit 45aa4f0 pushed by Drup
November 20, 2023 13:13 9m 2s poset
November 20, 2023 13:13 9m 2s