Skip to content

Actions: thomasWeise/moptipyapps

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #59: by github-pages bot
August 30, 2023 08:30 39s
August 30, 2023 08:30 39s
hopefully fixed errors in documentation
make build #63: Commit fc2327b pushed by thomasWeise
August 30, 2023 07:56 34m 7s main
August 30, 2023 07:56 34m 7s
added surrogate model-based controller optimization for dynamic control
make build #62: Commit 030a401 pushed by thomasWeise
August 30, 2023 03:43 33m 3s main
August 30, 2023 03:43 33m 3s
pages build and deployment
pages-build-deployment #58: by github-pages bot
August 29, 2023 00:31 40s
August 29, 2023 00:31 40s
fixed strange issue when doing `pip --no-input --timeout 360 --retrie…
make build #61: Commit 07f82f3 pushed by thomasWeise
August 28, 2023 23:41 49m 41s main
August 28, 2023 23:41 49m 41s
pages build and deployment
pages-build-deployment #57: by github-pages bot
August 19, 2023 13:07 38s
August 19, 2023 13:07 38s
now using code generation for ANNs
make build #60: Commit 4b324dd pushed by thomasWeise
August 19, 2023 12:32 35m 2s main
August 19, 2023 12:32 35m 2s
pages build and deployment
pages-build-deployment #56: by github-pages bot
August 18, 2023 06:12 32s
August 18, 2023 06:12 32s
pages build and deployment
pages-build-deployment #55: by github-pages bot
August 18, 2023 05:54 39s
August 18, 2023 05:54 39s
fixed another bug
make build #59: Commit b08b530 pushed by thomasWeise
August 18, 2023 05:40 32m 1s 0.8.20
August 18, 2023 05:40 32m 1s
pages build and deployment
pages-build-deployment #54: by github-pages bot
August 18, 2023 05:21 36s
August 18, 2023 05:21 36s
fixed another bug
make build #58: Commit b08b530 pushed by thomasWeise
August 18, 2023 05:12 42m 59s main
August 18, 2023 05:12 42m 59s
more tests and minor improvements and fix for potential integer overf…
make build #57: Commit 7c63eb4 pushed by thomasWeise
August 18, 2023 04:45 35m 31s 0.8.19
August 18, 2023 04:45 35m 31s
pages build and deployment
pages-build-deployment #53: by github-pages bot
August 18, 2023 04:44 35s
August 18, 2023 04:44 35s
more tests and minor improvements and fix for potential integer overf…
make build #56: Commit 7c63eb4 pushed by thomasWeise
August 18, 2023 04:06 37m 50s main
August 18, 2023 04:06 37m 50s
pages build and deployment
pages-build-deployment #52: by github-pages bot
August 12, 2023 21:46 35s
August 12, 2023 21:46 35s
...now the actual version stepping
make build #55: Commit b776a15 pushed by thomasWeise
August 12, 2023 21:15 30m 25s 0.8.18
August 12, 2023 21:15 30m 25s
pages build and deployment
pages-build-deployment #51: by github-pages bot
August 12, 2023 12:01 35s
August 12, 2023 12:01 35s
pages build and deployment
pages-build-deployment #50: by github-pages bot
August 12, 2023 11:46 25s
August 12, 2023 11:46 25s
...now the actual version stepping
make build #54: Commit b776a15 pushed by thomasWeise
August 12, 2023 11:27 33m 36s main
August 12, 2023 11:27 33m 36s
version stepping to keep up-to-date with moptipy
make build #53: Commit 249fec1 pushed by thomasWeise
August 12, 2023 11:06 40m 0s main
August 12, 2023 11:06 40m 0s
pages build and deployment
pages-build-deployment #49: by github-pages bot
July 31, 2023 05:35 39s
July 31, 2023 05:35 39s
pages build and deployment
pages-build-deployment #48: by github-pages bot
July 31, 2023 05:35 19s
July 31, 2023 05:35 19s
July 31, 2023 05:05 30m 3s
July 31, 2023 05:04 31m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.