Skip to content

Actions: mbeddr/mbeddr.formal

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
94 workflow run results
94 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Migrate to MPS 2022.2
CI #746: Pull request #76 synchronize by sergej-koscejev
July 28, 2023 13:17 4m 22s 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
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
July 28, 2023 13:09 4m 5s
Migrate to MPS 2022.2
CI #742: Pull request #76 synchronize by sergej-koscejev
July 27, 2023 13:27 3m 59s 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
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
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
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
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
July 27, 2023 13:19 2m 30s
Migrate to MPS 2022.2
CI #735: Pull request #76 synchronize by danielratiu
July 27, 2023 09:04 4m 51s 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
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
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
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
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
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
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
July 26, 2023 22:23 4m 46s
Migrate to MPS 2022.2
CI #727: Pull request #76 synchronize by danielratiu
July 26, 2023 22:13 1m 1s feature/migrate_20222
July 26, 2023 22:13 1m 1s
workflow: set up jdk 11
CI #726: Commit ac669b3 pushed by danielratiu
July 26, 2023 22:13 1m 14s feature/migrate_20222
July 26, 2023 22:13 1m 14s
Migrate to MPS 2022.2
CI #725: Pull request #76 synchronize by danielratiu
July 26, 2023 22:08 5m 11s feature/migrate_20222
July 26, 2023 22:08 5m 11s
workflow: set up jdk 11
CI #724: Commit 24c3230 pushed by danielratiu
July 26, 2023 22:08 4m 38s feature/migrate_20222
July 26, 2023 22:08 4m 38s
Migrate to MPS 2022.2
CI #723: Pull request #76 synchronize by danielratiu
July 26, 2023 22:02 3m 59s feature/migrate_20222
July 26, 2023 22:02 3m 59s
mps-gradle-plugin 1.13
CI #722: Commit 7fef33b pushed by danielratiu
July 26, 2023 22:02 3m 47s feature/migrate_20222
July 26, 2023 22:02 3m 47s