Skip to content

Actions: HiThink-Research/PuzzleClone

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the performance value
Deploy Documentation to GitHub Pages #16: Commit 2021e4e pushed by Ais0n
28s main
Fix SATBench performance score in README
Deploy Documentation to GitHub Pages #15: Commit 708e482 pushed by Ais0n
27s main
sync
Deploy Documentation to GitHub Pages #14: Commit 4088af0 pushed by Ais0n
32s main
sync
Deploy Documentation to GitHub Pages #13: Commit 111d987 pushed by Ais0n
26s main
sync
Deploy Documentation to GitHub Pages #12: Commit cb26f37 pushed by Ais0n
25s main
update workflow
Deploy Documentation to GitHub Pages #11: Commit 33a83f3 pushed by Ais0n
26s main
sync the repo with the open source version
Deploy Documentation to GitHub Pages #10: Commit d77e757 pushed by Ais0n
25s main
fix: jsonpickle encoding for -g mode
Deploy Documentation to GitHub Pages #9: Commit bbaa0e8 pushed by Ais0n
25s main
fix: config str in the output
Deploy Documentation to GitHub Pages #8: Commit cd80e3e pushed by Ais0n
25s main
update doc
Deploy Documentation to GitHub Pages #7: Commit eb1a093 pushed by Ais0n
25s main
add jsonpickle support to translator
Deploy Documentation to GitHub Pages #6: Commit c2cf839 pushed by Ais0n
25s main
update doc
Deploy Documentation to GitHub Pages #5: Commit cdd4530 pushed by Ais0n
29s main
fix some specs
Deploy Documentation to GitHub Pages #4: Commit 286a0cc pushed by Ais0n
30s main
fix bug of dim_cond
Deploy Documentation to GitHub Pages #3: Commit 91ef58f pushed by Ais0n
31s main
fix: batch config-based generation
Deploy Documentation to GitHub Pages #2: Commit c945a73 pushed by Ais0n
33s main
first commit
Deploy Documentation to GitHub Pages #1: Commit 48a5e07 pushed by Ais0n
24s main