Skip to content

Actions: galaxyproject/galaxy_codex

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
946 workflow run results
946 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add interactive table
Lint #46: Pull request #22 opened by paulzierep
November 1, 2023 18:10 34s paulzierep:interactive_table
November 1, 2023 18:10 34s
Add tool stats
Lint #45: Pull request #21 synchronize by paulzierep
November 1, 2023 17:32 42s paulzierep:add-tool-stats
November 1, 2023 17:32 42s
Add tool stats
Lint #44: Pull request #21 synchronize by paulzierep
November 1, 2023 17:26 37s paulzierep:add-tool-stats
November 1, 2023 17:26 37s
Add tool stats
Lint #43: Pull request #21 synchronize by paulzierep
November 1, 2023 17:20 41s paulzierep:add-tool-stats
November 1, 2023 17:20 41s
Add tool stats
Lint #42: Pull request #21 synchronize by paulzierep
November 1, 2023 17:10 36s paulzierep:add-tool-stats
November 1, 2023 17:10 36s
Add tool stats
Lint #41: Pull request #21 opened by paulzierep
November 1, 2023 16:31 40s paulzierep:add-tool-stats
November 1, 2023 16:31 40s
Merge pull request #18 from bebatut/split_commands
Lint #40: Commit 30cb077 pushed by paulzierep
November 1, 2023 13:48 47s main
November 1, 2023 13:48 47s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #39: Pull request #18 synchronize by paulzierep
November 1, 2023 10:12 45s split_commands
November 1, 2023 10:12 45s
create the folder if needed
Lint #38: Commit c667c6e pushed by paulzierep
November 1, 2023 10:12 37s split_commands
November 1, 2023 10:12 37s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #37: Pull request #18 synchronize by nsoranzo
November 1, 2023 08:23 41s split_commands
November 1, 2023 08:23 41s
Write extracted tools only once
Lint #36: Commit 1bfbc2d pushed by nsoranzo
November 1, 2023 08:23 41s split_commands
November 1, 2023 08:23 41s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #35: Pull request #18 synchronize by nsoranzo
October 31, 2023 18:00 48s split_commands
October 31, 2023 18:00 48s
October 31, 2023 18:00 43s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #33: Pull request #18 synchronize by nsoranzo
October 31, 2023 17:08 43s split_commands
October 31, 2023 17:08 43s
Add missing type annotations
Lint #32: Commit 88c02a3 pushed by nsoranzo
October 31, 2023 17:08 42s split_commands
October 31, 2023 17:08 42s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #31: Pull request #18 synchronize by nsoranzo
October 31, 2023 16:47 43s split_commands
October 31, 2023 16:47 43s
bio.tools DNS entry is back
Lint #30: Commit 49c8a7a pushed by nsoranzo
October 31, 2023 16:47 42s split_commands
October 31, 2023 16:47 42s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #29: Pull request #18 synchronize by bebatut
October 31, 2023 14:56 38s split_commands
October 31, 2023 14:56 38s
Fix format col
Lint #28: Commit 2486e8d pushed by bebatut
October 31, 2023 14:56 43s split_commands
October 31, 2023 14:56 43s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #27: Pull request #18 synchronize by bebatut
October 31, 2023 14:53 39s split_commands
October 31, 2023 14:53 39s
Change CSV to TSV
Lint #26: Commit fcd978f pushed by bebatut
October 31, 2023 14:53 37s split_commands
October 31, 2023 14:53 37s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #25: Pull request #18 synchronize by nsoranzo
October 31, 2023 14:24 36s split_commands
October 31, 2023 14:24 36s
Fix type annotations + add .isort.cfg
Lint #24: Commit 9dfe539 pushed by nsoranzo
October 31, 2023 14:24 42s split_commands
October 31, 2023 14:24 42s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #23: Pull request #18 synchronize by bebatut
October 31, 2023 14:09 38s split_commands
October 31, 2023 14:09 38s
Update bin/extract_galaxy_tools.py
Lint #22: Commit b288fd4 pushed by bebatut
October 31, 2023 14:09 44s split_commands
October 31, 2023 14:09 44s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.