Skip to content

Actions: rtacconi/kcore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(release): automate GitHub release publishing from tags release #1: Commit 05232df pushed by rtacconi
20m 39s v0.2.0
v0.2.0
20m 39s
chore: gitignore .cursor/ and drop tracked Cursor rules ci #54: Pull request #18 opened by rtacconi
7m 38s chore/gitignore-cursor-directory
chore/gitignore-cursor-directory
7m 38s
chore: gitignore .cursor/ and drop tracked Cursor rules formal-checks #70: Pull request #18 opened by rtacconi
13m 2s chore/gitignore-cursor-directory
chore/gitignore-cursor-directory
13m 2s
chore(release): bump VERSION and workspace crates to 0.2.0 formal-checks #69: Pull request #17 opened by rtacconi
13m 4s release/0.2.0
release/0.2.0
13m 4s
chore(release): bump VERSION and workspace crates to 0.2.0 ci #53: Pull request #17 opened by rtacconi
7m 48s release/0.2.0
release/0.2.0
7m 48s
docs(release): Make+Nix release flow with gh publish ci #52: Pull request #16 synchronize by rtacconi
5m 14s docs/release-make-nix-github
docs/release-make-nix-github
5m 14s
docs(release): Make+Nix release flow with gh publish formal-checks #68: Pull request #16 synchronize by rtacconi
12m 55s docs/release-make-nix-github
docs/release-make-nix-github
12m 55s
docs(release): Make+Nix release flow with gh publish formal-checks #67: Pull request #16 synchronize by rtacconi
20m 17s docs/release-make-nix-github
docs/release-make-nix-github
20m 17s
docs(release): Make+Nix release flow with gh publish ci #51: Pull request #16 synchronize by rtacconi
6m 54s docs/release-make-nix-github
docs/release-make-nix-github
6m 54s
docs(release): Make+Nix release flow with gh publish ci #50: Pull request #16 synchronize by rtacconi
5m 23s docs/release-make-nix-github
docs/release-make-nix-github
5m 23s
fix(release): address CodeRabbit PR16 (markdownlint, gh via nix devel… formal-checks #66: Commit f4d51d8 pushed by rtacconi
Failure docs/release-make-nix-github
docs/release-make-nix-github
Failure
docs(release): Make+Nix release flow with gh publish ci #49: Pull request #16 opened by rtacconi
8m 2s docs/release-make-nix-github
docs/release-make-nix-github
8m 2s
Revert "docs(release): Make+Nix release flow with gh publish" formal-checks #65: Commit 9b4a5ba pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure
docs(release): Make+Nix release flow with gh publish formal-checks #64: Commit 1505d4e pushed by rtacconi
Failure docs/release-make-nix-github
docs/release-make-nix-github
Failure
docs(release): Make+Nix release flow with gh publish formal-checks #63: Commit 898d6b0 pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure
Merge pull request #15 from rtacconi/feat/formal-phase-2-3-kani-and-d… formal-checks #62: Commit b2dbc70 pushed by rtacconi
Failure main
main
Failure
Feat/formal phase 2 3 kani and db proptests ci #48: Pull request #15 synchronize by rtacconi
7m 41s feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
7m 41s
fix(console): CI Clippy on Rust 1.95 and polish TUI branding formal-checks #61: Commit 0e98418 pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure
Feat/formal phase 2 3 kani and db proptests ci #47: Pull request #15 opened by rtacconi
2m 49s feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
2m 49s
fix(console): update TUI dependencies formal-checks #60: Commit 57d3314 pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure
Merge pull request #14 from rtacconi/feat/formal-phase-2-3-kani-and-d… formal-checks #59: Commit 5297827 pushed by rtacconi
Failure main
main
Failure
feat(storage): add declarative disk layout reconciliation and kcoreOS… ci #46: Pull request #14 synchronize by rtacconi
5m 32s feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
5m 32s
fix(kctl): fallback certs dir when home is not writable formal-checks #58: Commit 5cb1d41 pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure
feat(storage): add declarative disk layout reconciliation and kcoreOS… ci #45: Pull request #14 opened by rtacconi
7m 25s feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
7m 25s
feat(storage): add declarative disk layout reconciliation and kcoreOS… formal-checks #57: Commit 009aafd pushed by rtacconi
Failure feat/formal-phase-2-3-kani-and-db-proptests
feat/formal-phase-2-3-kani-and-db-proptests
Failure