Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Migrate to MPS 2022.2 CI #746: Pull request #76 synchronize by sergej-koscejev
July 28, 2023 13:17 4m 22s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:17 4m 22s
Revert configurations CI #745: Commit cde458e pushed by sergej-koscejev
July 28, 2023 13:16 4m 24s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:16 4m 24s
Migrate to MPS 2022.2 CI #744: Pull request #76 synchronize by sergej-koscejev
July 28, 2023 13:09 4m 5s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:09 4m 5s
Try another JDK, remove unneeded configurations CI #743: Commit 04c44a1 pushed by sergej-koscejev
July 28, 2023 13:09 4m 25s feature/migrate_20222
feature/migrate_20222
July 28, 2023 13:09 4m 25s
Migrate to MPS 2022.2 CI #742: Pull request #76 synchronize by sergej-koscejev
July 27, 2023 13:27 3m 59s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:27 3m 59s
Fix run CI #741: Commit 093ace8 pushed by sergej-koscejev
July 27, 2023 13:27 4m 30s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:27 4m 30s
Migrate to MPS 2022.2 CI #740: Pull request #76 synchronize by sergej-koscejev
July 27, 2023 13:21 3m 40s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:21 3m 40s
Add token CI #739: Commit 873e258 pushed by sergej-koscejev
July 27, 2023 13:21 4m 46s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:21 4m 46s
Migrate to MPS 2022.2 CI #738: Pull request #76 synchronize by sergej-koscejev
July 27, 2023 13:19 2m 32s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:19 2m 32s
Report app.jar checksum CI #737: Commit e19c788 pushed by sergej-koscejev
July 27, 2023 13:19 2m 30s feature/migrate_20222
feature/migrate_20222
July 27, 2023 13:19 2m 30s
Merge remote-tracking branch 'origin/maintenance/MPS-2021.1' into mai… CI #736: Commit fc63597 pushed by danielratiu
July 27, 2023 09:28 18m 16s maintenance/mps20213
maintenance/mps20213
July 27, 2023 09:28 18m 16s
Migrate to MPS 2022.2 CI #735: Pull request #76 synchronize by danielratiu
July 27, 2023 09:04 4m 51s feature/migrate_20222
feature/migrate_20222
July 27, 2023 09:04 4m 51s
Update main.yml CI #734: Commit 8e64cec pushed by danielratiu
July 27, 2023 09:04 5m 26s feature/migrate_20222
feature/migrate_20222
July 27, 2023 09:04 5m 26s
Migrate to MPS 2022.2 CI #733: Pull request #76 synchronize by danielratiu
July 27, 2023 09:00 5m 17s feature/migrate_20222
feature/migrate_20222
July 27, 2023 09:00 5m 17s
Update main.yml CI #732: Commit 42f0406 pushed by danielratiu
July 27, 2023 08:59 5m 23s feature/migrate_20222
feature/migrate_20222
July 27, 2023 08:59 5m 23s
Migrate to MPS 2022.2 CI #731: Pull request #76 synchronize by danielratiu
July 26, 2023 22:27 3m 40s feature/migrate_20222
feature/migrate_20222
July 26, 2023 22:27 3m 40s
Update build.gradle.kts CI #730: Commit ef19c59 pushed by danielratiu
July 26, 2023 22:27 4m 3s feature/migrate_20222
feature/migrate_20222
July 26, 2023 22:27 4m 3s
Migrate to MPS 2022.2 CI #729: Pull request #76 synchronize by danielratiu
July 26, 2023 22:23 3m 51s feature/migrate_20222
feature/migrate_20222
July 26, 2023 22:23 3m 51s
workflow: set up jdk 11 CI #728: Commit ebb2bae pushed by danielratiu
July 26, 2023 22:23 4m 46s feature/migrate_20222
feature/migrate_20222
July 26, 2023 22:23 4m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-07-26 or the other filters available.