Skip to content

Actions: imandra-ai/catapult

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
21 workflow runs
21 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
move thread_local to core; adapt to trace 0.4 github pages #68: Commit fca15fc pushed by c-cube
September 21, 2023 14:20 2m 29s master
master
September 21, 2023 14:20 2m 29s
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
readme github pages #67: Commit b320927 pushed by c-cube
September 14, 2023 14:38 7m 53s master
master
September 14, 2023 14:38 7m 53s
pages build and deployment pages-build-deployment #23: by github-pages bot
September 14, 2023 03:43 50s
September 14, 2023 03:43 50s
CI github pages #66: Commit d8e6b83 pushed by c-cube
September 14, 2023 03:37 7m 39s master
master
September 14, 2023 03:37 7m 39s
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
pages build and deployment pages-build-deployment #22: by github-pages bot
September 5, 2023 03:42 51s
September 5, 2023 03:42 51s
remove catapult-file github pages #63: Commit 13b8204 pushed by c-cube
September 5, 2023 03:33 9m 2s master
master
September 5, 2023 03:33 9m 2s
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
chore: update repo name in opam github pages #62: Commit d295f7e pushed by c-cube
June 9, 2023 21:03 8m 38s master
master
June 9, 2023 21:03 8m 38s
chore: update repo name in opam build #62: Commit d295f7e pushed by c-cube
June 9, 2023 21:03 9m 46s master
master
June 9, 2023 21:03 9m 46s
pages build and deployment pages-build-deployment #21: by github-pages bot
June 1, 2023 15:14 48s
June 1, 2023 15:14 48s
refactor: move bare_encoding/ser to catapult.utils github pages #61: Commit 38b068c pushed by c-cube
June 1, 2023 15:05 9m 28s master
master
June 1, 2023 15:05 9m 28s
refactor: move bare_encoding/ser to catapult.utils build #61: Commit 38b068c pushed by c-cube
June 1, 2023 15:05 11m 22s master
master
June 1, 2023 15:05 11m 22s
small tweak build #60: Commit 7b48a14 pushed by c-cube
May 15, 2023 19:41 7m 54s master
master
May 15, 2023 19:41 7m 54s
small tweak github pages #60: Commit 7b48a14 pushed by c-cube
May 15, 2023 19:41 10m 2s master
master
May 15, 2023 19:41 10m 2s