Skip to content

Actions: airbus/scikit-decide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,116 workflow runs
1,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correct CGP behaviour regarding verbosity and Restorable API 🔨 Build scikit-decide #1509: Pull request #275 opened by nhuet
October 9, 2023 14:14 41m 51s nhuet:cgp
nhuet:cgp
October 9, 2023 14:14 41m 51s
Add --all-files option to pre-commit command to avoid skipping the test 🔨 Build scikit-decide #1508: Pull request #273 opened by nhuet
October 9, 2023 13:13 38m 45s nhuet:precommitall
nhuet:precommitall
October 9, 2023 13:13 38m 45s
Reorganize parallel domains 🔨 Build scikit-decide #1507: Pull request #272 synchronize by nhuet
October 9, 2023 12:32 40m 13s nhuet:reorg_parallel_domain
nhuet:reorg_parallel_domain
October 9, 2023 12:32 40m 13s
Reorganize parallel domains 🔨 Build scikit-decide #1506: Pull request #272 synchronize by nhuet
October 9, 2023 09:39 22m 32s nhuet:reorg_parallel_domain
nhuet:reorg_parallel_domain
October 9, 2023 09:39 22m 32s
Reorganize parallel domains 🔨 Build scikit-decide #1505: Pull request #272 opened by nhuet
October 9, 2023 09:38 1m 1s nhuet:reorg_parallel_domain
nhuet:reorg_parallel_domain
October 9, 2023 09:38 1m 1s
🔨 Build scikit-decide 🔨 Build scikit-decide #1504: Scheduled
October 9, 2023 01:58 18m 48s master
master
October 9, 2023 01:58 18m 48s
pages build and deployment pages-build-deployment #544: by github-pages bot
October 8, 2023 02:37 36s gh-pages
gh-pages
October 8, 2023 02:37 36s
🔨 Build scikit-decide 🔨 Build scikit-decide #1503: Scheduled
October 8, 2023 02:01 36m 18s master
master
October 8, 2023 02:01 36m 18s
pages build and deployment pages-build-deployment #543: by github-pages bot
October 7, 2023 02:36 42s gh-pages
gh-pages
October 7, 2023 02:36 42s
🔨 Build scikit-decide 🔨 Build scikit-decide #1502: Scheduled
October 7, 2023 01:57 39m 12s master
master
October 7, 2023 01:57 39m 12s
pages build and deployment pages-build-deployment #542: by github-pages bot
October 6, 2023 02:38 37s gh-pages
gh-pages
October 6, 2023 02:38 37s
🔨 Build scikit-decide 🔨 Build scikit-decide #1501: Scheduled
October 6, 2023 01:58 39m 52s master
master
October 6, 2023 01:58 39m 52s
pages build and deployment pages-build-deployment #541: by github-pages bot
October 5, 2023 02:41 36s gh-pages
gh-pages
October 5, 2023 02:41 36s
🔨 Build scikit-decide 🔨 Build scikit-decide #1500: Scheduled
October 5, 2023 02:01 40m 13s master
master
October 5, 2023 02:01 40m 13s
pages build and deployment pages-build-deployment #540: by github-pages bot
October 4, 2023 02:36 43s gh-pages
gh-pages
October 4, 2023 02:36 43s
🔨 Build scikit-decide 🔨 Build scikit-decide #1499: Scheduled
October 4, 2023 02:00 36m 30s master
master
October 4, 2023 02:00 36m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-10-04 or the other filters available.