Skip to content

Actions: mbeddr/mbeddr.formal

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #971: Manually run by danielratiu
October 9, 2024 11:19 19m 11s master
master
October 9, 2024 11:19 19m 11s
safety: enable displaying of the grid on GSN and FT diagrams and snap… CI #970: Commit 810b224 pushed by danielratiu
October 8, 2024 10:59 19m 20s master
master
October 8, 2024 10:59 19m 20s
bugfix/code cleanup (#113) CI #969: Commit 9067384 pushed by danielratiu
October 4, 2024 21:02 19m 13s master
master
October 4, 2024 21:02 19m 13s
bugfix/code cleanup CI #968: Pull request #113 synchronize by danielratiu
October 4, 2024 20:41 18m 53s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 20:41 18m 53s
bugfix/code cleanup CI #967: Pull request #113 synchronize by danielratiu
October 4, 2024 19:51 19m 2s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 19:51 19m 2s
bugfix/code cleanup CI #966: Pull request #113 synchronize by danielratiu
October 4, 2024 15:18 14m 37s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 15:18 14m 37s
bugfix/code cleanup CI #965: Pull request #113 synchronize by danielratiu
October 4, 2024 15:15 1m 27s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 15:15 1m 27s
bugfix/code cleanup CI #964: Pull request #113 synchronize by danielratiu
October 4, 2024 13:17 19m 28s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 13:17 19m 28s
bugfix/code cleanup CI #963: Pull request #113 opened by danielratiu
October 4, 2024 12:27 16m 49s bugfix/code_cleanup
bugfix/code_cleanup
October 4, 2024 12:27 16m 49s
Merge pull request #112 from mbeddr/merge/maintenance_2022_3_into_master CI #962: Commit 6bf2284 pushed by danielratiu
October 4, 2024 07:14 20m 46s master
master
October 4, 2024 07:14 20m 46s
merge/maintenance 2022 3 into master CI #961: Pull request #112 synchronize by danielratiu
October 4, 2024 06:51 20m 44s merge/maintenance_2022_3_into_master
merge/maintenance_2022_3_into_master
October 4, 2024 06:51 20m 44s
merge/maintenance 2022 3 into master CI #960: Pull request #112 synchronize by danielratiu
October 4, 2024 06:11 20m 47s merge/maintenance_2022_3_into_master
merge/maintenance_2022_3_into_master
October 4, 2024 06:11 20m 47s
merge/maintenance 2022 3 into master CI #959: Pull request #112 synchronize by danielratiu
October 3, 2024 21:34 21m 50s merge/maintenance_2022_3_into_master
merge/maintenance_2022_3_into_master
October 3, 2024 21:34 21m 50s
merge/maintenance 2022 3 into master CI #958: Pull request #112 opened by danielratiu
October 3, 2024 21:28 3m 5s merge/maintenance_2022_3_into_master
merge/maintenance_2022_3_into_master
October 3, 2024 21:28 3m 5s
Merge pull request #111 from mbeddr/feature/assurance_spis CI #957: Commit e385b6f pushed by danielratiu
October 3, 2024 20:09 19m 51s maintenance/MPS-2022.3
maintenance/MPS-2022.3
October 3, 2024 20:09 19m 51s
safety: initial support for SPIs CI #956: Pull request #111 synchronize by danielratiu
October 3, 2024 19:48 20m 45s feature/assurance_spis
feature/assurance_spis
October 3, 2024 19:48 20m 45s
safety: initial support for SPIs CI #955: Pull request #111 opened by danielratiu
October 3, 2024 19:22 21m 1s feature/assurance_spis
feature/assurance_spis
October 3, 2024 19:22 21m 1s
Merge pull request #110 from mbeddr/merge/2022_2_into_2022_3 CI #954: Commit 66bf2e5 pushed by danielratiu
September 5, 2024 08:43 20m 22s maintenance/MPS-2022.3
maintenance/MPS-2022.3
September 5, 2024 08:43 20m 22s
merge/maintenance_2022_2_into_maintenance_2022_3 CI #953: Pull request #110 synchronize by danielratiu
September 5, 2024 08:22 20m 26s merge/2022_2_into_2022_3
merge/2022_2_into_2022_3
September 5, 2024 08:22 20m 26s
merge/maintenance_2022_2_into_maintenance_2022_3 CI #952: Pull request #110 synchronize by danielratiu
September 5, 2024 06:45 19m 43s merge/2022_2_into_2022_3
merge/2022_2_into_2022_3
September 5, 2024 06:45 19m 43s
CI CI #951: Manually run by danielratiu
September 4, 2024 21:08 17m 3s merge/2022_2_into_2022_3
merge/2022_2_into_2022_3
September 4, 2024 21:08 17m 3s
CI CI #950: Manually run by danielratiu
September 4, 2024 14:55 17m 5s merge/2022_2_into_2022_3
merge/2022_2_into_2022_3
September 4, 2024 14:55 17m 5s
Merge pull request #109 from mbeddr/feature/format_description_of_arg… CI #949: Commit d9ea15b pushed by danielratiu
August 13, 2024 15:23 18m 52s maintenance/MPS-2022.3
maintenance/MPS-2022.3
August 13, 2024 15:23 18m 52s
Feature/format description of argument entities CI #948: Pull request #109 synchronize by danielratiu
August 13, 2024 13:54 19m 14s feature/format_description_of_argument_entities
feature/format_description_of_argument_entities
August 13, 2024 13:54 19m 14s
Feature/format description of argument entities CI #947: Pull request #109 synchronize by danielratiu
August 13, 2024 11:18 16m 51s feature/format_description_of_argument_entities
feature/format_description_of_argument_entities
August 13, 2024 11:18 16m 51s