Skip to content

Actions: brunocodutra/cinder

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
477 workflow runs
477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tweak reverse futility pruning margins
CI #2102: Commit f61e2ad pushed by brunocodutra
December 23, 2024 21:17 18m 35s master
December 23, 2024 21:17 18m 35s
Tweak reverse futility pruning margins
CI #2101: Pull request #665 opened by brunocodutra
December 23, 2024 20:57 19m 0s rfp
rfp
December 23, 2024 20:57 19m 0s
Bump proptest from 1.5.0 to 1.6.0
CI #2100: Commit 5173087 pushed by brunocodutra
December 23, 2024 17:58 19m 19s master
December 23, 2024 17:58 19m 19s
Bump proptest from 1.5.0 to 1.6.0
CI #2099: Pull request #663 synchronize by dependabot bot
December 23, 2024 15:29 18m 52s dependabot/cargo/proptest-1.6.0
December 23, 2024 15:29 18m 52s
allow reverse futility pruning at any depth
CI #2098: Commit 1e0d960 pushed by brunocodutra
December 23, 2024 15:28 19m 8s master
December 23, 2024 15:28 19m 8s
Allow reverse futility pruning at any depth
CI #2097: Pull request #664 opened by brunocodutra
December 23, 2024 14:54 18m 51s rfp
rfp
December 23, 2024 14:54 18m 51s
implement history heuristics for move ordering
CI #2096: Commit 6c05948 pushed by brunocodutra
December 23, 2024 14:52 18m 52s master
December 23, 2024 14:52 18m 52s
Implement history heuristics for move ordering
CI #2095: Pull request #662 synchronize by brunocodutra
December 22, 2024 16:57 2m 50s history
December 22, 2024 16:57 2m 50s
Implement history heuristics for move ordering
CI #2094: Pull request #662 synchronize by brunocodutra
December 22, 2024 15:40 18m 49s history
December 22, 2024 15:40 18m 49s
Implement history heuristics for move ordering
CI #2093: Pull request #662 synchronize by brunocodutra
December 22, 2024 00:42 18m 43s history
December 22, 2024 00:42 18m 43s
Implement history heuristics for move ordering
CI #2092: Pull request #662 synchronize by brunocodutra
December 21, 2024 10:25 18m 45s history
December 21, 2024 10:25 18m 45s
Bump proptest from 1.5.0 to 1.6.0
CI #2091: Pull request #663 opened by dependabot bot
December 21, 2024 10:09 2m 49s dependabot/cargo/proptest-1.6.0
December 21, 2024 10:09 2m 49s
CI
CI #2090: Scheduled
December 21, 2024 06:28 2m 49s master
December 21, 2024 06:28 2m 49s
Implement history heuristics for move ordering
CI #2089: Pull request #662 synchronize by brunocodutra
December 19, 2024 21:24 2m 53s history
December 19, 2024 21:24 2m 53s
Implement history heuristics for move ordering
CI #2088: Pull request #662 synchronize by brunocodutra
December 15, 2024 17:34 19m 13s history
December 15, 2024 17:34 19m 13s
Implement history heuristics for move ordering
CI #2087: Pull request #662 synchronize by brunocodutra
December 15, 2024 17:34 18m 40s history
December 15, 2024 17:34 18m 40s
Implement history heuristics for move ordering
CI #2086: Pull request #662 synchronize by brunocodutra
December 15, 2024 15:36 18m 56s history
December 15, 2024 15:36 18m 56s
Implement history heuristics for move ordering
CI #2085: Pull request #662 synchronize by brunocodutra
December 15, 2024 14:35 18m 15s history
December 15, 2024 14:35 18m 15s
Implement history heuristics for move ordering
CI #2084: Pull request #662 synchronize by brunocodutra
December 14, 2024 20:29 2m 56s history
December 14, 2024 20:29 2m 56s
Implement history heuristics for move ordering
CI #2083: Pull request #662 opened by brunocodutra
December 14, 2024 20:29 2m 55s history
December 14, 2024 20:29 2m 55s
CI
CI #2082: Scheduled
December 14, 2024 06:31 2m 53s master
December 14, 2024 06:31 2m 53s
share killer moves across all threads
CI #2081: Commit a69fa87 pushed by brunocodutra
December 8, 2024 21:25 18m 40s master
December 8, 2024 21:25 18m 40s
Share killer moves across all threads
CI #2080: Pull request #661 opened by brunocodutra
December 8, 2024 20:25 19m 12s killer
December 8, 2024 20:25 19m 12s
increase internal iterative reductions
CI #2079: Commit 6709fc5 pushed by brunocodutra
December 7, 2024 15:13 19m 22s master
December 7, 2024 15:13 19m 22s
Increase internal iterative reductions
CI #2078: Pull request #660 opened by brunocodutra
December 7, 2024 14:49 24m 12s iir
iir
December 7, 2024 14:49 24m 12s