Skip to content

Actions: mmaroti/cadical-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump the version, miri verified memory safety of callbacks Rust #11: Commit 0f089a6 pushed by mmaroti
December 11, 2024 22:01 55s master
master
December 11, 2024 22:01 55s
small cosmetic changes Rust #10: Commit 0df6644 pushed by mmaroti
December 11, 2024 21:55 56s test
test
December 11, 2024 21:55 56s
a better solution Rust #9: Commit 11ed304 pushed by mmaroti
December 11, 2024 20:22 50s test
test
December 11, 2024 20:22 50s
small changes Rust #8: Commit b63af9e pushed by mmaroti
December 11, 2024 17:42 53s test
test
December 11, 2024 17:42 53s
make it work with shared pointer to a cell Rust #7: Commit e9d2e10 pushed by mmaroti
December 11, 2024 16:35 58s test
test
December 11, 2024 16:35 58s
this is not easy Rust #6: Commit ffc141e pushed by mmaroti
December 10, 2024 23:41 51s test
test
December 10, 2024 23:41 51s
prepared mockup for miri Rust #5: Commit e32cf89 pushed by mmaroti
December 10, 2024 20:59 56s test
test
December 10, 2024 20:59 56s
run it on more oses Rust #4: Commit 21a022b pushed by mmaroti
December 7, 2024 16:29 3d 4h 30m 53s test
test
December 7, 2024 16:29 3d 4h 30m 53s
maybe missing submodules Rust #3: Commit 001138a pushed by mmaroti
December 7, 2024 16:23 31s test
test
December 7, 2024 16:23 31s
trying to figure out what is wrong with github actions Rust #2: Commit 5072e1e pushed by mmaroti
December 7, 2024 16:13 13s test
test
December 7, 2024 16:13 13s
Create github workflow rust.yml Rust #1: Commit f3e06a3 pushed by mmaroti
December 7, 2024 15:41 20s master
master
December 7, 2024 15:41 20s