Skip to content

Actions: imandra-ai/imandra-document

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: onix-lock-dev works correctly build #57: Commit d80d1b4 pushed by emeinhardt
December 2, 2024 23:45 7m 22s eric/add-flake
eric/add-flake
December 2, 2024 23:45 7m 22s
Polish + transition towards nix run over Makefile build #56: Commit 3d6fc96 pushed by emeinhardt
November 18, 2024 23:50 6m 57s eric/add-flake
eric/add-flake
November 18, 2024 23:50 6m 57s
Add onix-based flake, associated make task, and .envrc template build #55: Commit 22b13a6 pushed by emeinhardt
November 15, 2024 23:45 7m 37s eric/add-flake
eric/add-flake
November 15, 2024 23:45 7m 37s