Skip to content

Actions: gambitproject/gambit

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

351 bug check for chance information sets in mixed behavior profiles Linters and coding standards checks #386: Pull request #377 synchronize by rahulsavani
October 11, 2023 12:39 13m 46s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 12:39 13m 46s
351 bug check for chance information sets in mixed behavior profiles Build executables #428: Pull request #377 synchronize by rahulsavani
October 11, 2023 11:56 12m 27s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 12m 27s
351 bug check for chance information sets in mixed behavior profiles pygambit Python extension #467: Pull request #377 synchronize by rahulsavani
October 11, 2023 11:56 5m 22s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 5m 22s
351 bug check for chance information sets in mixed behavior profiles Linters and coding standards checks #385: Pull request #377 synchronize by rahulsavani
October 11, 2023 11:56 5m 35s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 5m 35s
requested changes after review of pull request; entry added to Change… pygambit Python extension #466: Commit 7b66875 pushed by rahulsavani
October 11, 2023 11:56 5m 35s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 5m 35s
requested changes after review of pull request; entry added to Change… Build executables #427: Commit 7b66875 pushed by rahulsavani
October 11, 2023 11:56 10m 29s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 10m 29s
requested changes after review of pull request; entry added to Change… Linters and coding standards checks #384: Commit 7b66875 pushed by rahulsavani
October 11, 2023 11:56 4m 17s 351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
351-bug-check-for-chance-information-sets-in-mixed-behavior-profiles
October 11, 2023 11:56 4m 17s
Merge remote-tracking branch 'origin/master' into ENH-353-initialisat… Linters and coding standards checks #382: Commit e985714 pushed by VarsosC
October 10, 2023 15:16 4m 32s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 4m 32s
Merge remote-tracking branch 'origin/master' into ENH-353-initialisat… pygambit Python extension #464: Commit e985714 pushed by VarsosC
October 10, 2023 15:16 4m 34s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 4m 34s
Merge remote-tracking branch 'origin/master' into ENH-353-initialisat… Build executables #425: Commit e985714 pushed by VarsosC
October 10, 2023 15:16 11m 33s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 11m 33s
ENH-353-initialisation of mixed profiles on creation Build executables #426: Pull request #368 synchronize by VarsosC
October 10, 2023 15:16 11m 55s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 11m 55s
ENH-353-initialisation of mixed profiles on creation pygambit Python extension #465: Pull request #368 synchronize by VarsosC
October 10, 2023 15:16 4m 8s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 4m 8s
ENH-353-initialisation of mixed profiles on creation Linters and coding standards checks #383: Pull request #368 synchronize by VarsosC
October 10, 2023 15:16 4m 50s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 15:16 4m 50s
Resolve conflicts Linters and coding standards checks #381: Commit e91fce2 pushed by VarsosC
October 10, 2023 13:24 4m 22s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 13:24 4m 22s
Resolve conflicts Build executables #424: Commit e91fce2 pushed by VarsosC
October 10, 2023 13:24 14m 19s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 13:24 14m 19s
Resolve conflicts pygambit Python extension #463: Commit e91fce2 pushed by VarsosC
October 10, 2023 13:24 4m 18s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 13:24 4m 18s
num_nodes() instead of nodes() pygambit Python extension #462: Commit 8435cb7 pushed by VarsosC
October 10, 2023 10:24 3m 44s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 10:24 3m 44s
num_nodes() instead of nodes() Linters and coding standards checks #380: Commit 8435cb7 pushed by VarsosC
October 10, 2023 10:24 5m 54s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 10:24 5m 54s
num_nodes() instead of nodes() Build executables #423: Commit 8435cb7 pushed by VarsosC
October 10, 2023 10:24 10m 33s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 10, 2023 10:24 10m 33s
Linters and coding standards checks Linters and coding standards checks #379: by VarsosC
October 9, 2023 14:56 4m 49s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:56 4m 49s
Build executables Build executables #422: by VarsosC
October 9, 2023 14:56 11m 16s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:56 11m 16s
pygambit Python extension pygambit Python extension #461: by VarsosC
October 9, 2023 14:56 3m 43s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:56 3m 43s
pygambit Python extension pygambit Python extension #460: by VarsosC
October 9, 2023 14:08 3m 56s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:08 3m 56s
Linters and coding standards checks Linters and coding standards checks #378: by VarsosC
October 9, 2023 14:08 4m 25s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:08 4m 25s
Build executables Build executables #421: by VarsosC
October 9, 2023 14:08 8m 39s ENH-353-initialisation-of-mixed-profiles-on-creation
ENH-353-initialisation-of-mixed-profiles-on-creation
October 9, 2023 14:08 8m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.