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

Migration check for pull requests CI #897: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 14:30 37m 43s feature/migration-check
feature/migration-check
July 12, 2024 14:30 37m 43s
Migration check for pull requests CI #896: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 13:20 20m 44s feature/migration-check
feature/migration-check
July 12, 2024 13:20 20m 44s
Migration check for pull requests CI #895: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 12:48 19m 43s feature/migration-check
feature/migration-check
July 12, 2024 12:48 19m 43s
Migration check for pull requests CI #894: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 11:11 17m 23s feature/migration-check
feature/migration-check
July 12, 2024 11:11 17m 23s
Migration check for pull requests CI #893: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 11:10 1m 46s feature/migration-check
feature/migration-check
July 12, 2024 11:10 1m 46s
Migration check for pull requests CI #892: Pull request #97 synchronize by sergej-koscejev
July 12, 2024 09:51 30m 9s feature/migration-check
feature/migration-check
July 12, 2024 09:51 30m 9s
Migration check for pull requests CI #891: Pull request #97 opened by sergej-koscejev
July 12, 2024 06:15 9m 59s feature/migration-check
feature/migration-check
July 12, 2024 06:15 9m 59s
Merge pull request #96 from mbeddr/feature/remove-unused-build CI #890: Commit 1dde7d8 pushed by sergej-koscejev
July 11, 2024 19:28 14m 3s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 19:28 14m 3s
Delete unused build script CI #889: Pull request #96 opened by sergej-koscejev
July 11, 2024 18:39 13m 49s feature/remove-unused-build
feature/remove-unused-build
July 11, 2024 18:39 13m 49s
Merge maintenance/MPS-2022.2 into maintenance/MPS-2022.3 CI #888: Pull request #92 synchronize by sergej-koscejev
July 11, 2024 14:21 13m 21s merge/MPS-2022.3
merge/MPS-2022.3
July 11, 2024 14:21 13m 21s
Merge pull request #95 from mbeddr/feature/publish-everything CI #887: Commit 5a4de67 pushed by sergej-koscejev
July 11, 2024 13:49 13m 43s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 13:49 13m 43s
Workflow improvements + publish to all repositories CI #886: Pull request #95 synchronize by sergej-koscejev
July 11, 2024 13:49 14m 3s feature/publish-everything
feature/publish-everything
July 11, 2024 13:49 14m 3s
Merge pull request #93 from mbeddr/feature/gradle-8.8 CI #885: Commit 83c04a0 pushed by sergej-koscejev
July 11, 2024 09:44 14m 29s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 09:44 14m 29s
Workflow improvements + publish to all repositories CI #884: Pull request #95 opened by sergej-koscejev
July 11, 2024 09:44 13m 47s feature/publish-everything
feature/publish-everything
July 11, 2024 09:44 13m 47s
Merge pull request #94 from mbeddr/feature/github-workflow-on-pr CI #883: Commit 19f4a32 pushed by sergej-koscejev
July 11, 2024 08:39 13m 54s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 11, 2024 08:39 13m 54s
Reduce triggers of main GitHub workflow CI #882: Pull request #94 opened by sergej-koscejev
July 11, 2024 08:38 14m 7s feature/github-workflow-on-pr
feature/github-workflow-on-pr
July 11, 2024 08:38 14m 7s
Use Gradle 8.8 CI #881: Pull request #93 opened by sergej-koscejev
July 11, 2024 08:29 14m 9s feature/gradle-8.8
feature/gradle-8.8
July 11, 2024 08:29 14m 9s
Fix deprecation warnings in the build script CI #880: Commit 5d93b84 pushed by sergej-koscejev
July 11, 2024 08:29 14m 35s feature/gradle-8.8
feature/gradle-8.8
July 11, 2024 08:29 14m 35s
Merge pull request #91 from mbeddr/feature/tree_map_for_goal_structures CI #879: Commit 76ef124 pushed by mps-ci-buildbot
July 4, 2024 21:32 13m 40s merge/MPS-2022.3
merge/MPS-2022.3
July 4, 2024 21:32 13m 40s
Merge pull request #91 from mbeddr/feature/tree_map_for_goal_structures CI #878: Commit 76ef124 pushed by danielratiu
July 4, 2024 21:32 14m 37s maintenance/MPS-2022.2
maintenance/MPS-2022.2
July 4, 2024 21:32 14m 37s
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
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