Skip to content

Actions: galaxyproject/galaxy_codex

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
751 workflow runs
751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #21: Pull request #18 synchronize by bebatut
October 31, 2023 14:05 40s split_commands
October 31, 2023 14:05 40s
Update extract_galaxy_tools.py
Lint #20: Commit 9e29a29 pushed by bebatut
October 31, 2023 14:05 42s split_commands
October 31, 2023 14:05 42s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #19: Pull request #18 synchronize by bebatut
October 31, 2023 14:03 31s split_commands
October 31, 2023 14:03 31s
Update extract_galaxy_tools.py
Lint #18: Commit 4f5c5be pushed by bebatut
October 31, 2023 14:03 31s split_commands
October 31, 2023 14:03 31s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #17: Pull request #18 synchronize by bebatut
October 31, 2023 14:02 32s split_commands
October 31, 2023 14:02 32s
Apply suggestions from code review
Lint #16: Commit d36aeb7 pushed by bebatut
October 31, 2023 14:02 29s split_commands
October 31, 2023 14:02 29s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #15: Pull request #18 synchronize by bebatut
October 31, 2023 14:01 31s split_commands
October 31, 2023 14:01 31s
Restructure check_categories function
Lint #14: Commit eff7c73 pushed by bebatut
October 31, 2023 14:01 29s split_commands
October 31, 2023 14:01 29s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #13: Pull request #18 synchronize by bebatut
October 31, 2023 13:56 30s split_commands
October 31, 2023 13:56 30s
Apply suggestions from code review
Lint #12: Commit 183a102 pushed by bebatut
October 31, 2023 13:56 25s split_commands
October 31, 2023 13:56 25s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #11: Pull request #18 synchronize by bebatut
October 31, 2023 13:51 38s split_commands
October 31, 2023 13:51 38s
Fix filtering by categories
Lint #10: Commit 307917b pushed by bebatut
October 31, 2023 13:51 26s split_commands
October 31, 2023 13:51 26s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #9: Pull request #18 synchronize by bebatut
October 31, 2023 12:16 31s split_commands
October 31, 2023 12:16 31s
Fix linting
Lint #8: Commit b806367 pushed by bebatut
October 31, 2023 12:16 28s split_commands
October 31, 2023 12:16 28s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #7: Pull request #18 synchronize by bebatut
October 31, 2023 12:12 30s split_commands
October 31, 2023 12:12 30s
Fix linting
Lint #6: Commit f559959 pushed by bebatut
October 31, 2023 12:12 40s split_commands
October 31, 2023 12:12 40s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #5: Pull request #18 synchronize by bebatut
October 31, 2023 12:08 32s split_commands
October 31, 2023 12:08 32s
Fix linting
Lint #4: Commit 64f584b pushed by bebatut
October 31, 2023 12:08 32s split_commands
October 31, 2023 12:08 32s
Split script into 2 commands: 1 to extract, 1 to filter tools
Lint #3: Pull request #18 opened by bebatut
October 31, 2023 12:00 33s split_commands
October 31, 2023 12:00 33s
October 31, 2023 11:59 36s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.