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

build.gradle: fixed mpsVersion to 2022.3 PR to merge into the next version #5: Commit 1521553 pushed by danielratiu
May 17, 2024 11:37 14s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 11:37 14s
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 PR to merge into the next version #4: Commit f2c031c pushed by danielratiu
May 17, 2024 09:53 12s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 09:53 12s
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… PR to merge into the next version #3: Commit 6abce67 pushed by danielratiu
May 17, 2024 09:47 16s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 17, 2024 09:47 16s
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 PR to merge into the next version #2: Commit e5f422f pushed by danielratiu
May 16, 2024 12:58 15s maintenance/MPS-2022.3_merge_2022.2_dan
maintenance/MPS-2022.3_merge_2022.2_dan
May 16, 2024 12:58 15s
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 PR to merge into the next version #1: Commit 8d86d4b pushed by sergej-koscejev
May 16, 2024 08:20 18s maintenance/MPS-2022.2
maintenance/MPS-2022.2
May 16, 2024 08:20 18s
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
mpsbasics: enhanced the pdfexport CI #822: Pull request #81 opened by danielratiu
February 28, 2024 14:08 13m 21s maintenance/MPS-2022.2_pdf_export_enhancement
maintenance/MPS-2022.2_pdf_export_enhancement
February 28, 2024 14:08 13m 21s
mpsbasics: enhanced the pdfexport CI #821: Commit 76e9d38 pushed by danielratiu
February 28, 2024 13:43 13m 36s maintenance/MPS-2022.2_pdf_export_enhancement
maintenance/MPS-2022.2_pdf_export_enhancement
February 28, 2024 13:43 13m 36s
gsn: slightly better editor styles CI #820: Commit 54a5bcf pushed by danielratiu
February 20, 2024 22:55 14m 7s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 20, 2024 22:55 14m 7s
Create CODE_OF_CONDUCT.md CI #819: Commit bbd038c pushed by alexanderpann
February 20, 2024 21:27 14m 36s master
master
February 20, 2024 21:27 14m 36s
pages build and deployment pages-build-deployment #122: by alexanderpann
February 20, 2024 21:27 41s
February 20, 2024 21:27 41s
Merge pull request #80 from mbeddr/feature/pdf_export CI #818: Commit 4d02896 pushed by danielratiu
February 19, 2024 09:47 14m 30s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 19, 2024 09:47 14m 30s