Skip to content

Actions: shnarazk/splr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 0.18.0-dev1 Rust #2452: Commit a3f3243 pushed by shnarazk
February 2, 2025 10:52 40s 20250202-cdb-holds-vars
20250202-cdb-holds-vars
February 2, 2025 10:52 40s
Fix bugs in an unused function Rust #2451: Commit 792ce92 pushed by shnarazk
February 2, 2025 10:47 40s dev-0.18.0-20250128
dev-0.18.0-20250128
February 2, 2025 10:47 40s
A snapshot Rust #2450: Commit 8f7af02 pushed by shnarazk
February 2, 2025 10:45 20s 20250128-lit-as-var-ref
20250128-lit-as-var-ref
February 2, 2025 10:45 20s
Fix bugs in an unused function Rust #2449: Commit e1fdb88 pushed by shnarazk
February 2, 2025 06:41 39s release-0.17.4
release-0.17.4
February 2, 2025 06:41 39s
Bump version to 0.17.6 Rust #2448: Commit 0ab2da5 pushed by shnarazk
February 1, 2025 14:59 43s Splr-0.17.6
Splr-0.17.6
February 1, 2025 14:59 43s
Bump version to 0.17.6 Rust #2447: Commit 0ab2da5 pushed by shnarazk
February 1, 2025 14:57 42s release-0.17.4
release-0.17.4
February 1, 2025 14:57 42s
Fix Ord::cmp for OrderedProxy<T> (see #277) Rust #2446: Commit 2fb1844 pushed by shnarazk
February 1, 2025 14:51 41s release-0.17.4
release-0.17.4
February 1, 2025 14:51 41s
Bump version to 0.18.0-dev1 Rust #2445: Commit 91072cc pushed by shnarazk
January 28, 2025 12:16 36s 20250128-lit-as-var-ref
20250128-lit-as-var-ref
January 28, 2025 12:16 36s
Bump version to 0.17.5 Rust #2444: Commit d47f3b9 pushed by shnarazk
January 28, 2025 12:00 35s Splr-0.17.5
Splr-0.17.5
January 28, 2025 12:00 35s
Bump version to 0.17.5 Rust #2443: Commit d47f3b9 pushed by shnarazk
January 28, 2025 11:59 38s release-0.17.4
release-0.17.4
January 28, 2025 11:59 38s
Fix f64 ordering (401fa3c) Rust #2442: Commit ed00f06 pushed by shnarazk
January 28, 2025 11:58 31s release-0.17.4
release-0.17.4
January 28, 2025 11:58 31s
Fix f64 ordering (401fa3c) Rust #2441: Commit 82e0555 pushed by shnarazk
January 28, 2025 11:56 37s dev-0.18.0-20250128
dev-0.18.0-20250128
January 28, 2025 11:56 37s
Rust Rust #2440: by shnarazk
January 28, 2025 11:35 35s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:35 35s
Rust Rust #2439: by shnarazk
January 28, 2025 11:31 24s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:31 24s
Bump version to 0.18.0-dev0 Rust #2438: Commit 37eba6e pushed by shnarazk
January 28, 2025 11:22 44s Splr-0.18.0-dev0
Splr-0.18.0-dev0
January 28, 2025 11:22 44s
Bump version to 0.18.0-dev0 Rust #2437: Commit 37eba6e pushed by shnarazk
January 28, 2025 11:22 47s dev-0.18.0-20250128
dev-0.18.0-20250128
January 28, 2025 11:22 47s
modified: flake.nix Rust #2436: Commit 60fe464 pushed by shnarazk
January 28, 2025 11:03 41s main
main
January 28, 2025 11:03 41s
Dev 0.17.4 (#282) Rust #2435: Commit 59c0c1c pushed by shnarazk
January 28, 2025 10:56 35s Splr-0.17.4
Splr-0.17.4
January 28, 2025 10:56 35s
Dev 0.17.4 (#282) Rust #2434: Commit 59c0c1c pushed by shnarazk
January 28, 2025 10:43 37s main
main
January 28, 2025 10:43 37s
Update toolchain Rust #2433: Commit 4d2de19 pushed by shnarazk
January 28, 2025 10:40 43s dev-0.17.4
dev-0.17.4
January 28, 2025 10:40 43s
modified: ChangeLog.md Rust #2432: Commit e62762c pushed by shnarazk
January 28, 2025 10:36 35s dev-0.17.4
dev-0.17.4
January 28, 2025 10:36 35s
Bump version to 0.17.4 Rust #2431: Commit eab5367 pushed by shnarazk
January 28, 2025 08:29 49s dev-0.17.4
dev-0.17.4
January 28, 2025 08:29 49s
Fix bug: dead clauses were not recycled Rust #2430: Commit 559b352 pushed by shnarazk
January 28, 2025 08:27 34s dev-0.17.4
dev-0.17.4
January 28, 2025 08:27 34s
modified: Cargo.lock Rust #2429: Commit 5d21627 pushed by shnarazk
January 28, 2025 08:19 31s dev-0.17.4
dev-0.17.4
January 28, 2025 08:19 31s
Move AssignStack::reason_saved to Var Rust #2428: Commit 9752d10 pushed by shnarazk
January 28, 2025 03:29 29s dev-0.17.4
dev-0.17.4
January 28, 2025 03:29 29s