Skip to content

Actions: OCEAN-xyz/datum_gateway

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'github-pull/19/head'
Build DATUM Gateway #11: Commit 62d92d0 pushed by luke-jr
October 21, 2024 13:26 23s master
October 21, 2024 13:26 23s
Simple REST API sharing variables with the web interface
Build DATUM Gateway #10: Pull request #21 opened by luke-jr
October 20, 2024 20:49 24s luke-jr:api_api
October 20, 2024 20:49 24s
Format output of -? better
Build DATUM Gateway #7: Pull request #18 synchronize by jesterhodl
October 20, 2024 18:03 23s jesterhodl:format-config-better
October 20, 2024 18:03 23s
Format output of -? better
Build DATUM Gateway #5: Pull request #18 opened by jesterhodl
October 20, 2024 17:54 31s jesterhodl:format-config-better
October 20, 2024 17:54 31s
Delete dead datum_logger declaration
Build DATUM Gateway #3: Commit 86a39a0 pushed by luke-jr
October 20, 2024 17:02 28s master
October 20, 2024 17:02 28s
Merge remote-tracking branch 'github-pull/9/head'
Build DATUM Gateway #1: Commit 36613ef pushed by luke-jr
October 19, 2024 19:48 28s master
October 19, 2024 19:48 28s