Skip to content

Actions: sdcondon/SCClassicalPlanning

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

static analysis stuff - leveraging recent c# features, mostly. Validation Build #65: Commit 3c8a661 pushed by sdcondon
5m 13s main
main
5m 13s
Corrected "sentence" to "formula" in a bunch of places. Validation Build #64: Commit c2a2c0c pushed by sdcondon
4m 0s main
main
4m 0s
Updated FoL dependency to 8.0.0. Validation Build #63: Commit 7e98f94 pushed by sdcondon
4m 32s main
main
4m 32s
Updated FoL dependency to 8.0.0. Deploy Docs to GitHub pages #41: Commit 7e98f94 pushed by sdcondon
1m 16s main
main
1m 16s
grr, typo. Validation Build #62: Commit 40bace5 pushed by sdcondon
6m 1s main
main
6m 1s
grr, typo. Deploy Docs to GitHub pages #40: Commit 40bace5 pushed by sdcondon
1m 21s main
main
1m 21s
Oops. Overdue docs fix. Validation Build #61: Commit d0b1c24 pushed by sdcondon
3m 48s main
main
3m 48s
Oops. Overdue docs fix. Deploy Docs to GitHub pages #39: Commit d0b1c24 pushed by sdcondon
1m 38s main
main
1m 38s
docs site - minor state/goal space explorer refact Deploy Docs to GitHub pages #38: Commit f59ad6f pushed by sdcondon
1m 24s main
main
1m 24s
docs site - minor state/goal space explorer refact Validation Build #60: Commit f59ad6f pushed by sdcondon
4m 38s main
main
4m 38s
alt planners tweak Validation Build #59: Commit fbeffcd pushed by sdcondon
4m 8s main
main
4m 8s
Made planning task creation async too.. Validation Build #58: Commit 8dd8151 pushed by sdcondon
5m 10s main
main
5m 10s
Planner changes: Validation Build #57: Commit a6e8805 pushed by sdcondon
3m 35s main
main
3m 35s
upgraded to .net 8, to allow for taking latest version of dependencie… Validation Build #56: Commit 962b236 pushed by sdcondon
5m 26s main
main
5m 26s
dependency updates Validation Build #55: Commit 0863222 pushed by sdcondon
1m 53s main
main
1m 53s
dependency updates Deploy Docs to GitHub pages #37: Commit 0863222 pushed by sdcondon
1m 15s main
main
1m 15s
sigh. third times the charm. readme fix. Validation Build #54: Commit e673f8c pushed by sdcondon
5m 38s main
main
5m 38s
ah, oh yeah, they're all pre-releases.. undo half of last change. Validation Build #53: Commit 646488b pushed by sdcondon
6m 19s main
main
6m 19s
readme update so that i no longer need to update a link every time i … Validation Build #52: Commit c78db38 pushed by sdcondon
4m 55s main
main
4m 55s
0.11.0 Publish NuGet Packages #2: Release 0.11.0 published by sdcondon
3m 31s
3m 31s
Updated SCFirstOrderLogic to latest. Validation Build #51: Commit 00e6ade pushed by sdcondon
3m 40s main
main
3m 40s
Updated SCFirstOrderLogic to latest. Deploy Docs to GitHub pages #36: Commit 00e6ade pushed by sdcondon
1m 5s main
main
1m 5s
minor tweaks Deploy Docs to GitHub pages #35: Commit 0f04db4 pushed by sdcondon
1m 15s main
main
1m 15s
minor tweaks Validation Build #50: Commit 0f04db4 pushed by sdcondon
3m 46s main
main
3m 46s
Minor shuffling in docs site Deploy Docs to GitHub pages #34: Commit 9ac9759 pushed by sdcondon
1m 9s main
main
1m 9s