Skip to content

Actions: imandra-ai/imandrakit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
489 workflow runs
489 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #90: by github-pages bot
January 22, 2025 03:43 27s gh-pages
gh-pages
January 22, 2025 03:43 27s
add cli option to skip finalizer in twine-utils Build and Test #235: Commit 8df800f pushed by c-cube
January 22, 2025 03:40 2m 45s main
main
January 22, 2025 03:40 2m 45s
add cli option to skip finalizer in twine-utils github pages #164: Commit 8df800f pushed by c-cube
January 22, 2025 03:40 3m 14s main
main
January 22, 2025 03:40 3m 14s
pages build and deployment pages-build-deployment #89: by github-pages bot
January 15, 2025 20:48 27s gh-pages
gh-pages
January 15, 2025 20:48 27s
feat logger: log pid/tid only if LOG_TIME is not 0 github pages #163: Commit 7756f8b pushed by c-cube
January 15, 2025 20:44 4m 1s main
main
January 15, 2025 20:44 4m 1s
feat logger: log pid/tid only if LOG_TIME is not 0 Build and Test #234: Commit 7756f8b pushed by c-cube
January 15, 2025 20:44 3m 29s main
main
January 15, 2025 20:44 3m 29s
pages build and deployment pages-build-deployment #88: by github-pages bot
January 15, 2025 20:44 23s gh-pages
gh-pages
January 15, 2025 20:44 23s
logger: improve output github pages #162: Commit f82b8d9 pushed by c-cube
January 15, 2025 20:40 3m 9s main
main
January 15, 2025 20:40 3m 9s
logger: improve output Build and Test #233: Commit f82b8d9 pushed by c-cube
January 15, 2025 20:40 3m 42s main
main
January 15, 2025 20:40 3m 42s
pages build and deployment pages-build-deployment #87: by github-pages bot
January 15, 2025 20:39 27s gh-pages
gh-pages
January 15, 2025 20:39 27s
feat: in logger, capture pid/tid only if NO_LOG_PID_TID is absent Build and Test #232: Commit d756118 pushed by c-cube
January 15, 2025 20:36 3m 15s main
main
January 15, 2025 20:36 3m 15s
feat: in logger, capture pid/tid only if NO_LOG_PID_TID is absent github pages #161: Commit d756118 pushed by c-cube
January 15, 2025 20:36 3m 2s main
main
January 15, 2025 20:36 3m 2s
pages build and deployment pages-build-deployment #86: by github-pages bot
January 15, 2025 20:28 28s gh-pages
gh-pages
January 15, 2025 20:28 28s
pages build and deployment pages-build-deployment #85: by github-pages bot
January 15, 2025 20:27 25s gh-pages
gh-pages
January 15, 2025 20:27 25s
comment github pages #160: Commit ba40f42 pushed by c-cube
January 15, 2025 20:21 6m 55s main
main
January 15, 2025 20:21 6m 55s
comment Build and Test #231: Commit ba40f42 pushed by c-cube
January 15, 2025 20:21 6m 23s main
main
January 15, 2025 20:21 6m 23s
chore: CI github pages #159: Commit cf0b734 pushed by c-cube
January 15, 2025 20:20 7m 35s main
main
January 15, 2025 20:20 7m 35s
chore: CI Build and Test #230: Commit cf0b734 pushed by c-cube
January 15, 2025 20:20 6m 20s main
main
January 15, 2025 20:20 6m 20s
simon/add twine ref Build and Test #229: Pull request #15 synchronize by c-cube
January 15, 2025 20:10 6m 19s simon/add-twine-ref
simon/add-twine-ref
January 15, 2025 20:10 6m 19s
simon/add twine ref Build and Test #228: Pull request #15 opened by c-cube
January 15, 2025 20:08 20s simon/add-twine-ref
simon/add-twine-ref
January 15, 2025 20:08 20s
rename twine_skip_field to ocaml_only for typereg Build and Test #227: Commit eee75f0 pushed by c-cube
January 15, 2025 19:04 21s main
main
January 15, 2025 19:04 21s
rename twine_skip_field to ocaml_only for typereg github pages #158: Commit eee75f0 pushed by c-cube
January 15, 2025 19:04 18s main
main
January 15, 2025 19:04 18s
update test to use twine skip field Build and Test #226: Commit 0830d26 pushed by c-cube
January 15, 2025 19:00 21s main
main
January 15, 2025 19:00 21s
update test to use twine skip field github pages #157: Commit 0830d26 pushed by c-cube
January 15, 2025 19:00 18s main
main
January 15, 2025 19:00 18s
typereg: parse twine_skip_field attribute github pages #156: Commit c50de0b pushed by c-cube
January 15, 2025 18:50 22s main
main
January 15, 2025 18:50 22s