Skip to content

Actions: mbeddr/mbeddr.formal

Actions

PR to merge into the next version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR-into-next-version.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #111 from mbeddr/feature/assurance_spis PR to merge into the next version #37: Commit e385b6f pushed by danielratiu
October 3, 2024 20:09 13s maintenance/MPS-2022.3
maintenance/MPS-2022.3
October 3, 2024 20:09 13s
Merge pull request #110 from mbeddr/merge/2022_2_into_2022_3 PR to merge into the next version #36: Commit 66bf2e5 pushed by danielratiu
September 5, 2024 08:43 14s maintenance/MPS-2022.3
maintenance/MPS-2022.3
September 5, 2024 08:43 14s
Merge pull request #109 from mbeddr/feature/format_description_of_arg… PR to merge into the next version #35: Commit d9ea15b pushed by danielratiu
August 13, 2024 15:23 15s maintenance/MPS-2022.3
maintenance/MPS-2022.3
August 13, 2024 15:23 15s
Merge pull request #107 from mbeddr/feature/format_description_of_arg… PR to merge into the next version #34: Commit 95d6451 pushed by danielratiu
August 11, 2024 20:52 18s maintenance/MPS-2022.3
maintenance/MPS-2022.3
August 11, 2024 20:52 18s
safety: fixed build PR to merge into the next version #33: Commit 2442dc1 pushed by danielratiu
July 26, 2024 06:53 17s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 26, 2024 06:53 17s
safety: mini cleanup PR to merge into the next version #32: Commit 81c5612 pushed by danielratiu
July 26, 2024 05:36 15s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 26, 2024 05:36 15s
Merge maintenance/MPS-2022.2 into maintenance/MPS-2022.3 (#105) PR to merge into the next version #31: Commit c3a107c pushed by danielratiu
July 25, 2024 21:33 14s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 25, 2024 21:33 14s
bugfix/jira integration mini fixes (#104) PR to merge into the next version #30: Commit a2a8014 pushed by danielratiu
July 25, 2024 20:50 16s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 25, 2024 20:50 16s
Merge maintenance/MPS-2022.2 into maintenance/MPS-2022.3 (#102) PR to merge into the next version #29: Commit dd29477 pushed by danielratiu
July 25, 2024 20:04 14s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 25, 2024 20:04 14s
Merge pull request #103 from mbeddr/bugfix/set_dependency_to_mbeddr_p… PR to merge into the next version #28: Commit 4632f38 pushed by danielratiu
July 24, 2024 08:14 17s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 24, 2024 08:14 17s
Merge pull request #101 from mbeddr/feature/integrate_jira_connection PR to merge into the next version #27: Commit 0294521 pushed by danielratiu
July 22, 2024 13:39 15s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 22, 2024 13:39 15s
Add 1000 to GitHub run number for 2022.3 PR to merge into the next version #26: Commit 7b9d562 pushed by sergej-koscejev
July 15, 2024 07:50 14s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 15, 2024 07:50 14s
Remove redundant VCS root PR to merge into the next version #25: Commit f329bd3 pushed by sergej-koscejev
July 13, 2024 13:23 15s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 13, 2024 13:23 15s
Merge pull request #100 from mbeddr/merge/MPS-2022.3 PR to merge into the next version #24: Commit 504fd1e pushed by sergej-koscejev
July 13, 2024 13:10 14s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 13, 2024 13:10 14s
Fix path to build-nusmv-tests.xml PR to merge into the next version #23: Commit e06fe95 pushed by sergej-koscejev
July 13, 2024 12:28 17s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 13, 2024 12:28 17s
Merge pull request #98 from mbeddr/merge/MPS-2022.3 PR to merge into the next version #22: Commit 819571f pushed by sergej-koscejev
July 13, 2024 06:20 15s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 13, 2024 06:20 15s
Merge pull request #97 from mbeddr/feature/migration-check PR to merge into the next version #21: Commit 0984954 pushed by sergej-koscejev
July 12, 2024 15:13 14s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 12, 2024 15:13 14s
Merge pull request #92 from mbeddr/merge/MPS-2022.3 PR to merge into the next version #20: Commit 7088a2c pushed by sergej-koscejev
July 12, 2024 15:07 12s maintenance/MPS-2022.3
maintenance/MPS-2022.3
July 12, 2024 15:07 12s
Merge pull request #96 from mbeddr/feature/remove-unused-build PR to merge into the next version #19: Commit 1dde7d8 pushed by sergej-koscejev
July 11, 2024 19:28 13s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 19:28 13s
Merge pull request #95 from mbeddr/feature/publish-everything PR to merge into the next version #18: Commit 5a4de67 pushed by sergej-koscejev
July 11, 2024 13:49 12s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 13:49 12s
Merge pull request #93 from mbeddr/feature/gradle-8.8 PR to merge into the next version #17: Commit 83c04a0 pushed by sergej-koscejev
July 11, 2024 09:44 15s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 09:44 15s
Merge pull request #94 from mbeddr/feature/github-workflow-on-pr PR to merge into the next version #16: Commit 19f4a32 pushed by sergej-koscejev
July 11, 2024 08:39 16s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 08:39 16s
Merge pull request #91 from mbeddr/feature/tree_map_for_goal_structures PR to merge into the next version #15: Commit 76ef124 pushed by danielratiu
July 4, 2024 21:32 13s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 4, 2024 21:32 13s
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
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