Skip to content

Actions: discopop-project/discopop

Actions

DiscoPoP CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
212 workflow run results
212 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat/patch management DiscoPoP CI #3454: Pull request #432 synchronize by lukasrothenberger
November 6, 2023 08:58 2m 3s feat/patch_management
feat/patch_management
November 6, 2023 08:58 2m 3s
Feat/patch management DiscoPoP CI #3453: Pull request #432 synchronize by lukasrothenberger
November 6, 2023 08:17 2m 27s feat/patch_management
feat/patch_management
November 6, 2023 08:17 2m 27s
build(deps): bump pip from 23.2.1 to 23.3 DiscoPoP CI #3452: Pull request #433 opened by dependabot bot
November 2, 2023 21:51 3m 0s dependabot/pip/pip-23.3
dependabot/pip/pip-23.3
November 2, 2023 21:51 3m 0s
Feat/patch management DiscoPoP CI #3451: Pull request #432 opened by lukasrothenberger
November 1, 2023 22:06 2m 43s feat/patch_management
feat/patch_management
November 1, 2023 22:06 2m 43s
Feat/line mapping initialization DiscoPoP CI #3450: Pull request #431 synchronize by lukasrothenberger
November 1, 2023 13:10 3m 46s feat/line_mapping_init
feat/line_mapping_init
November 1, 2023 13:10 3m 46s
Feat/line mapping initialization DiscoPoP CI #3449: Pull request #431 opened by lukasrothenberger
November 1, 2023 12:34 2m 33s feat/line_mapping_init
feat/line_mapping_init
November 1, 2023 12:34 2m 33s
Feat/patch applicator DiscoPoP CI #3448: Pull request #429 opened by lukasrothenberger
October 26, 2023 10:06 3m 23s feat/patch_applicator
feat/patch_applicator
October 26, 2023 10:06 3m 23s
Feat/patch generator DiscoPoP CI #3447: Pull request #427 synchronize by lukasrothenberger
October 26, 2023 07:26 2m 40s feat/patch_generator
feat/patch_generator
October 26, 2023 07:26 2m 40s
Feat/patch generator DiscoPoP CI #3446: Pull request #427 synchronize by lukasrothenberger
October 25, 2023 16:13 3m 29s feat/patch_generator
feat/patch_generator
October 25, 2023 16:13 3m 29s
Feat/patch generator DiscoPoP CI #3445: Pull request #427 opened by lukasrothenberger
October 25, 2023 16:11 3m 0s feat/patch_generator
feat/patch_generator
October 25, 2023 16:11 3m 0s
Feature: assign unique ids to identified patterns DiscoPoP CI #3444: Pull request #426 synchronize by lukasrothenberger
October 25, 2023 14:44 3m 13s explorer/patterns/unique_ids
explorer/patterns/unique_ids
October 25, 2023 14:44 3m 13s
Feature: assign unique ids to identified patterns DiscoPoP CI #3443: Pull request #426 opened by lukasrothenberger
October 25, 2023 14:38 2m 42s explorer/patterns/unique_ids
explorer/patterns/unique_ids
October 25, 2023 14:38 2m 42s