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

ditto Rust #2052: Commit 4f3494b pushed by shnarazk
March 31, 2024 16:51 22s 20240327-ClauseRef
20240327-ClauseRef
March 31, 2024 16:51 22s
ditto Rust #2051: Commit b3b249d pushed by shnarazk
March 31, 2024 14:31 19s 20240327-ClauseRef
20240327-ClauseRef
March 31, 2024 14:31 19s
ditto Rust #2050: Commit 7c37e5c pushed by shnarazk
March 30, 2024 14:20 22s 20240327-ClauseRef
20240327-ClauseRef
March 30, 2024 14:20 22s
another snapshot Rust #2049: Commit a94b467 pushed by shnarazk
March 30, 2024 12:49 20s 20240327-ClauseRef
20240327-ClauseRef
March 30, 2024 12:49 20s
ditto Rust #2048: Commit fed7f83 pushed by shnarazk
March 29, 2024 22:30 24s 20240327-ClauseRef
20240327-ClauseRef
March 29, 2024 22:30 24s
another broken snapshot Rust #2047: Commit 5473d7d pushed by shnarazk
March 29, 2024 14:10 23s 20240327-ClauseRef
20240327-ClauseRef
March 29, 2024 14:10 23s
a snapshot Rust #2046: Commit 71f4dcf pushed by shnarazk
March 28, 2024 14:40 24s 20240327-ClauseRef
20240327-ClauseRef
March 28, 2024 14:40 24s
Use Rc instead of RwLock Rust #2045: Commit eea4e76 pushed by shnarazk
March 28, 2024 05:49 14s 20240327-ClauseRef
20240327-ClauseRef
March 28, 2024 05:49 14s
new file: src/cdb/cref.rs Rust #2044: Commit b043035 pushed by shnarazk
March 27, 2024 22:34 17s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 22:34 17s
A broken snapshot Rust #2043: Commit b252f9d pushed by shnarazk
March 27, 2024 22:30 16s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 22:30 16s
modified: src/cdb/binary.rs Rust #2042: Commit 1305058 pushed by shnarazk
March 27, 2024 13:35 31s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 13:35 31s
Implement 'ClauseRef' instead of 'ClauseId' Rust #2041: Commit db682a3 pushed by shnarazk
March 27, 2024 12:05 28s 20240327-ClauseRef
20240327-ClauseRef
March 27, 2024 12:05 28s
Literal's default level is zero. So the default LBDs of clauses are one Rust #2040: Commit 11db4a9 pushed by shnarazk
March 26, 2024 22:47 47s dev-0.18.0
dev-0.18.0
March 26, 2024 22:47 47s
Literal's default level is zero. So the default LBDs of clauses are one Rust #2039: Commit 7acbbdc pushed by shnarazk
March 26, 2024 14:37 35s dev-0.18.0
dev-0.18.0
March 26, 2024 14:37 35s
Set the default level of each Var Rust #2038: Commit 4cc6d38 pushed by shnarazk
March 26, 2024 13:51 39s dev-0.18.0
dev-0.18.0
March 26, 2024 13:51 39s
(AssignStack) Move some attiributes to `Var', delete some macros Rust #2037: Commit 8aafd00 pushed by shnarazk
March 26, 2024 12:53 30s dev-0.18.0
dev-0.18.0
March 26, 2024 12:53 30s
start a new branch Rust #2036: Commit 6c7c2b0 pushed by shnarazk
March 26, 2024 03:39 38s dev-0.18.0
dev-0.18.0
March 26, 2024 03:39 38s
Version 0.17.3 Rust #2035: Commit a3075f9 pushed by shnarazk
March 26, 2024 03:37 27s main
main
March 26, 2024 03:37 27s
Rust Rust #2034: by shnarazk
March 26, 2024 03:35 37s Splr-0.17.3
Splr-0.17.3
March 26, 2024 03:35 37s
clean up Rust #2033: Commit 0dc62d3 pushed by shnarazk
March 25, 2024 03:14 3m 56s 20240323-rayon-propagate
20240323-rayon-propagate
March 25, 2024 03:14 3m 56s
another snapshot Rust #2032: Commit 9866d4b pushed by shnarazk
March 24, 2024 23:48 7m 19s 20240323-rayon-propagate
20240323-rayon-propagate
March 24, 2024 23:48 7m 19s
keep a snapshot Rust #2031: Commit 3b07ef4 pushed by shnarazk
March 23, 2024 14:40 32s 20240323-rayon-propagate
20240323-rayon-propagate
March 23, 2024 14:40 32s
modified: Cargo.toml Rust #2030: Commit 47c1ef7 pushed by shnarazk
March 19, 2024 15:02 45s dev-0.17.3
dev-0.17.3
March 19, 2024 15:02 45s
Bump bitflags from 2.4.2 to 2.5.0 Rust #2029: Commit 7e81d0f pushed by dependabot bot
March 19, 2024 14:50 40s dependabot/cargo/bitflags-2.5.0
dependabot/cargo/bitflags-2.5.0
March 19, 2024 14:50 40s
modified: Cargo.lock Rust #2028: Commit 7d8a00d pushed by shnarazk
March 16, 2024 13:35 46s dev-0.17.3
dev-0.17.3
March 16, 2024 13:35 46s
ProTip! You can narrow down the results and go further in time using created:<2024-03-16 or the other filters available.