Skip to content

Actions: sdcondon/SCFirstOrderLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another todo Validation Build #173: Commit 8c13319 pushed by sdcondon
July 27, 2024 15:15 2m 31s main
main
July 27, 2024 15:15 2m 31s
file shuffling rethink Validation Build #172: Commit f9ebae7 pushed by sdcondon
July 27, 2024 15:14 2m 51s main
main
July 27, 2024 15:14 2m 51s
more file shuffling and some todos Validation Build #171: Commit 00c3bcd pushed by sdcondon
July 27, 2024 13:38 2m 56s main
main
July 27, 2024 13:38 2m 56s
First pass at some tests for CNFClause.Subsumes/IsSubsumedBy Validation Build #170: Commit e9dd877 pushed by sdcondon
July 26, 2024 14:52 2m 47s main
main
July 26, 2024 14:52 2m 47s
Package description update. Validation Build #169: Commit 1eb0ad2 pushed by sdcondon
July 26, 2024 08:52 3m 23s main
main
July 26, 2024 08:52 3m 23s
lab link fix Deploy Docs to GitHub pages #46: Commit fe9ccf5 pushed by sdcondon
July 25, 2024 22:33 1m 7s main
main
July 25, 2024 22:33 1m 7s
lab link fix Validation Build #168: Commit fe9ccf5 pushed by sdcondon
July 25, 2024 22:33 2m 21s main
main
July 25, 2024 22:33 2m 21s
Deleted needless waffle from XML documentation of EqualityIdentifier. Validation Build #167: Commit a00a605 pushed by sdcondon
July 25, 2024 22:12 3m 32s main
main
July 25, 2024 22:12 3m 32s
more shuffling around of source files (in alternatives and benchmarks) Validation Build #166: Commit b0be51b pushed by sdcondon
July 25, 2024 22:04 3m 12s main
main
July 25, 2024 22:04 3m 12s
More (test) file shuffling Validation Build #165: Commit 5f9c593 pushed by sdcondon
July 25, 2024 18:57 2m 27s main
main
July 25, 2024 18:57 2m 27s
Minor xml doc tweak Validation Build #164: Commit 8f3b4f8 pushed by sdcondon
July 25, 2024 14:48 3m 8s main
main
July 25, 2024 14:48 3m 8s
Repo README update Validation Build #163: Commit 9df096d pushed by sdcondon
July 25, 2024 13:00 3m 22s main
main
July 25, 2024 13:00 3m 22s
A bit more file shuffling Validation Build #162: Commit 92adf80 pushed by sdcondon
July 25, 2024 12:56 2m 48s main
main
July 25, 2024 12:56 2m 48s
More XML docs Validation Build #161: Commit 6002242 pushed by sdcondon
July 25, 2024 11:03 2m 40s main
main
July 25, 2024 11:03 2m 40s
XML docs Validation Build #160: Commit d4fad0a pushed by sdcondon
July 25, 2024 10:59 2m 55s main
main
July 25, 2024 10:59 2m 55s
Added some extension methods for Terms to the SentenceManipulation.Va… Validation Build #159: Commit 61d632c pushed by sdcondon
July 25, 2024 09:18 2m 55s main
main
July 25, 2024 09:18 2m 55s
Moved a few files around & minor XML doc improvement. Validation Build #158: Commit 39b679f pushed by sdcondon
July 25, 2024 09:09 1m 50s main
main
July 25, 2024 09:09 1m 50s
Added an implicit conversion operator to OperableFunction, to elimina… Validation Build #157: Commit ae46cb7 pushed by sdcondon
July 23, 2024 12:41 2m 55s main
main
July 23, 2024 12:41 2m 55s
roadmap update Deploy Docs to GitHub pages #45: Commit e2f9ba2 pushed by sdcondon
July 21, 2024 15:11 1m 37s main
main
July 21, 2024 15:11 1m 37s
roadmap update Validation Build #156: Commit e2f9ba2 pushed by sdcondon
July 21, 2024 15:11 2m 25s main
main
July 21, 2024 15:11 2m 25s
Roadmap tweaks. Validation Build #155: Commit de8fb54 pushed by sdcondon
July 21, 2024 13:49 1m 59s main
main
July 21, 2024 13:49 1m 59s
Roadmap tweaks. Deploy Docs to GitHub pages #44: Commit de8fb54 pushed by sdcondon
July 21, 2024 13:49 1m 4s main
main
July 21, 2024 13:49 1m 4s
minor docs tweak Validation Build #154: Commit fa3e92b pushed by sdcondon
July 21, 2024 11:53 2m 57s main
main
July 21, 2024 11:53 2m 57s
minor docs tweak Deploy Docs to GitHub pages #43: Commit fa3e92b pushed by sdcondon
July 21, 2024 11:53 1m 7s main
main
July 21, 2024 11:53 1m 7s
Dcos site updates Deploy Docs to GitHub pages #42: Commit fb30497 pushed by sdcondon
July 21, 2024 11:41 1m 10s main
main
July 21, 2024 11:41 1m 10s