Skip to content

Actions: sdcondon/SCFirstOrderLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255 workflow runs
255 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
roadmap update Validation Build #188: Commit e3b013b pushed by sdcondon
August 4, 2024 19:22 2m 27s main
main
August 4, 2024 19:22 2m 27s
roadmap update Deploy Docs to GitHub pages #56: Commit e3b013b pushed by sdcondon
August 4, 2024 19:22 56s main
main
August 4, 2024 19:22 56s
roadmap updates Validation Build #187: Commit a28a5ed pushed by sdcondon
August 4, 2024 19:16 2m 41s main
main
August 4, 2024 19:16 2m 41s
roadmap updates Deploy Docs to GitHub pages #55: Commit a28a5ed pushed by sdcondon
August 4, 2024 19:16 1m 0s main
main
August 4, 2024 19:16 1m 0s
7.0.0-pre.1 Push NuGet Packages #18: Release 7.0.0-pre.1 published by sdcondon
August 3, 2024 12:52 3m 49s
August 3, 2024 12:52 3m 49s
xml doc update Validation Build #186: Commit 5385009 pushed by sdcondon
August 3, 2024 12:37 2m 31s main
main
August 3, 2024 12:37 2m 31s
xml doc update Deploy Docs to GitHub pages #54: Commit 5385009 pushed by sdcondon
August 3, 2024 12:37 1m 2s main
main
August 3, 2024 12:37 1m 2s
xml docs Validation Build #185: Commit 0e36d60 pushed by sdcondon
August 3, 2024 08:40 2m 35s main
main
August 3, 2024 08:40 2m 35s
made the tree visualisers a little less shouty Validation Build #184: Commit 40b5a49 pushed by sdcondon
August 2, 2024 22:35 3m 1s main
main
August 2, 2024 22:35 3m 1s
made the tree visualisers a little less shouty Deploy Docs to GitHub pages #53: Commit 40b5a49 pushed by sdcondon
August 2, 2024 22:35 1m 15s main
main
August 2, 2024 22:35 1m 15s
yet more visualiser faffery Deploy Docs to GitHub pages #52: Commit 561d45e pushed by sdcondon
August 1, 2024 18:11 1m 37s main
main
August 1, 2024 18:11 1m 37s
yet more visualiser faffery Validation Build #183: Commit 561d45e pushed by sdcondon
August 1, 2024 18:11 2m 7s main
main
August 1, 2024 18:11 2m 7s
more index visualiser tweaks Deploy Docs to GitHub pages #51: Commit b5b8487 pushed by sdcondon
August 1, 2024 17:02 1m 22s main
main
August 1, 2024 17:02 1m 22s
more index visualiser tweaks Validation Build #182: Commit b5b8487 pushed by sdcondon
August 1, 2024 17:02 2m 34s main
main
August 1, 2024 17:02 2m 34s
term index visualiser tweaks Validation Build #181: Commit bf2a6f6 pushed by sdcondon
August 1, 2024 16:44 1m 30s main
main
August 1, 2024 16:44 1m 30s
term index visualiser tweaks Deploy Docs to GitHub pages #50: Commit bf2a6f6 pushed by sdcondon
August 1, 2024 16:44 1m 21s main
main
August 1, 2024 16:44 1m 21s
lab docs corrections Deploy Docs to GitHub pages #49: Commit a805f3d pushed by sdcondon
July 31, 2024 22:35 1m 8s main
main
July 31, 2024 22:35 1m 8s
lab docs corrections Validation Build #180: Commit a805f3d pushed by sdcondon
July 31, 2024 22:35 2m 47s main
main
July 31, 2024 22:35 2m 47s
minor docs updates Deploy Docs to GitHub pages #48: Commit c2a03b4 pushed by sdcondon
July 31, 2024 22:30 1m 22s main
main
July 31, 2024 22:30 1m 22s
minor docs updates Validation Build #179: Commit c2a03b4 pushed by sdcondon
July 31, 2024 22:30 1m 49s main
main
July 31, 2024 22:30 1m 49s
First pass of interactive path index and discrimination tree visualis… Deploy Docs to GitHub pages #47: Commit 14ff363 pushed by sdcondon
July 30, 2024 23:08 1m 26s main
main
July 30, 2024 23:08 1m 26s
First pass of interactive path index and discrimination tree visualis… Validation Build #178: Commit 14ff363 pushed by sdcondon
July 30, 2024 23:08 2m 54s main
main
July 30, 2024 23:08 2m 54s
TODO Validation Build #177: Commit 4f0e306 pushed by sdcondon
July 27, 2024 15:24 2m 30s main
main
July 27, 2024 15:24 2m 30s
TODO, for completeness.. Validation Build #176: Commit d40827d pushed by sdcondon
July 27, 2024 15:21 3m 1s main
main
July 27, 2024 15:21 3m 1s
CNFClause Subsumes/IsSubsumedBy extension method first pass Validation Build #175: Commit 5648f10 pushed by sdcondon
July 27, 2024 15:17 2m 28s main
main
July 27, 2024 15:17 2m 28s