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

maintenance/merge_maintenance_mps_2022.2_into_maintenance_2022.3 CI #847: Pull request #85 opened by danielratiu
May 17, 2024 14:51 13m 29s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 14:51 13m 29s
modelquery: removed ProjectExpression CI #846: Commit f5f1924 pushed by danielratiu
May 17, 2024 14:32 13m 27s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 14:32 13m 27s
modelquery: explicitly pass in the SRepository parameter CI #845: Commit a22df8c pushed by danielratiu
May 17, 2024 12:50 13m 10s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 12:50 13m 10s
Merge maintenance/MPS-2022.3_merge_2022.2_dan into merge/master CI #844: Commit 8f9862f pushed by mps-ci-buildbot
May 17, 2024 12:29 13m 30s merge/master
merge/master
May 17, 2024 12:29 13m 30s
modelquery: explicitly pass in the SRepository parameter CI #843: Commit ce9a214 pushed by danielratiu
May 17, 2024 12:29 13m 34s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 12:29 13m 34s
modelquery: explicitly pass in the SRepository parameter CI #842: Commit 90cee08 pushed by mps-ci-buildbot
May 17, 2024 12:12 13m 32s merge/master
merge/master
May 17, 2024 12:12 13m 32s
modelquery: explicitly pass in the SRepository parameter CI #841: Commit 90cee08 pushed by danielratiu
May 17, 2024 12:12 13m 33s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 12:12 13m 33s
build.gradle: fixed mpsVersion to 2022.3 CI #840: Commit 584026d pushed by mps-ci-buildbot
May 17, 2024 11:48 13m 53s merge/master
merge/master
May 17, 2024 11:48 13m 53s
build.gradle: fixed mpsVersion to 2022.3 CI #839: Commit 584026d pushed by danielratiu
May 17, 2024 11:48 13m 45s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 11:48 13m 45s
build.gradle: fixed mpsVersion to 2022.3 CI #838: Commit 1521553 pushed by mps-ci-buildbot
May 17, 2024 11:37 1m 14s merge/master
merge/master
May 17, 2024 11:37 1m 14s
build.gradle: fixed mpsVersion to 2022.3 CI #837: Commit 1521553 pushed by danielratiu
May 17, 2024 11:37 1m 20s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 11:37 1m 20s
build_all: refreshed new version CI #836: Commit f2c031c pushed by mps-ci-buildbot
May 17, 2024 09:53 13m 54s merge/master
merge/master
May 17, 2024 09:53 13m 54s
build_all: refreshed new version CI #835: Commit f2c031c pushed by danielratiu
May 17, 2024 09:53 13m 52s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 09:53 13m 52s
formal.safety.build: added "test.mbeddr.formal.safety.argument.modelq… CI #834: Commit 6abce67 pushed by mps-ci-buildbot
May 17, 2024 09:48 14m 4s merge/master
merge/master
May 17, 2024 09:48 14m 4s
formal.safety.build: added "test.mbeddr.formal.safety.argument.modelq… CI #833: Commit 6abce67 pushed by danielratiu
May 17, 2024 09:47 17m 12s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 09:47 17m 12s
req: ran automated migrations CI #832: Commit e5f422f pushed by mps-ci-buildbot
May 16, 2024 12:58 13m 12s merge/master
merge/master
May 16, 2024 12:58 13m 12s
req: ran automated migrations CI #831: Commit e5f422f pushed by danielratiu
May 16, 2024 12:58 13m 32s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 16, 2024 12:58 13m 32s
Add cascading merge workflow CI #830: Commit 8d86d4b pushed by mps-ci-buildbot
May 16, 2024 08:21 15m 14s merge/MPS-2022.3
merge/MPS-2022.3
May 16, 2024 08:21 15m 14s
Add cascading merge workflow CI #829: Commit 8d86d4b pushed by sergej-koscejev
May 16, 2024 08:20 14m 18s maintenance/MPS-2022.2
maintenance/MPS-2022.2
May 16, 2024 08:20 14m 18s
safety: removed deprecated nodes (concepts, properties, links) CI #828: Commit bacfa65 pushed by danielratiu
April 20, 2024 21:50 14m 3s maintenance/MPS-2022.2
maintenance/MPS-2022.2
April 20, 2024 21:50 14m 3s
safety: removed deprecated nodes (concepts, properties, links) CI #827: Commit d516d64 pushed by danielratiu
April 20, 2024 21:23 14m 20s maintenance/MPS-2022.2
maintenance/MPS-2022.2
April 20, 2024 21:23 14m 20s
gradle.lockfile: updated dependencies to mps.extension, mbeddr.platform CI #826: Commit f33ef7a pushed by danielratiu
March 27, 2024 14:01 13m 58s maintenance/MPS-2022.2
maintenance/MPS-2022.2
March 27, 2024 14:01 13m 58s
gradle.lockfile: updated dependencies to mps.extension, mbeddr.platform CI #825: Commit 63e280a pushed by danielratiu
March 27, 2024 13:24 13m 30s feature/updated_dependencies_to_external_libraries
feature/updated_dependencies_to_external_libraries
March 27, 2024 13:24 13m 30s
gradle.lockfile: updated dependencies to mps.extension, mbeddr.platform CI #824: Commit 97622ff pushed by danielratiu
March 27, 2024 13:23 14m 21s feature/updated_dependencies_to_external_libraries
feature/updated_dependencies_to_external_libraries
March 27, 2024 13:23 14m 21s
mpsbasics: enhanced the pdfexport (#81) CI #823: Commit c8611b1 pushed by danielratiu
February 28, 2024 14:42 12m 58s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 28, 2024 14:42 12m 58s