Skip to content

Actions: meelgroup/csb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update readme with projection input file details Linux Build #97: Commit f43790f pushed by arijitsh
January 24, 2025 15:48 4m 43s main
main
January 24, 2025 15:48 4m 43s
update readme for static bin by default Linux Build #96: Commit 941aff2 pushed by arijitsh
January 24, 2025 15:17 5m 2s main
main
January 24, 2025 15:17 5m 2s
try to release the executable built Linux Build #95: Commit 9093666 pushed by arijitsh
January 24, 2025 15:08 5m 10s main
main
January 24, 2025 15:08 5m 10s
no ldd check for static build in ci Linux Build #94: Commit 39bfa27 pushed by arijitsh
January 24, 2025 14:59 4m 19s main
main
January 24, 2025 14:59 4m 19s
minisat static lib in ci Linux Build #93: Commit ea82503 pushed by arijitsh
January 24, 2025 14:52 4m 50s main
main
January 24, 2025 14:52 4m 50s
some more fix, add symlink to cadical cadiback Linux Build #92: Commit 5035a1e pushed by arijitsh
January 24, 2025 14:43 4m 16s main
main
January 24, 2025 14:43 4m 16s
one more Linux Build #91: Commit 49bb835 pushed by arijitsh
January 23, 2025 23:05 4m 42s main
main
January 23, 2025 23:05 4m 42s
minor miss Linux Build #90: Commit 546ab15 pushed by arijitsh
January 23, 2025 23:01 3m 33s main
main
January 23, 2025 23:01 3m 33s
update ci too Linux Build #89: Commit 355992f pushed by arijitsh
January 23, 2025 22:55 2m 30s main
main
January 23, 2025 22:55 2m 30s
link cadical cadiback Linux Build #88: Commit 42eacf0 pushed by arijitsh
January 23, 2025 22:30 4m 58s main
main
January 23, 2025 22:30 4m 58s
debugging ci Linux Build #87: Commit 85011e6 pushed by arijitsh
January 23, 2025 22:12 5m 28s main
main
January 23, 2025 22:12 5m 28s
add more check Linux Build #86: Commit 7b6b30e pushed by arijitsh
January 23, 2025 21:37 4m 31s main
main
January 23, 2025 21:37 4m 31s
fixing ci Linux Build #85: Commit 5e77a4e pushed by arijitsh
January 23, 2025 21:30 4m 35s main
main
January 23, 2025 21:30 4m 35s
fixing ci Linux Build #84: Commit 8c97b4c pushed by arijitsh
January 23, 2025 21:15 4m 44s main
main
January 23, 2025 21:15 4m 44s
change a parameter in cms cmake Linux Build #83: Commit 7ee0dc1 pushed by arijitsh
January 23, 2025 20:42 4m 28s main
main
January 23, 2025 20:42 4m 28s
multiprocessor Linux Build #82: Commit 5bc0525 pushed by arijitsh
January 23, 2025 20:35 51s main
main
January 23, 2025 20:35 51s
put cadiback and cadical in correct places Linux Build #81: Commit 01f3b67 pushed by arijitsh
January 23, 2025 20:28 1m 29s main
main
January 23, 2025 20:28 1m 29s
correcting directory Linux Build #80: Commit 67cf723 pushed by arijitsh
January 23, 2025 16:52 4m 49s main
main
January 23, 2025 16:52 4m 49s
link cadical and cadiback libraries Linux Build #79: Commit 7bd0f0f pushed by arijitsh
January 23, 2025 16:45 3m 57s main
main
January 23, 2025 16:45 3m 57s
try two Linux Build #78: Commit 76e97ee pushed by arijitsh
January 23, 2025 05:39 4m 46s release
release
January 23, 2025 05:39 4m 46s
release first try Linux Build #77: Commit 7aa9a2c pushed by arijitsh
January 23, 2025 05:22 4m 43s release
release
January 23, 2025 05:22 4m 43s
remove extra print Linux Build #76: Commit c7565c3 pushed by arijitsh
December 11, 2024 01:36 3m 48s devel
devel
December 11, 2024 01:36 3m 48s
in case of projected cnf, print projcnf Linux Build #75: Commit cf5ad33 pushed by arijitsh
December 11, 2024 01:28 5m 5s main
main
December 11, 2024 01:28 5m 5s
remove extra print Linux Build #74: Commit c7565c3 pushed by arijitsh
December 11, 2024 01:26 3m 48s ganak
ganak
December 11, 2024 01:26 3m 48s
approxmc combined with ganak Linux Build #73: Commit e5fab06 pushed by arijitsh
December 11, 2024 01:24 4m 7s ganak
ganak
December 11, 2024 01:24 4m 7s