Skip to content

Actions: mbeddr/mbeddr.formal

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
61 workflow run results
61 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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