Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
337 workflow runs
337 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #115 from mbeddr/feature/migrate_to_2024.1 CI #980: Commit 4c71176 pushed by alexanderpann
November 18, 2024 11:58 In progress master
master
November 18, 2024 11:58 In progress
pages build and deployment pages-build-deployment #129: by alexanderpann
November 18, 2024 11:58 44s
November 18, 2024 11:58 44s
Migrate to MPS 2024.1.1 CI #979: Pull request #115 synchronize by alexanderpann
November 18, 2024 10:59 19m 15s feature/migrate_to_2024.1
feature/migrate_to_2024.1
November 18, 2024 10:59 19m 15s
Migrate to MPS 2024.1.1 CI #978: Pull request #115 synchronize by alexanderpann
November 18, 2024 10:40 8m 14s feature/migrate_to_2024.1
feature/migrate_to_2024.1
November 18, 2024 10:40 8m 14s
Migrate to MPS 2024.1.1 CI #977: Pull request #115 synchronize by alexanderpann
November 18, 2024 07:44 18m 43s feature/migrate_to_2024.1
feature/migrate_to_2024.1
November 18, 2024 07:44 18m 43s
Migrate to MPS 2024.1.1 CI #976: Pull request #115 synchronize by alexanderpann
November 18, 2024 07:00 18m 31s feature/migrate_to_2024.1
feature/migrate_to_2024.1
November 18, 2024 07:00 18m 31s
Migrate to MPS 2024.1.1 CI #975: Pull request #115 opened by alexanderpann
November 14, 2024 14:05 13m 27s feature/migrate_to_2024.1
feature/migrate_to_2024.1
November 14, 2024 14:05 13m 27s
Merge maintenance/MPS-2023.2 into master CI #974: Pull request #114 opened by mps-ci-buildbot
November 7, 2024 22:57 25m 2s merge/master
merge/master
November 7, 2024 22:57 25m 2s
distribution.build: enable distribution build based on MPS 2023.2.2 PR to merge into the next version #39: Commit d19d1a2 pushed by danielratiu
November 7, 2024 22:57 15s maintenance/MPS-2023.2
maintenance/MPS-2023.2
November 7, 2024 22:57 15s
distribution.build: enable distribution build based on MPS 2023.2.2 CI #973: Commit d19d1a2 pushed by danielratiu
November 7, 2024 22:57 20m 41s maintenance/MPS-2023.2
maintenance/MPS-2023.2
November 7, 2024 22:57 20m 41s
safety: enable displaying of the grid on GSN and FT diagrams and snap… CI #972: Commit 810b224 pushed by danielratiu
October 25, 2024 20:47 19m 39s maintenance/MPS-2023.2
maintenance/MPS-2023.2
October 25, 2024 20:47 19m 39s
safety: enable displaying of the grid on GSN and FT diagrams and snap… PR to merge into the next version #38: Commit 810b224 pushed by danielratiu
October 25, 2024 20:47 16s maintenance/MPS-2023.2
maintenance/MPS-2023.2
October 25, 2024 20:47 16s
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
pages build and deployment pages-build-deployment #128: by danielratiu
October 8, 2024 10:59 1m 5s
October 8, 2024 10:59 1m 5s
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
pages build and deployment pages-build-deployment #127: by danielratiu
October 4, 2024 21:01 52s
October 4, 2024 21:01 52s
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
pages build and deployment pages-build-deployment #126: by danielratiu
October 4, 2024 07:14 42s
October 4, 2024 07:14 42s