Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
349 workflow runs
349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feature/tree map for goal structures CI #877: Pull request #91 synchronize by danielratiu
July 4, 2024 21:17 13m 49s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 21:17 13m 49s
safety.tutorial: mini fixes CI #876: Commit 672850b pushed by danielratiu
July 4, 2024 21:17 14m 33s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 21:17 14m 33s
Merge pull request #89 from mbeddr/merge/MPS-2022.3 CI #875: Commit 8689e2c pushed by mps-ci-buildbot
July 4, 2024 21:03 13m 25s merge/master
merge/master
July 4, 2024 21:03 13m 25s
Merge pull request #89 from mbeddr/merge/MPS-2022.3 CI #874: Commit 8689e2c pushed by danielratiu
July 4, 2024 21:02 13m 16s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 4, 2024 21:02 13m 16s
Merge pull request #89 from mbeddr/merge/MPS-2022.3 PR to merge into the next version #14: Commit 8689e2c pushed by danielratiu
July 4, 2024 21:02 15s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 4, 2024 21:02 15s
feature/tree map for goal structures CI #873: Pull request #91 synchronize by danielratiu
July 4, 2024 20:57 14m 21s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:57 14m 21s
build: fixed dependencies to mpsqa - in build.gradle CI #872: Commit 160f967 pushed by danielratiu
July 4, 2024 20:57 14m 47s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:57 14m 47s
feature/tree map for goal structures CI #871: Pull request #91 synchronize by danielratiu
July 4, 2024 20:36 15m 57s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:36 15m 57s
build: fixed dependencies to mpsqa CI #870: Commit c08b2ae pushed by danielratiu
July 4, 2024 20:36 15m 57s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:36 15m 57s
feature/tree map for goal structures CI #869: Pull request #91 synchronize by danielratiu
July 4, 2024 20:15 15m 28s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:15 15m 28s
build: fixed dependencies to mpsqa CI #868: Commit 3d331d9 pushed by danielratiu
July 4, 2024 20:15 15m 41s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 20:15 15m 41s
feature/tree map for goal structures CI #867: Pull request #91 synchronize by danielratiu
July 4, 2024 19:40 14m 20s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 19:40 14m 20s
build: fixed dependencies to mpsqa in distribution CI #866: Commit 6cdff7f pushed by danielratiu
July 4, 2024 19:40 14m 54s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 19:40 14m 54s
feature/tree map for goal structures CI #865: Pull request #91 synchronize by danielratiu
July 4, 2024 18:31 13m 43s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 18:31 13m 43s
build: fixed dependencies to mpsqa CI #864: Commit e7048fc pushed by danielratiu
July 4, 2024 18:31 13m 50s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 18:31 13m 50s
Merge maintenance/MPS-2022.2 into maintenance/MPS-2022.3 CI #863: Pull request #89 synchronize by danielratiu
July 4, 2024 18:25 14m 17s merge/MPS-2022.3
merge/MPS-2022.3
July 4, 2024 18:25 14m 17s
Merge remote-tracking branch 'origin/maintenance/MPS-2022.3' into mer… CI #862: Commit 0fcd0ad pushed by danielratiu
July 4, 2024 18:25 13m 30s merge/MPS-2022.3
merge/MPS-2022.3
July 4, 2024 18:25 13m 30s
feature/tree map for goal structures CI #861: Pull request #91 opened by danielratiu
July 4, 2024 18:18 2m 23s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 18:18 2m 23s
build: add "com.mbeddr.formal.safety.argument.visualisation" CI #860: Commit bddceb2 pushed by danielratiu
July 4, 2024 18:17 3m 23s feature/tree_map_for_goal_structures
feature/tree_map_for_goal_structures
July 4, 2024 18:17 3m 23s
Merge pull request #90 from mbeddr/feature/migrate_to_enhanced_diagra… CI #859: Commit 438cd3f pushed by mps-ci-buildbot
June 13, 2024 21:03 14m 1s merge/MPS-2022.3
merge/MPS-2022.3
June 13, 2024 21:03 14m 1s
Merge pull request #90 from mbeddr/feature/migrate_to_enhanced_diagra… CI #858: Commit 438cd3f pushed by danielratiu
June 13, 2024 21:03 13m 38s maintenance/MPS-2022.2
maintenance/MPS-2022.2
June 13, 2024 21:03 13m 38s
Merge pull request #90 from mbeddr/feature/migrate_to_enhanced_diagra… PR to merge into the next version #13: Commit 438cd3f pushed by danielratiu
June 13, 2024 21:03 11s maintenance/MPS-2022.2
maintenance/MPS-2022.2
June 13, 2024 21:03 11s
feature/fixed the migration to enhanced diagramming framework for fault trees CI #857: Pull request #90 opened by danielratiu
June 13, 2024 20:48 13m 56s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 13, 2024 20:48 13m 56s
ft: fixed layout CI #856: Commit 08422e7 pushed by danielratiu
June 13, 2024 20:46 14m 56s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 13, 2024 20:46 14m 56s
ft: fixed layout CI #855: Commit 7b9c22f pushed by danielratiu
June 13, 2024 20:32 13m 32s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 13, 2024 20:32 13m 32s