Skip to content

Actions: chrjabs/rustsat

Actions

Minisat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minisat.yml
612 workflow runs
612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable stdout printing from within glucose and minisat Minisat #37: Pull request #68 opened by chrjabs
March 26, 2024 08:44 3m 14s feature/disable-print
feature/disable-print
March 26, 2024 08:44 3m 14s
Mixed development Minisat #36: Pull request #66 opened by chrjabs
March 26, 2024 08:30 2m 43s develop
develop
March 26, 2024 08:30 2m 43s
Update changelog Minisat #35: Commit da39d71 pushed by chrjabs
February 23, 2024 08:20 3m 25s main
main
February 23, 2024 08:20 3m 25s
chore: release Minisat #34: Pull request #57 synchronize by chrjabs
February 23, 2024 08:12 2m 6s release-plz-2024-01-15T09-03-39Z
release-plz-2024-01-15T09-03-39Z
February 23, 2024 08:12 2m 6s
chore: release Minisat #33: Pull request #57 synchronize by chrjabs
February 22, 2024 14:14 3m 27s release-plz-2024-01-15T09-03-39Z
release-plz-2024-01-15T09-03-39Z
February 22, 2024 14:14 3m 27s
fix: remove zlib dependency from minisat and glucose Minisat #32: Commit e5783d7 pushed by chrjabs
February 22, 2024 14:09 3m 42s main
main
February 22, 2024 14:09 3m 42s
Development Minisat #31: Pull request #62 synchronize by chrjabs
February 22, 2024 14:03 2m 53s develop
develop
February 22, 2024 14:03 2m 53s
Development Minisat #30: Pull request #62 synchronize by chrjabs
February 22, 2024 13:54 45s develop
develop
February 22, 2024 13:54 45s
Development Minisat #29: Pull request #62 synchronize by chrjabs
February 22, 2024 13:49 2m 23s develop
develop
February 22, 2024 13:49 2m 23s
Development Minisat #28: Pull request #62 synchronize by chrjabs
February 22, 2024 13:47 3m 23s develop
develop
February 22, 2024 13:47 3m 23s
Development Minisat #27: Pull request #62 synchronize by chrjabs
February 22, 2024 12:56 3m 50s develop
develop
February 22, 2024 12:56 3m 50s
Development Minisat #26: Pull request #62 synchronize by chrjabs
February 22, 2024 12:47 3m 57s develop
develop
February 22, 2024 12:47 3m 57s
Development Minisat #25: Pull request #62 synchronize by chrjabs
February 22, 2024 08:13 3m 33s develop
develop
February 22, 2024 08:13 3m 33s
Development Minisat #24: Pull request #62 opened by chrjabs
February 22, 2024 07:49 4m 0s develop
develop
February 22, 2024 07:49 4m 0s
chore: release Minisat #23: Pull request #57 synchronize by chrjabs
February 13, 2024 11:50 3m 44s release-plz-2024-01-15T09-03-39Z
release-plz-2024-01-15T09-03-39Z
February 13, 2024 11:50 3m 44s
fix: incorrect feature requirements Minisat #22: Commit 4cd7f24 pushed by chrjabs
February 13, 2024 11:47 3m 49s main
main
February 13, 2024 11:47 3m 49s
Development Minisat #21: Pull request #61 synchronize by chrjabs
February 13, 2024 11:21 1m 53s develop
develop
February 13, 2024 11:21 1m 53s
Development Minisat #20: Pull request #61 synchronize by chrjabs
February 13, 2024 11:09 1m 27s develop
develop
February 13, 2024 11:09 1m 27s
Development Minisat #19: Pull request #61 opened by chrjabs
February 13, 2024 11:03 51s develop
develop
February 13, 2024 11:03 51s
chore: release Minisat #18: Pull request #57 opened by chrjabs
January 15, 2024 09:03 4m 9s release-plz-2024-01-15T09-03-39Z
release-plz-2024-01-15T09-03-39Z
January 15, 2024 09:03 4m 9s
docs: disable cbindgen on docs.rs Minisat #17: Commit f15a400 pushed by chrjabs
January 15, 2024 09:02 4m 1s main
main
January 15, 2024 09:02 4m 1s
Cbindgen fix Minisat #16: Pull request #56 opened by chrjabs
January 15, 2024 08:48 2m 44s cbindgen-fix
cbindgen-fix
January 15, 2024 08:48 2m 44s
Manual changelog update Minisat #15: Commit e345985 pushed by chrjabs
January 11, 2024 14:23 2m 24s main
main
January 11, 2024 14:23 2m 24s
chore: release Minisat #14: Pull request #54 synchronize by chrjabs
January 11, 2024 14:18 2m 30s release-plz-2024-01-11T13-17-21Z
release-plz-2024-01-11T13-17-21Z
January 11, 2024 14:18 2m 30s
chore: release Minisat #13: Pull request #54 opened by chrjabs
January 11, 2024 13:17 3m 33s release-plz-2024-01-11T13-17-21Z
release-plz-2024-01-11T13-17-21Z
January 11, 2024 13:17 3m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.