Skip to content

Actions: imandra-ai/catapult

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move thread_local to core; adapt to trace 0.4 build #70: Commit fca15fc pushed by c-cube
September 21, 2023 14:20 2m 31s master
master
September 21, 2023 14:20 2m 31s
readme build #69: Commit b320927 pushed by c-cube
September 14, 2023 14:38 7m 38s master
master
September 14, 2023 14:38 7m 38s
CI build #68: Commit d8e6b83 pushed by c-cube
September 14, 2023 03:37 8m 39s master
master
September 14, 2023 03:37 8m 39s
CI build #67: Commit b420c6e pushed by c-cube
September 14, 2023 03:31 7m 58s master
master
September 14, 2023 03:31 7m 58s
update readme build #66: Commit 0787f5e pushed by c-cube
September 14, 2023 02:42 13m 1s master
master
September 14, 2023 02:42 13m 1s
migrate to being a trace backend build #65: Pull request #1 synchronize by c-cube
September 13, 2023 02:55 6m 47s wip-trace
wip-trace
September 13, 2023 02:55 6m 47s
migrate to being a trace backend build #64: Pull request #1 opened by c-cube
September 13, 2023 02:37 13m 10s wip-trace
wip-trace
September 13, 2023 02:37 13m 10s
remove catapult-file build #63: Commit 13b8204 pushed by c-cube
September 5, 2023 03:33 10m 31s master
master
September 5, 2023 03:33 10m 31s