Skip to content

Actions: artificial-scientist-lab/PyTheus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
adapted tests Checks #142: Pull request #30 synchronize by MarioKrenn6240
May 10, 2024 12:14 1m 28s main
main
May 10, 2024 12:14 1m 28s
Fully defined initial graphs Checks #141: Pull request #37 opened by p-s-schmidt
February 23, 2024 16:01 1m 31s p-s-schmidt:fullyDefinedInitialGraphs
p-s-schmidt:fullyDefinedInitialGraphs
February 23, 2024 16:01 1m 31s
adapted tests Checks #140: Pull request #30 synchronize by soerenarlt
February 14, 2024 10:14 1m 32s main
main
February 14, 2024 10:14 1m 32s
adapted tests Checks #139: Pull request #30 synchronize by MarioKrenn6240
December 12, 2023 14:04 1m 44s main
main
December 12, 2023 14:04 1m 44s
adapted tests Checks #138: Pull request #30 synchronize by cruizgo
November 16, 2023 14:04 1m 41s main
main
November 16, 2023 14:04 1m 41s
adapted tests Checks #137: Pull request #30 synchronize by cruizgo
November 16, 2023 13:46 1m 24s main
main
November 16, 2023 13:46 1m 24s
adapted tests Checks #136: Pull request #30 synchronize by soerenarlt
November 16, 2023 12:46 1m 43s main
main
November 16, 2023 12:46 1m 43s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #135: Pull request #35 synchronize by mahmoudifar
November 15, 2023 18:43 1m 44s mahmoudifar:main
mahmoudifar:main
November 15, 2023 18:43 1m 44s
adapted tests Checks #134: Pull request #30 synchronize by cruizgo
November 15, 2023 16:23 2m 17s main
main
November 15, 2023 16:23 2m 17s
adapted tests Checks #133: Pull request #30 synchronize by soerenarlt
November 15, 2023 15:08 2m 3s main
main
November 15, 2023 15:08 2m 3s
adapted tests Checks #132: Pull request #30 synchronize by soerenarlt
November 15, 2023 14:32 1m 37s main
main
November 15, 2023 14:32 1m 37s
adapted tests Checks #131: Pull request #30 synchronize by soerenarlt
November 14, 2023 12:56 1m 26s main
main
November 14, 2023 12:56 1m 26s
adapted tests Checks #130: Pull request #30 synchronize by soerenarlt
November 10, 2023 10:33 1m 32s main
main
November 10, 2023 10:33 1m 32s
adapted tests Checks #129: Pull request #30 synchronize by soerenarlt
November 10, 2023 09:48 1m 35s main
main
November 10, 2023 09:48 1m 35s
adapted tests Checks #128: Pull request #30 synchronize by cruizgo
November 9, 2023 15:29 2m 1s main
main
November 9, 2023 15:29 2m 1s
adapted tests Checks #127: Pull request #30 synchronize by cruizgo
November 9, 2023 15:12 1m 39s main
main
November 9, 2023 15:12 1m 39s
adapted tests Checks #126: Pull request #30 synchronize by cruizgo
November 9, 2023 14:25 1m 36s main
main
November 9, 2023 14:25 1m 36s
adapted tests Checks #125: Pull request #30 synchronize by cruizgo
November 9, 2023 14:18 1m 35s main
main
November 9, 2023 14:18 1m 35s
adapted tests Checks #124: Pull request #30 synchronize by cruizgo
November 7, 2023 09:57 1m 34s main
main
November 7, 2023 09:57 1m 34s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #123: Pull request #35 synchronize by mahmoudifar
October 19, 2023 14:03 1m 46s mahmoudifar:main
mahmoudifar:main
October 19, 2023 14:03 1m 46s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #122: Pull request #35 synchronize by mahmoudifar
October 19, 2023 13:31 2m 9s mahmoudifar:main
mahmoudifar:main
October 19, 2023 13:31 2m 9s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #121: Pull request #35 synchronize by mahmoudifar
October 13, 2023 10:45 1m 54s mahmoudifar:main
mahmoudifar:main
October 13, 2023 10:45 1m 54s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #120: Pull request #35 synchronize by mahmoudifar
October 8, 2023 19:48 2m 24s mahmoudifar:main
mahmoudifar:main
October 8, 2023 19:48 2m 24s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #119: Pull request #35 synchronize by mahmoudifar
October 5, 2023 09:28 1m 46s mahmoudifar:main
mahmoudifar:main
October 5, 2023 09:28 1m 46s
Moved the plotting tool to theusplot.py and added new features like drawing perfect matching of a graph Checks #118: Pull request #35 synchronize by mahmoudifar
October 4, 2023 17:43 1m 41s mahmoudifar:main
mahmoudifar:main
October 4, 2023 17:43 1m 41s