Skip to content

Actions: micom-dev/micom

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make highs work in the CI
Test and deploy #456: Pull request #146 synchronize by cdiener
October 31, 2023 22:55 1m 7s feature/highs_tests
October 31, 2023 22:55 1m 7s
Make highs work in the CI
Test and deploy #455: Pull request #146 synchronize by cdiener
October 31, 2023 22:50 1m 17s feature/highs_tests
October 31, 2023 22:50 1m 17s
Make highs work in the CI
Test and deploy #454: Pull request #146 synchronize by cdiener
October 31, 2023 22:44 1m 8s feature/highs_tests
October 31, 2023 22:44 1m 8s
pages build and deployment
pages-build-deployment #123: by github-pages bot
October 31, 2023 18:23 40s
October 31, 2023 18:23 40s
adjust release notes link
Test and deploy #453: Commit 5ec0dc2 pushed by cdiener
October 31, 2023 18:21 9m 22s main
October 31, 2023 18:21 9m 22s
adjust release notes link
Build and deploy docs #200: Commit 5ec0dc2 pushed by cdiener
October 31, 2023 18:21 2m 5s main
October 31, 2023 18:21 2m 5s
pages build and deployment
pages-build-deployment #122: by github-pages bot
October 29, 2023 19:55 36s
October 29, 2023 19:55 36s
Bump version: 0.32.5 → 0.33.0
Build and deploy docs #199: Commit 1fcd374 pushed by cdiener
October 29, 2023 19:53 2m 2s main
October 29, 2023 19:53 2m 2s
Bump version: 0.32.5 → 0.33.0
Test and deploy #452: Commit 1fcd374 pushed by cdiener
October 29, 2023 19:53 9m 20s v0.33.0
October 29, 2023 19:53 9m 20s
Bump version: 0.32.5 → 0.33.0
Test and deploy #451: Commit 1fcd374 pushed by cdiener
October 29, 2023 19:53 11m 9s main
October 29, 2023 19:53 11m 9s
pages build and deployment
pages-build-deployment #121: by github-pages bot
October 29, 2023 19:20 32s
October 29, 2023 19:20 32s
allow unifying ranks (#145)
Build and deploy docs #198: Commit 2858dd7 pushed by cdiener
October 29, 2023 19:19 1m 41s main
October 29, 2023 19:19 1m 41s
allow unifying ranks (#145)
Test and deploy #450: Commit 2858dd7 pushed by cdiener
October 29, 2023 19:19 9m 14s main
October 29, 2023 19:19 9m 14s
allow unifying ranks
Test and deploy #449: Pull request #145 synchronize by cdiener
October 27, 2023 21:57 7m 54s fix/taxon_prefixes
October 27, 2023 21:57 7m 54s
allow unifying ranks
Test and deploy #448: Pull request #145 synchronize by cdiener
October 27, 2023 21:49 4m 6s fix/taxon_prefixes
October 27, 2023 21:49 4m 6s
allow unifying ranks
Test and deploy #447: Pull request #145 opened by cdiener
October 27, 2023 21:19 4m 28s fix/taxon_prefixes
October 27, 2023 21:19 4m 28s
pages build and deployment
pages-build-deployment #120: by github-pages bot
October 27, 2023 16:30 36s
October 27, 2023 16:30 36s
Be less strict about medium setting (#143)
Build and deploy docs #197: Commit a467432 pushed by cdiener
October 27, 2023 16:28 2m 4s main
October 27, 2023 16:28 2m 4s
Be less strict about medium setting (#143)
Test and deploy #446: Commit a467432 pushed by cdiener
October 27, 2023 16:28 8m 50s main
October 27, 2023 16:28 8m 50s
Be less strict about medium setting
Test and deploy #445: Pull request #143 synchronize by cdiener
October 26, 2023 22:16 9m 53s fix/medium_warning
October 26, 2023 22:16 9m 53s
Be less strict about medium setting
Test and deploy #444: Pull request #143 synchronize by cdiener
October 26, 2023 22:15 8m 45s fix/medium_warning
October 26, 2023 22:15 8m 45s
pages build and deployment
pages-build-deployment #119: by github-pages bot
October 26, 2023 22:07 36s
October 26, 2023 22:07 36s
Be less strict about medium setting
Test and deploy #443: Pull request #143 synchronize by cdiener
October 26, 2023 22:05 10m 44s fix/medium_warning
October 26, 2023 22:05 10m 44s
Fix the grow docstring to mention the correct default strategy. (#142)
Build and deploy docs #196: Commit ce8fa57 pushed by cdiener
October 26, 2023 22:05 2m 20s main
October 26, 2023 22:05 2m 20s
Fix the grow docstring to mention the correct default strategy. (#142)
Test and deploy #442: Commit ce8fa57 pushed by cdiener
October 26, 2023 22:05 11m 44s main
October 26, 2023 22:05 11m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.