Skip to content

Actions: mbeddr/mbeddr.formal

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Merge pull request #88 from mbeddr/feature/migrate_to_enhanced_diagra… CI #854: Commit 0f9a354 pushed by mps-ci-buildbot
June 13, 2024 20:25 13m 37s merge/MPS-2022.3
merge/MPS-2022.3
June 13, 2024 20:25 13m 37s
Merge pull request #88 from mbeddr/feature/migrate_to_enhanced_diagra… CI #853: Commit 0f9a354 pushed by danielratiu
June 13, 2024 20:24 14m 35s maintenance/MPS-2022.2
maintenance/MPS-2022.2
June 13, 2024 20:24 14m 35s
feature/migrate to enhanced diagramming framework CI #852: Pull request #88 opened by danielratiu
June 13, 2024 20:02 13m 54s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 13, 2024 20:02 13m 54s
safety: ran automated migrations CI #851: Commit 6500dd9 pushed by danielratiu
June 12, 2024 19:54 38m 27s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 12, 2024 19:54 38m 27s
gradle.lockfile: updated dependencies CI #850: Commit 2c38460 pushed by danielratiu
June 10, 2024 18:39 14m 21s feature/migrate_to_enhanced_diagramming_framework
feature/migrate_to_enhanced_diagramming_framework
June 10, 2024 18:39 14m 21s
Merge pull request #85 from mbeddr/maintenance/MPS-2022.3_merge_2022.… CI #849: Commit 9caf234 pushed by sergej-koscejev
May 20, 2024 08:26 14m 32s merge/master
merge/master
May 20, 2024 08:26 14m 32s
Merge pull request #85 from mbeddr/maintenance/MPS-2022.3_merge_2022.… CI #848: Commit 9caf234 pushed by danielratiu
May 17, 2024 16:37 13m 51s maintenance/MPS-2022.3
maintenance/MPS-2022.3
May 17, 2024 16:37 13m 51s