Ci improvements #4
Owner
No description provided.
gffranco
added 3 commits 2026-06-03 23:37:18 +00:00
gffranco
added 1 commit 2026-06-03 23:44:16 +00:00
gffranco
added 1 commit 2026-06-03 23:45:45 +00:00
CI / cargo fmt --check (pull_request) Successful in 18s
Details
CI / cargo clippy (pull_request) Successful in 21s
Details
CI / cargo test (pull_request) Successful in 33s
Details
CI / editor keymaps (pull_request) Successful in 1m41s
Details
gffranco
added 1 commit 2026-06-03 23:46:34 +00:00
CI / cargo fmt --check (pull_request) Successful in 42s
Details
CI / cargo clippy (pull_request) Successful in 38s
Details
CI / cargo test (pull_request) Successful in 36s
Details
CI / editor keymaps (pull_request) Successful in 1m25s
Details
Reference in New Issue
Block a user
Delete Branch "ci-improvements"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?