Skip to content

Actions: paultristanwagner/satisfiability-checking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update jline to 3.29.0 Release Tag #4: Commit adc2650 pushed by paultristanwagner
February 9, 2025 21:31 42s v1.0.1
v1.0.1
February 9, 2025 21:31 42s
Update jline to 3.29.0 Java CI with Maven #106: Commit adc2650 pushed by paultristanwagner
February 9, 2025 21:31 34s main
main
February 9, 2025 21:31 34s
Add release tag workflow Release Tag #3: Commit 616d104 pushed by paultristanwagner
January 9, 2025 17:23 44s v1.0.0
v1.0.0
January 9, 2025 17:23 44s
Add release tag workflow Java CI with Maven #105: Commit 616d104 pushed by paultristanwagner
January 9, 2025 17:21 36s main
main
January 9, 2025 17:21 36s
Add release tag workflow Java CI with Maven #104: Commit 872c7cf pushed by paultristanwagner
January 9, 2025 17:18 22s main
main
January 9, 2025 17:18 22s
Add release tag workflow Java CI with Maven #103: Commit 8fe86bf pushed by paultristanwagner
January 9, 2025 17:16 23s main
main
January 9, 2025 17:16 23s
Add release tag workflow Java CI with Maven #102: Commit 610f408 pushed by paultristanwagner
January 9, 2025 17:14 28s main
main
January 9, 2025 17:14 28s
Implement parser for dimacs Java CI with Maven #101: Commit 0d1efd4 pushed by paultristanwagner
October 25, 2024 18:12 29s main
main
October 25, 2024 18:12 29s
Implement parser for dimacs Java CI with Maven #100: Commit f1348e1 pushed by paultristanwagner
October 25, 2024 18:04 2m 38s main
main
October 25, 2024 18:04 2m 38s
Optimize imports Java CI with Maven #99: Commit 4ec4bfb pushed by paultristanwagner
July 15, 2024 13:46 25s main
main
July 15, 2024 13:46 25s
Fix missing variables from objective function in NRA Java CI with Maven #98: Commit c85c048 pushed by paultristanwagner
July 15, 2024 13:08 23s main
main
July 15, 2024 13:08 23s
Update sudoku equality builder to new QF_EQ syntax Java CI with Maven #97: Commit db6cce8 pushed by paultristanwagner
July 15, 2024 12:51 2m 45s main
main
July 15, 2024 12:51 2m 45s