Skip to content

Actions: mbeddr/mbeddr.formal

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
94 workflow run results
94 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
base, safety: more fixes for themes CI #762: Commit 2577051 pushed by danielratiu
October 1, 2023 21:05 21m 56s maintenance/MPS-2021.3
maintenance/MPS-2021.3
October 1, 2023 21:05 21m 56s
Remov debugging task that is not needed anymore CI #761: Commit a59ced8 pushed by HeikoBecker
August 31, 2023 11:05 14m 1s feature/migration_leftovers
feature/migration_leftovers
August 31, 2023 11:05 14m 1s
Merge pull request #76 from mbeddr/feature/migrate_20222 CI #760: Commit 56ffcc0 pushed by HeikoBecker
August 30, 2023 06:43 15m 16s master
master
August 30, 2023 06:43 15m 16s
Migrate to MPS 2022.2 CI #759: Pull request #76 synchronize by HeikoBecker
August 30, 2023 06:20 15m 46s feature/migrate_20222
feature/migrate_20222
August 30, 2023 06:20 15m 46s
Remove debugging code from main.yml CI #758: Commit bd7a5bb pushed by HeikoBecker
August 30, 2023 06:20 14m 57s feature/migrate_20222
feature/migrate_20222
August 30, 2023 06:20 14m 57s
Migrate to MPS 2022.2 CI #757: Pull request #76 synchronize by sergej-koscejev
August 29, 2023 07:54 18m 32s feature/migrate_20222
feature/migrate_20222
August 29, 2023 07:54 18m 32s
Make sure plugin settings are configured when running run_all_tests CI #756: Commit 53a20ef pushed by sergej-koscejev
August 29, 2023 07:54 18m 9s feature/migrate_20222
feature/migrate_20222
August 29, 2023 07:54 18m 9s
updated README.md and gradle.properties.example with the needed githu… CI #755: Commit acf0b2d pushed by danielratiu
August 26, 2023 20:22 21m 2s maintenance/MPS-2021.3
maintenance/MPS-2021.3
August 26, 2023 20:22 21m 2s
Migrate to MPS 2022.2 CI #754: Pull request #76 synchronize by HeikoBecker
August 25, 2023 12:14 13m 44s feature/migrate_20222
feature/migrate_20222
August 25, 2023 12:14 13m 44s
Upgrade MPS gradle plugin CI #753: Commit 9f56a35 pushed by HeikoBecker
August 25, 2023 12:14 12m 22s feature/migrate_20222
feature/migrate_20222
August 25, 2023 12:14 12m 22s
safety: cosmetic fix in hazard-context editor CI #752: Commit bac0eeb pushed by danielratiu
August 2, 2023 21:42 19m 9s maintenance/MPS-2021.1
maintenance/MPS-2021.1
August 2, 2023 21:42 19m 9s
updated README.md and gradle.properties.example with the needed githu… CI #751: Commit acf0b2d pushed by ccarlan
August 2, 2023 21:14 18m 4s maintenance/mps20213
maintenance/mps20213
August 2, 2023 21:14 18m 4s
Migrate to MPS 2022.2 CI #750: Pull request #76 synchronize by sergej-koscejev
July 28, 2023 13:37 14m 40s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:37 14m 40s
Fix 'extra' reference to point to project CI #749: Commit 65ec6c8 pushed by sergej-koscejev
July 28, 2023 13:37 11m 27s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:37 11m 27s
Migrate to MPS 2022.2 CI #748: Pull request #76 synchronize by sergej-koscejev
July 28, 2023 13:26 2m 44s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:26 2m 44s
Remove unused and confusing JDK version check, upgrade mps plugin CI #747: Commit 0d509a3 pushed by sergej-koscejev
July 28, 2023 13:26 2m 52s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:26 2m 52s