Skip to content

Actions: DistributedComponents/disel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #18 from DistributedComponents/transparent-have Docker CI #19: Commit 4ae4c20 pushed by palmskog
July 26, 2024 21:51 4m 21s master
master
July 26, 2024 21:51 4m 21s
make key have sentences transparent to enable extraction in 8.20 Docker CI #18: Pull request #18 opened by palmskog
July 26, 2024 20:32 5m 25s transparent-have
transparent-have
July 26, 2024 20:32 5m 25s
Merge pull request #17 from DistributedComponents/refresh-boilerplate Docker CI #17: Commit df89c4a pushed by palmskog
July 25, 2024 11:00 5m 24s master
master
July 25, 2024 11:00 5m 24s
refresh boilerplate and CI and bump Dune to 3.5 or later Docker CI #16: Pull request #17 synchronize by palmskog
July 25, 2024 10:53 5m 31s refresh-boilerplate
refresh-boilerplate
July 25, 2024 10:53 5m 31s
refresh boilerplate and CI and bump Dune to 3.5 or later Docker CI #15: Pull request #17 opened by palmskog
July 25, 2024 10:39 5m 32s refresh-boilerplate
refresh-boilerplate
July 25, 2024 10:39 5m 32s