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

mpsbasics: enhanced the pdfexport (#81) CI #823: Commit c8611b1 pushed by danielratiu
February 28, 2024 14:42 12m 58s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 28, 2024 14:42 12m 58s
mpsbasics: enhanced the pdfexport CI #822: Pull request #81 opened by danielratiu
February 28, 2024 14:08 13m 21s maintenance/MPS-2022.2_pdf_export_enhancement
maintenance/MPS-2022.2_pdf_export_enhancement
February 28, 2024 14:08 13m 21s
mpsbasics: enhanced the pdfexport CI #821: Commit 76e9d38 pushed by danielratiu
February 28, 2024 13:43 13m 36s maintenance/MPS-2022.2_pdf_export_enhancement
maintenance/MPS-2022.2_pdf_export_enhancement
February 28, 2024 13:43 13m 36s
gsn: slightly better editor styles CI #820: Commit 54a5bcf pushed by danielratiu
February 20, 2024 22:55 14m 7s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 20, 2024 22:55 14m 7s
Create CODE_OF_CONDUCT.md CI #819: Commit bbd038c pushed by alexanderpann
February 20, 2024 21:27 14m 36s master
master
February 20, 2024 21:27 14m 36s
Merge pull request #80 from mbeddr/feature/pdf_export CI #818: Commit 4d02896 pushed by danielratiu
February 19, 2024 09:47 14m 30s maintenance/MPS-2022.2
maintenance/MPS-2022.2
February 19, 2024 09:47 14m 30s
Implement initial support for exporting to PDF CI #817: Pull request #80 opened by danielratiu
February 18, 2024 21:32 14m 10s feature/pdf_export
feature/pdf_export
February 18, 2024 21:32 14m 10s
gsn.pdfexport: initial version for exporting argument legs to PDF CI #816: Commit 6ba241f pushed by danielratiu
February 18, 2024 18:29 13m 28s feature/pdf_export
feature/pdf_export
February 18, 2024 18:29 13m 28s
safety.argument.modelquery: fixed runtime solution CI #815: Commit 36489f6 pushed by danielratiu
February 18, 2024 18:08 13m 55s feature/pdf_export
feature/pdf_export
February 18, 2024 18:08 13m 55s
safety: fixing the build CI #814: Commit c1053f0 pushed by danielratiu
February 18, 2024 15:14 11m 33s feature/pdf_export
feature/pdf_export
February 18, 2024 15:14 11m 33s
gsn.pdfexport: initial version for exporting argument legs to PDF CI #813: Commit f7dcf27 pushed by danielratiu
February 18, 2024 15:00 2m 52s feature/pdf_export
feature/pdf_export
February 18, 2024 15:00 2m 52s
Merge pull request #79 from mbeddr/feature/migrate_to_2023.2 CI #812: Commit 51684d7 pushed by danielratiu
January 30, 2024 22:05 14m 0s master
master
January 30, 2024 22:05 14m 0s
Upgrade to MPS 2023.2 CI #811: Pull request #79 synchronize by alexanderpann
January 30, 2024 12:09 14m 8s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 30, 2024 12:09 14m 8s
com.mbeddr.formal.nusmv.import: Use a static instance for the NuSVMPa… CI #810: Commit 52ee2d5 pushed by alexanderpann
January 30, 2024 12:08 13m 45s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 30, 2024 12:08 13m 45s
Upgrade to MPS 2023.2 CI #809: Pull request #79 synchronize by alexanderpann
January 30, 2024 10:19 15m 23s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 30, 2024 10:19 15m 23s
Include the JNA path workaround. CI #808: Commit 99e9006 pushed by alexanderpann
January 30, 2024 10:19 15m 3s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 30, 2024 10:19 15m 3s
Upgrade to MPS 2023.2 CI #807: Pull request #79 synchronize by alexanderpann
January 29, 2024 10:38 12m 52s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 29, 2024 10:38 12m 52s
com.mbeddr.formal.nusmv: update the build script CI #806: Commit 514ae98 pushed by alexanderpann
January 29, 2024 10:38 12m 9s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 29, 2024 10:38 12m 9s
Upgrade to MPS 2023.2 CI #805: Pull request #79 synchronize by alexanderpann
January 25, 2024 11:58 12m 31s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 11:58 12m 31s
com.mbeddr.formal.nusmv.importer.rt: Upgrade asm from 7.0 to 9.2 to a… CI #804: Commit 038f907 pushed by alexanderpann
January 25, 2024 11:57 12m 23s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 11:57 12m 23s
Upgrade to MPS 2023.2 CI #803: Pull request #79 synchronize by alexanderpann
January 25, 2024 11:03 12m 42s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 11:03 12m 42s
Reload some build scripts CI #802: Commit 80773ef pushed by alexanderpann
January 25, 2024 11:03 13m 6s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 11:03 13m 6s
Upgrade to MPS 2023.2 CI #801: Pull request #79 synchronize by alexanderpann
January 25, 2024 10:38 12m 42s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 10:38 12m 42s
Force save all CI #800: Commit c56ca52 pushed by alexanderpann
January 25, 2024 10:38 13m 8s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 10:38 13m 8s
Upgrade to MPS 2023.2 CI #799: Pull request #79 opened by alexanderpann
January 25, 2024 10:08 12m 34s feature/migrate_to_2023.2
feature/migrate_to_2023.2
January 25, 2024 10:08 12m 34s