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

More doc tweaks. Validation Build #63: Commit 11db030 pushed by sdcondon
August 13, 2023 09:51 2m 40s main
main
August 13, 2023 09:51 2m 40s
XML doc tweak for SkolemFunctionIdentifier Validation Build #62: Commit 1a57890 pushed by sdcondon
August 12, 2023 17:48 3m 23s main
main
August 12, 2023 17:48 3m 23s
README update for 5.1.0. Validation Build #61: Commit 89b2903 pushed by sdcondon
August 12, 2023 11:04 2m 22s main
main
August 12, 2023 11:04 2m 22s
5.1.0 Push NuGet Packages #8: Release 5.1.0 published by sdcondon
August 12, 2023 10:55 4m 20s
August 12, 2023 10:55 4m 20s
docs typo correction Validation Build #60: Commit a9fb107 pushed by sdcondon
August 12, 2023 10:49 3m 11s main
main
August 12, 2023 10:49 3m 11s
To hell with it - breaking changes to DiscriminationTree to bring it … Validation Build #59: Commit 46cb9a9 pushed by sdcondon
August 12, 2023 10:47 2m 31s main
main
August 12, 2023 10:47 2m 31s
docs tweaks Validation Build #58: Commit f422bd5 pushed by sdcondon
August 12, 2023 10:43 2m 44s main
main
August 12, 2023 10:43 2m 44s
added missing copyright header. Validation Build #57: Commit 21ffcec pushed by sdcondon
August 12, 2023 10:40 2m 23s main
main
August 12, 2023 10:40 2m 23s
Oops. Fix. Validation Build #56: Commit e7af8ff pushed by sdcondon
August 12, 2023 10:38 4m 5s main
main
August 12, 2023 10:38 4m 5s
Added an async discrimination tree implementation, to facilitate usag… Validation Build #55: Commit 0e2cf60 pushed by sdcondon
August 12, 2023 10:04 4m 59s main
main
August 12, 2023 10:04 4m 59s
xml docs Validation Build #54: Commit bdef14f pushed by sdcondon
August 5, 2023 16:13 2m 44s main
main
August 5, 2023 16:13 2m 44s
Minor changes. Deploy Docs to GitHub pages #15: Commit 97ffe36 pushed by sdcondon
August 5, 2023 11:48 3m 31s main
main
August 5, 2023 11:48 3m 31s
Minor changes. Validation Build #53: Commit 97ffe36 pushed by sdcondon
August 5, 2023 11:48 2m 20s main
main
August 5, 2023 11:48 2m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-08-05 or the other filters available.