Skip to content

Actions: SpiNNakerManchester/SupportScripts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #69 from SpiNNakerManchester/pylint_default
verify #80: Commit f15a7b6 pushed by Christian-B
January 15, 2024 16:55 16s master
January 15, 2024 16:55 16s
add pragma
verify #79: Commit 102b7fd pushed by Christian-B
January 15, 2024 16:50 19s pylint_default
January 15, 2024 16:50 19s
January 15, 2024 16:22 19s
merged in master
verify #77: Commit dbeb759 pushed by Christian-B
January 12, 2024 06:51 15s overrides_check
January 12, 2024 06:51 15s
unify settings between strict and relaxed
verify #76: Commit c3032ca pushed by Christian-B
January 11, 2024 11:54 15s master
January 11, 2024 11:54 15s
fix syntax
verify #75: Commit 32b70cb pushed by Christian-B
January 11, 2024 11:25 18s master
January 11, 2024 11:25 18s
provided strict and relaxed global files
verify #74: Commit ef6bc68 pushed by Christian-B
January 11, 2024 11:22 20s master
January 11, 2024 11:22 20s
merged in master
verify #73: Commit 72c4390 pushed by Christian-B
January 11, 2024 08:09 22s overrides_check
January 11, 2024 08:09 22s
fix virtual
verify #72: Commit ebab00b pushed by Christian-B
January 9, 2024 16:10 22s master
January 9, 2024 16:10 22s
Also list these
verify #71: Commit 2b11a53 pushed by rowleya
January 4, 2024 15:54 16s more_jnlp
January 4, 2024 15:54 16s
Rats
verify #70: Commit eabd2bc pushed by rowleya
January 4, 2024 15:52 19s more_jnlp
January 4, 2024 15:52 19s
Add local jars and jnlp maker
verify #69: Commit 8e93480 pushed by rowleya
January 4, 2024 15:49 19s more_jnlp
January 4, 2024 15:49 19s
spelling
verify #68: Commit d0a7d24 pushed by Christian-B
December 19, 2023 12:18 24s overrides_check
December 19, 2023 12:18 24s
TYPE_OVERRIDES environment variable
verify #67: Commit de8b03f pushed by Christian-B
December 19, 2023 11:35 15s master
December 19, 2023 11:35 15s
ProTip! You can narrow down the results and go further in time using created:<2023-12-19 or the other filters available.