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

Update the readme CI #798: Commit 40f142b pushed by alexanderpann
January 25, 2024 10:02 12m 25s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 10:02 12m 25s
Merge pull request #77 from mbeddr/feature/migrate_20223 CI #797: Commit 3839047 pushed by alexanderpann
January 25, 2024 09:58 12m 58s maintenance/MPS-2022.3
maintenance/MPS-2022.3
January 25, 2024 09:58 12m 58s
Merge remote-tracking branch 'origin/feature/upgrade_docx4j' into mai… CI #796: Commit 60362ab pushed by danielratiu
January 8, 2024 20:36 12m 58s maintenance/MPS-2022.2
maintenance/MPS-2022.2
January 8, 2024 20:36 12m 58s
safety.gsn: cosmetic improvement of the editor CI #795: Commit 422d396 pushed by danielratiu
January 4, 2024 09:30 14m 7s snapshot/v2024_01_04
snapshot/v2024_01_04
January 4, 2024 09:30 14m 7s
safety.gsn: cosmetic improvement of the editor CI #794: Commit 422d396 pushed by danielratiu
January 4, 2024 08:59 14m 0s maintenance/MPS-2022.2
maintenance/MPS-2022.2
January 4, 2024 08:59 14m 0s
safety.tutorial: converted all models to file-per-root format to refl… CI #793: Commit ec71c9d pushed by danielratiu
January 3, 2024 17:26 15m 59s maintenance/MPS-2022.2
maintenance/MPS-2022.2
January 3, 2024 17:26 15m 59s
safety.rcp: enabled the actionsfilter plugin to filter out irrelevant… CI #792: Commit 8d2fbfc pushed by danielratiu
January 2, 2024 23:38 16m 35s maintenance/MPS-2022.2
maintenance/MPS-2022.2
January 2, 2024 23:38 16m 35s
safet.ft: added support for explicitly displaying layout-information … CI #791: Commit 9ede04d pushed by danielratiu
December 31, 2023 09:50 14m 27s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 31, 2023 09:50 14m 27s
safety.build: fixed dependencies CI #790: Commit b0dc2bc pushed by danielratiu
December 31, 2023 09:39 14m 41s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 31, 2023 09:39 14m 41s
safety.gsn: automatically refresh the project-pane after import CI #789: Commit 3df2774 pushed by danielratiu
December 31, 2023 09:38 1m 32s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 31, 2023 09:38 1m 32s
fasten.rcp: improved creation of new Models and the creation of new R… CI #788: Commit b592101 pushed by danielratiu
December 30, 2023 22:55 14m 3s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 30, 2023 22:55 14m 3s
safety.gsn: unified the styles of attributes CI #787: Commit 5e67df2 pushed by danielratiu
December 25, 2023 14:22 13m 53s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 25, 2023 14:22 13m 53s
Merge pull request #77 from mbeddr/feature/migrate_20223 CI #786: Commit 3839047 pushed by danielratiu
December 24, 2023 14:25 12m 20s snapshot/v2023_12_24
snapshot/v2023_12_24
December 24, 2023 14:25 12m 20s
rcp: fixed the creation of FASTEN RCP CI #785: Commit 902cf52 pushed by danielratiu
December 24, 2023 14:14 15m 44s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 24, 2023 14:14 15m 44s
safety: initial version of the GSN importer CI #784: Commit 2638d3b pushed by danielratiu
December 24, 2023 11:15 13m 50s maintenance/MPS-2022.2
maintenance/MPS-2022.2
December 24, 2023 11:15 13m 50s
Upgrade docx4j to 11.4.9 + separate docx4j testutils into separate solution + update to MPS 2022.2.2 CI #783: Pull request #78 opened by alexanderpann
December 22, 2023 10:36 12m 54s feature/upgrade_docx4j
feature/upgrade_docx4j
December 22, 2023 10:36 12m 54s
Fix broken reference CI #782: Commit b3143a9 pushed by alexanderpann
December 22, 2023 10:10 13m 28s feature/upgrade_docx4j
feature/upgrade_docx4j
December 22, 2023 10:10 13m 28s
Reimport the libs in docx4j.lib CI #781: Commit 7263d62 pushed by alexanderpann
December 22, 2023 10:02 4m 53s feature/upgrade_docx4j
feature/upgrade_docx4j
December 22, 2023 10:02 4m 53s
Reimport the libs in docx4j.lib CI #780: Commit 6348461 pushed by alexanderpann
December 22, 2023 09:58 1m 20s feature/upgrade_docx4j
feature/upgrade_docx4j
December 22, 2023 09:58 1m 20s
Merge pull request #77 from mbeddr/feature/migrate_20223 CI #779: Commit 3839047 pushed by alexanderpann
December 19, 2023 09:28 13m 12s master
master
December 19, 2023 09:28 13m 12s
license: set Apache License, Version 2.0 CI #778: Commit 7791d9f pushed by danielratiu
December 15, 2023 14:48 14m 1s master
master
December 15, 2023 14:48 14m 1s
Migrate to MPS 2022.3 CI #777: Pull request #77 opened by alexanderpann
December 15, 2023 11:11 13m 11s feature/migrate_20223
feature/migrate_20223
December 15, 2023 11:11 13m 11s
Use MPS 2022.3.1 CI #776: Commit 18dee8f pushed by alexanderpann
December 15, 2023 11:05 13m 11s feature/migrate_20223
feature/migrate_20223
December 15, 2023 11:05 13m 11s
Fix some warnings and errors CI #775: Commit a271c8c pushed by alexanderpann
December 15, 2023 10:53 13m 19s feature/migrate_20223
feature/migrate_20223
December 15, 2023 10:53 13m 19s
Fix some warnings and errors CI #774: Commit a271c8c pushed by alexanderpann
December 15, 2023 10:52 12m 54s feature/migrate_20222
feature/migrate_20222
December 15, 2023 10:52 12m 54s