Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

license: set Apache License, Version 2.0 CI #778: Commit 7791d9f pushed by danielratiu
December 15, 2023 14:48 14m 1s master
master
December 15, 2023 14:48 14m 1s
pages build and deployment pages-build-deployment #119: by danielratiu
December 15, 2023 14:48 54s master
master
December 15, 2023 14:48 54s
Migrate to MPS 2022.3 CI #777: Pull request #77 opened by alexanderpann
December 15, 2023 11:11 13m 11s feature/migrate_20223
feature/migrate_20223
December 15, 2023 11:11 13m 11s
Use MPS 2022.3.1 CI #776: Commit 18dee8f pushed by alexanderpann
December 15, 2023 11:05 13m 11s feature/migrate_20223
feature/migrate_20223
December 15, 2023 11:05 13m 11s
Fix some warnings and errors CI #775: Commit a271c8c pushed by alexanderpann
December 15, 2023 10:53 13m 19s feature/migrate_20223
feature/migrate_20223
December 15, 2023 10:53 13m 19s
Fix some warnings and errors CI #774: Commit a271c8c pushed by alexanderpann
December 15, 2023 10:52 12m 54s feature/migrate_20222
feature/migrate_20222
December 15, 2023 10:52 12m 54s
Merge remote-tracking branch 'origin/maintenance/MPS-2021.3' CI #773: Commit 703e9d7 pushed by danielratiu
November 30, 2023 10:39 14m 2s maintenance/MPS-2022.2
maintenance/MPS-2022.2
November 30, 2023 10:39 14m 2s
pages build and deployment pages-build-deployment #118: by danielratiu
November 30, 2023 10:20 59s master
master
November 30, 2023 10:20 59s
Merge remote-tracking branch 'origin/maintenance/MPS-2021.3' CI #772: Commit 703e9d7 pushed by danielratiu
November 30, 2023 10:20 18m 10s master
master
November 30, 2023 10:20 18m 10s
safety.stpa: initial language for deriving monitors CI #771: Commit 825b2d5 pushed by danielratiu
November 17, 2023 14:17 2m 16s feature/stpa_ops_experiment
feature/stpa_ops_experiment
November 17, 2023 14:17 2m 16s
safety.stpa: initial language for deriving monitors CI #770: Commit 45a2217 pushed by danielratiu
November 17, 2023 14:17 2m 16s feature/stpa_ops_experiment
feature/stpa_ops_experiment
November 17, 2023 14:17 2m 16s
safety.build: cleanup CI #769: Commit 7b7aa80 pushed by danielratiu
November 14, 2023 22:19 14m 9s maintenance/MPS-2021.3
maintenance/MPS-2021.3
November 14, 2023 22:19 14m 9s
safety.argument, safety.cae, safety.gsn.patterns: removed empty gener… CI #768: Commit 73eff1b pushed by danielratiu
November 14, 2023 22:11 2m 35s maintenance/MPS-2021.3
maintenance/MPS-2021.3
November 14, 2023 22:11 2m 35s
safety.gsn: cleanup warnings CI #767: Commit cf375aa pushed by danielratiu
November 14, 2023 22:02 13m 18s maintenance/MPS-2021.3
maintenance/MPS-2021.3
November 14, 2023 22:02 13m 18s
safety.gsn: fixed the editor of the GoalStructureDoc nodes in the ins… CI #766: Commit 2ebb26b pushed by danielratiu
November 14, 2023 21:28 24m 46s maintenance/MPS-2021.3
maintenance/MPS-2021.3
November 14, 2023 21:28 24m 46s
build: reloaded dependencies CI #765: Commit c1f3403 pushed by danielratiu
November 14, 2023 21:16 13m 40s maintenance/MPS-2021.3
maintenance/MPS-2021.3
November 14, 2023 21:16 13m 40s
Bump mps-gradle-plugin to the newest version to fix modelcheck CI #764: Commit cf5fbf0 pushed by sergej-koscejev
November 7, 2023 06:20 16m 8s master
master
November 7, 2023 06:20 16m 8s
pages build and deployment pages-build-deployment #117: by sergej-koscejev
November 7, 2023 06:20 45s master
master
November 7, 2023 06:20 45s
Run migrations after merge CI #763: Commit ec0f158 pushed by sergej-koscejev
November 6, 2023 20:24 15m 37s master
master
November 6, 2023 20:24 15m 37s
pages build and deployment pages-build-deployment #116: by sergej-koscejev
November 6, 2023 20:24 51s master
master
November 6, 2023 20:24 51s