Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
349 workflow runs
349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #120: by alexanderpann
December 19, 2023 09:28 49s
December 19, 2023 09:28 49s
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
pages build and deployment pages-build-deployment #119: by danielratiu
December 15, 2023 14:48 54s
December 15, 2023 14:48 54s
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
Merge remote-tracking branch 'origin/maintenance/MPS-2021.3' CI #773: Commit 703e9d7 pushed by danielratiu
November 30, 2023 10:39 14m 2s maintenance/MPS-2022.2
maintenance/MPS-2022.2
November 30, 2023 10:39 14m 2s
Merge remote-tracking branch 'origin/maintenance/MPS-2021.3' CI #772: Commit 703e9d7 pushed by danielratiu
November 30, 2023 10:20 18m 10s master
master
November 30, 2023 10:20 18m 10s
pages build and deployment pages-build-deployment #118: by danielratiu
November 30, 2023 10:20 59s
November 30, 2023 10:20 59s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.