Skip to content

Actions: discopop-project/discopop

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

463 improve interaction between optimizer and patch applicator DiscoPoP CI #3508: Pull request #465 synchronize by lukasrothenberger
December 18, 2023 08:02 2m 4s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 18, 2023 08:02 2m 4s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3507: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 15:59 1m 13s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 15:59 1m 13s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3506: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 15:43 1m 55s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 15:43 1m 55s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3505: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 14:34 2m 9s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 14:34 2m 9s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3504: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 13:32 1m 53s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 13:32 1m 53s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3503: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 11:56 2m 11s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 11:56 2m 11s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3502: Pull request #465 synchronize by lukasrothenberger
December 15, 2023 11:54 1m 1s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 11:54 1m 1s
463 improve interaction between optimizer and patch applicator DiscoPoP CI #3501: Pull request #465 opened by lukasrothenberger
December 15, 2023 11:48 16s 463-improve-interaction-between-optimizer-and-patch-applicator
463-improve-interaction-between-optimizer-and-patch-applicator
December 15, 2023 11:48 16s
Optimizer: System configuration file DiscoPoP CI #3500: Pull request #462 synchronize by lukasrothenberger
December 13, 2023 10:13 1m 54s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:13 1m 54s
Optimizer: System configuration file DiscoPoP CI #3499: Pull request #462 synchronize by lukasrothenberger
December 13, 2023 10:10 2m 2s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:10 2m 2s
Optimizer: System configuration file DiscoPoP CI #3498: Pull request #462 synchronize by lukasrothenberger
December 13, 2023 10:07 1m 3s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:07 1m 3s
Optimizer: System configuration file DiscoPoP CI #3497: Pull request #462 synchronize by lukasrothenberger
December 13, 2023 10:06 1m 0s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:06 1m 0s
Optimizer: System configuration file DiscoPoP CI #3496: Pull request #462 synchronize by lukasrothenberger
December 13, 2023 10:05 16s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:05 16s
Optimizer: System configuration file DiscoPoP CI #3495: Pull request #462 opened by lukasrothenberger
December 13, 2023 10:04 17s 461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
461-generate-a-dummy-system_informationjson-if-no-path-is-given-to-replace-the-hardcoded-default-configuration
December 13, 2023 10:04 17s
fix(file_mapping): make more robust to deletions and invalid file paths DiscoPoP CI #3494: Pull request #459 opened by lukasrothenberger
December 8, 2023 09:53 2m 13s 458-filemapping-not-robust-wrt-deleted-files
458-filemapping-not-robust-wrt-deleted-files
December 8, 2023 09:53 2m 13s
456 introduce dot discopop envar for use during static analysis and runtime DiscoPoP CI #3493: Pull request #457 opened by lukasrothenberger
December 6, 2023 12:08 2m 20s 456-introduce-dot_discopop-envar-for-use-during-static-analysis-and-runtime
456-introduce-dot_discopop-envar-for-use-during-static-analysis-and-runtime
December 6, 2023 12:08 2m 20s
Experimental: Optimizer: exhaustive and evolutionary optimization DiscoPoP CI #3492: Pull request #455 synchronize by lukasrothenberger
December 6, 2023 10:22 2m 12s optimizer
optimizer
December 6, 2023 10:22 2m 12s
Experimental: Optimizer: exhaustive and evolutionary optimization DiscoPoP CI #3491: Pull request #455 opened by lukasrothenberger
December 6, 2023 09:42 53s optimizer
optimizer
December 6, 2023 09:42 53s
Prevent modeling state explosion DiscoPoP CI #3490: Pull request #454 synchronize by lukasrothenberger
December 5, 2023 15:58 2m 14s prevent_modeling_state_explosion
prevent_modeling_state_explosion
December 5, 2023 15:58 2m 14s
Prevent modeling state explosion DiscoPoP CI #3489: Pull request #454 synchronize by lukasrothenberger
December 5, 2023 15:57 16s prevent_modeling_state_explosion
prevent_modeling_state_explosion
December 5, 2023 15:57 16s
Prevent modeling state explosion DiscoPoP CI #3488: Pull request #454 opened by lukasrothenberger
December 5, 2023 15:56 17s prevent_modeling_state_explosion
prevent_modeling_state_explosion
December 5, 2023 15:56 17s
Rename: PETGraph -> PEGraph DiscoPoP CI #3487: Pull request #453 synchronize by lukasrothenberger
December 5, 2023 11:01 2m 26s rename/PETGraph
rename/PETGraph
December 5, 2023 11:01 2m 26s
Rename: PETGraph -> PEGraph DiscoPoP CI #3486: Pull request #453 opened by lukasrothenberger
December 5, 2023 10:54 1m 52s rename/PETGraph
rename/PETGraph
December 5, 2023 10:54 1m 52s
fix(patch_generator): added deprecated flag for VSCX compatibility DiscoPoP CI #3485: Pull request #452 opened by lukasrothenberger
December 4, 2023 11:36 2m 6s fix/patch_generator/backwards_compatibility
fix/patch_generator/backwards_compatibility
December 4, 2023 11:36 2m 6s
Updated discopop_optimizer DiscoPoP CI #3484: Pull request #450 synchronize by lukasrothenberger
November 29, 2023 10:36 1m 53s test/new_optimizer
test/new_optimizer
November 29, 2023 10:36 1m 53s