Skip to content

Actions: gambitproject/gambit

Actions

Linters and coding standards checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
2,408 workflow runs
2,408 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'master' into issue_945 Linters and coding standards checks #3859: Commit 390f2fb pushed by tturocy
4m 7s issue_945
issue_945
4m 7s
Enforce unique, nonempty labels for strategies Linters and coding standards checks #3858: Pull request #981 synchronize by tturocy
4m 39s d-kad:strategy-labels
d-kad:strategy-labels
4m 39s
Enforce unique, nonempty labels for players Linters and coding standards checks #3857: Pull request #979 synchronize by tturocy
4m 35s d-kad:player-labels
d-kad:player-labels
4m 35s
Small UX/layout improvement to dialog warning on unsaved changes (#980) Linters and coding standards checks #3856: Commit e02a610 pushed by tturocy
4m 8s master
master
4m 8s
Enforce unique, nonempty labels for strategies Linters and coding standards checks #3855: Pull request #981 opened by d-kad
5m 10s d-kad:strategy-labels
d-kad:strategy-labels
5m 10s
Small UX/layout improvement to dialog warning on unsaved changes Linters and coding standards checks #3854: Pull request #980 opened by tturocy
19s gui_closewarning
gui_closewarning
19s
Small UX/layout improvement to dialog warning on unsaved changes Linters and coding standards checks #3853: Commit 6bbee66 pushed by tturocy
4m 17s gui_closewarning
gui_closewarning
4m 17s
Improved UX for editing labels in GUI Linters and coding standards checks #3852: Pull request #966 synchronize by tturocy
19s issue_945
issue_945
19s
Correct uniqueness validation in node properties Linters and coding standards checks #3851: Commit 3be33ca pushed by tturocy
4m 9s issue_945
issue_945
4m 9s
Enforce unique, nonempty labels for players Linters and coding standards checks #3850: Pull request #979 synchronize by d-kad
4m 27s d-kad:player-labels
d-kad:player-labels
4m 27s
Enforce unique, nonempty labels for players Linters and coding standards checks #3849: Pull request #979 opened by d-kad
5m 16s d-kad:player-labels
d-kad:player-labels
5m 16s
Enforce optional, unique-when-present labels for nodes and informatio… Linters and coding standards checks #3848: Commit 49930f3 pushed by tturocy
4m 8s master
master
4m 8s
Enforce optional, unique-when-present labels for nodes and information sets Linters and coding standards checks #3847: Pull request #978 opened by d-kad
4m 9s d-kad:node-infoset-labels
d-kad:node-infoset-labels
4m 9s
Enforce unique, nonempty labels for game objects Linters and coding standards checks #3846: Pull request #977 opened by d-kad
4m 32s d-kad:unique-labels-pt2
d-kad:unique-labels-pt2
4m 32s
Fix a bug in catalog update and add catalog from MAS Linters and coding standards checks #3845: Pull request #974 synchronize by wyz2368
4m 17s wyz2368:fix/catalog-update-local-source
wyz2368:fix/catalog-update-local-source
4m 17s
Improved UX for editing labels in GUI Linters and coding standards checks #3844: Pull request #966 synchronize by tturocy
15s issue_945
issue_945
15s
Robustness of EditableLabelValue on revert edits Linters and coding standards checks #3843: Commit f4629f8 pushed by tturocy
4m 22s issue_945
issue_945
4m 22s
Improved UX for editing labels in GUI Linters and coding standards checks #3842: Pull request #966 synchronize by tturocy
17s issue_945
issue_945
17s
Reconcile class renaming Linters and coding standards checks #3841: Commit aa526b6 pushed by tturocy
4m 28s issue_945
issue_945
4m 28s
Improve UX of GUI player label editing (#976) Linters and coding standards checks #3840: Commit 4d06f00 pushed by tturocy
4m 19s master
master
4m 19s
Improve UX of GUI player label editing Linters and coding standards checks #3839: Pull request #976 opened by tturocy
16s gui_playerlabel
gui_playerlabel
16s
Improve UX of GUI player label editing Linters and coding standards checks #3838: Commit a536df2 pushed by tturocy
4m 18s gui_playerlabel
gui_playerlabel
4m 18s
Improved UX for editing labels in GUI Linters and coding standards checks #3837: Pull request #966 synchronize by tturocy
16s issue_945
issue_945
16s
Guard against empty player labels Linters and coding standards checks #3836: Commit bb6263c pushed by tturocy
4m 20s issue_945
issue_945
4m 20s
Make label normalization mandatory and collision-safe, and retime it … Linters and coding standards checks #3835: Commit 469afe3 pushed by tturocy
4m 20s master
master
4m 20s