Skip to content

Actions: Betti-Labs/rsac-collapse-engine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix LaTeX paper compilation by adding required packages CI #10: Commit e64fa81 pushed by GoryGrey
4m 47s main
main
4m 47s
Fix tuple type annotation for Python compatibility CI #9: Commit cdec819 pushed by GoryGrey
5m 7s main
main
5m 7s
Fix dict type annotations for Python < 3.9 compatibility CI #8: Commit 4af8fc5 pushed by GoryGrey
4m 17s main
main
4m 17s
Fix Python 3.10+ union syntax for compatibility CI #7: Commit 2c44c6a pushed by GoryGrey
59s main
main
59s
Apply Black code formatting CI #6: Commit c7ff0cd pushed by GoryGrey
46s main
main
46s
Fix failing tests CI #5: Commit 09f9edc pushed by GoryGrey
40s main
main
40s
Fix type annotation errors for mypy compliance CI #4: Commit d9a9a0e pushed by GoryGrey
50s main
main
50s
Add: Basic test suite for CI pipeline CI #3: Commit c92a75a pushed by GoryGrey
53s main
main
53s
Fix: Apply Black code formatting for CI compliance CI #2: Commit 3c6a94b pushed by GoryGrey
43s main
main
43s
Initial release: RSAC achieves 268x speedup on SAT problems CI #1: Commit 6adfbe8 pushed by GoryGrey
49s main
main
49s