Skip to content

Actions: sdcondon/SCClassicalPlanning

Actions

Validation Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ValidationBuild.yml
23 workflow runs
23 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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
grr, typo. Validation Build #62: Commit 40bace5 pushed by sdcondon
6m 1s main
main
6m 1s
Oops. Overdue docs fix. Validation Build #61: Commit d0b1c24 pushed by sdcondon
3m 48s main
main
3m 48s
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
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
Updated SCFirstOrderLogic to latest. Validation Build #51: Commit 00e6ade pushed by sdcondon
3m 40s main
main
3m 40s
minor tweaks Validation Build #50: Commit 0f04db4 pushed by sdcondon
3m 46s main
main
3m 46s
Minor shuffling in docs site Validation Build #49: Commit 9ac9759 pushed by sdcondon
6m 40s main
main
6m 40s
docs site: disable spellcheck on lab inputs Validation Build #48: Commit d992960 pushed by sdcondon
7m 53s main
main
7m 53s
formatting Validation Build #47: Commit e25acf8 pushed by sdcondon
6m 49s main
main
6m 49s
docs site tweaks Validation Build #46: Commit 9f805ba pushed by sdcondon
7m 8s main
main
7m 8s
docs site: use css isolation for markdown stuff & embed markdown file… Validation Build #45: Commit b26a5e4 pushed by sdcondon
7m 2s main
main
7m 2s
github workflow update Validation Build #44: Commit 56fbd44 pushed by sdcondon
4m 7s main
main
4m 7s
docs site: added blazorise & respect system color mode preference Validation Build #43: Commit 26774d6 pushed by sdcondon
4m 43s main
main
4m 43s