Skip to content

Actions: ekuiter/clausy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed settings Deploy documentation #171: Commit dd50678 pushed by ekuiter
October 2, 2024 13:53 26s main
main
October 2, 2024 13:53 26s
update Deploy documentation #170: Commit 57cc7fe pushed by ekuiter
October 1, 2024 12:12 23s main
main
October 1, 2024 12:12 23s
update Deploy documentation #169: Commit 3b046ef pushed by ekuiter
September 9, 2024 09:44 24s main
main
September 9, 2024 09:44 24s
updated repository Deploy documentation #168: Commit e6676fe pushed by ekuiter
July 10, 2024 11:06 30s main
main
July 10, 2024 11:06 30s
updated repository Deploy documentation #167: Commit 6c5a060 pushed by ekuiter
July 10, 2024 07:56 21s main
main
July 10, 2024 07:56 21s
improved makefile Deploy documentation #166: Commit 27101ad pushed by ekuiter
July 10, 2024 07:49 22s main
main
July 10, 2024 07:49 22s
new solvers Deploy documentation #165: Commit 18b2811 pushed by ekuiter
July 8, 2024 16:11 22s main
main
July 8, 2024 16:11 22s
macOS support Deploy documentation #164: Commit 16dd31c pushed by ekuiter
July 8, 2024 15:40 24s main
main
July 8, 2024 15:40 24s
macOS support Deploy documentation #163: Commit e39c7f1 pushed by ekuiter
July 8, 2024 15:07 26s main
main
July 8, 2024 15:07 26s
macOS support Deploy documentation #162: Commit 9036e1d pushed by ekuiter
July 8, 2024 11:13 23s main
main
July 8, 2024 11:13 23s
doc Deploy documentation #161: Commit 5da719c pushed by ekuiter
January 31, 2024 12:51 27s main
main
January 31, 2024 12:51 27s
improved handling of vacuous truth and falsehood Deploy documentation #160: Commit b5039f1 pushed by ekuiter
January 31, 2024 12:50 24s main
main
January 31, 2024 12:50 24s
Revert "added early exit command" Deploy documentation #159: Commit 6b816a9 pushed by ekuiter
January 15, 2024 14:30 39s main
main
January 15, 2024 14:30 39s
Merge branch 'main' of github.com:ekuiter/clausy Deploy documentation #158: Commit c13f061 pushed by ekuiter
January 15, 2024 14:30 26s main
main
January 15, 2024 14:30 26s
added early exit command Deploy documentation #157: Commit ac93ad6 pushed by ekuiter
January 15, 2024 14:13 25s main
main
January 15, 2024 14:13 25s
doc Deploy documentation #156: Commit bcfb959 pushed by ekuiter
January 5, 2024 17:22 30s main
main
January 5, 2024 17:22 30s
diff Deploy documentation #155: Commit 1ab57cc pushed by ekuiter
January 5, 2024 15:01 30s main
main
January 5, 2024 15:01 30s
doc Deploy documentation #154: Commit 4a3d85a pushed by ekuiter
January 5, 2024 11:54 27s main
main
January 5, 2024 11:54 27s
diff Deploy documentation #153: Commit 44e4d62 pushed by ekuiter
January 5, 2024 11:44 29s main
main
January 5, 2024 11:44 29s
diff Deploy documentation #152: Commit ebb4551 pushed by ekuiter
January 4, 2024 14:28 26s main
main
January 4, 2024 14:28 26s
diff Deploy documentation #151: Commit 7cc1d7e pushed by ekuiter
January 4, 2024 14:07 22s main
main
January 4, 2024 14:07 22s
diff Deploy documentation #150: Commit ab9146a pushed by ekuiter
January 3, 2024 17:13 22s main
main
January 3, 2024 17:13 22s
doc Deploy documentation #149: Commit 1cbf009 pushed by ekuiter
January 3, 2024 14:47 23s main
main
January 3, 2024 14:47 23s
diff Deploy documentation #148: Commit 3989304 pushed by ekuiter
January 3, 2024 14:27 30s main
main
January 3, 2024 14:27 30s
diff Deploy documentation #147: Commit 57ca0ce pushed by ekuiter
January 3, 2024 12:06 32s main
main
January 3, 2024 12:06 32s