Skip to content

Actions: SauravMaheshkar/sat-rs

Actions

Rust Build and Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust Build and Tests Rust Build and Tests #35: Scheduled
March 24, 2024 01:20 21s main
main
March 24, 2024 01:20 21s
Rust Build and Tests Rust Build and Tests #34: Scheduled
March 17, 2024 01:18 28s main
main
March 17, 2024 01:18 28s
Rust Build and Tests Rust Build and Tests #33: Scheduled
March 10, 2024 01:17 27s main
main
March 10, 2024 01:17 27s
Rust Build and Tests Rust Build and Tests #32: Scheduled
March 3, 2024 01:16 22s main
main
March 3, 2024 01:16 22s
Rust Build and Tests Rust Build and Tests #31: Scheduled
February 25, 2024 01:17 35s main
main
February 25, 2024 01:17 35s
Rust Build and Tests Rust Build and Tests #30: Scheduled
February 18, 2024 01:17 31s main
main
February 18, 2024 01:17 31s
Rust Build and Tests Rust Build and Tests #29: Scheduled
February 11, 2024 01:18 37s main
main
February 11, 2024 01:18 37s
Rust Build and Tests Rust Build and Tests #28: Scheduled
February 4, 2024 01:18 23s main
main
February 4, 2024 01:18 23s
Rust Build and Tests Rust Build and Tests #27: Scheduled
January 28, 2024 01:18 19s main
main
January 28, 2024 01:18 19s
Rust Build and Tests Rust Build and Tests #26: Scheduled
January 21, 2024 01:25 18s main
main
January 21, 2024 01:25 18s
Rust Build and Tests Rust Build and Tests #25: Scheduled
January 14, 2024 01:25 27s main
main
January 14, 2024 01:25 27s
feat(gsat): add gsat impl with random walks Rust Build and Tests #24: Commit ab74585 pushed by SauravMaheshkar
January 8, 2024 21:17 30s main
main
January 8, 2024 21:17 30s
feat: add GSAT implementation Rust Build and Tests #23: Pull request #7 opened by SauravMaheshkar
January 8, 2024 21:16 25s solver-gsat
solver-gsat
January 8, 2024 21:16 25s
feat: add WSAT impl Rust Build and Tests #22: Commit b39b206 pushed by SauravMaheshkar
January 8, 2024 17:28 19s main
main
January 8, 2024 17:28 19s
feat: add WSAT Rust Build and Tests #21: Pull request #6 opened by SauravMaheshkar
January 8, 2024 17:24 50s solver-wsat
solver-wsat
January 8, 2024 17:24 50s
feat(solvers): add CHAOS algorithm (#5) Rust Build and Tests #20: Commit 897c233 pushed by SauravMaheshkar
January 8, 2024 00:28 23s main
main
January 8, 2024 00:28 23s
feat(solvers): add CHAOS algorithm Rust Build and Tests #19: Pull request #5 synchronize by SauravMaheshkar
January 8, 2024 00:25 34s solver-chaos
solver-chaos
January 8, 2024 00:25 34s
feat(solvers): add CHAOS algorithm Rust Build and Tests #18: Pull request #5 opened by SauravMaheshkar
January 8, 2024 00:17 31s solver-chaos
solver-chaos
January 8, 2024 00:17 31s
fix(ci): drop redundant flag from CI Rust Build and Tests #17: Commit 674431b pushed by SauravMaheshkar
January 7, 2024 14:16 21s main
main
January 7, 2024 14:16 21s
feat: refactor syntactic -> interactive Rust Build and Tests #16: Commit 9c21ef0 pushed by SauravMaheshkar
January 7, 2024 14:15 19s main
main
January 7, 2024 14:15 19s
Rust Build and Tests Rust Build and Tests #15: Scheduled
January 7, 2024 01:25 19s main
main
January 7, 2024 01:25 19s
feat(tests): update tests Rust Build and Tests #14: Commit 90dd112 pushed by SauravMaheshkar
January 3, 2024 17:20 19s main
main
January 3, 2024 17:20 19s
feat: add syntactic solver Rust Build and Tests #13: Pull request #3 opened by SauravMaheshkar
January 3, 2024 17:19 21s syntactic
syntactic
January 3, 2024 17:19 21s
Rust Build and Tests Rust Build and Tests #12: Scheduled
December 31, 2023 01:22 31s main
main
December 31, 2023 01:22 31s
Rust Build and Tests Rust Build and Tests #11: Scheduled
December 24, 2023 01:22 21s main
main
December 24, 2023 01:22 21s