Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

35 enhance graph export #37

Merged
merged 7 commits into from
Mar 17, 2025
+482 −373

Refactor "UMLExporter" into "PMLNodeGraphExporter": more meaningful

7ab6727
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

35 enhance graph export #37

Refactor "UMLExporter" into "PMLNodeGraphExporter": more meaningful
7ab6727
Select commit
Loading
Failed to load commit list.
checks
succeeded Mar 17, 2025 in 2m 7s
Set up job
4s
Run actions/checkout@v4
1s
Setup JDK
6s
Run sbt/setup-sbt@v1
2s
Cache Monosat JAR and SO
1s
Get Monosat
0s
Configure Project
0s
Compile Monosat
0s
Moving monosat.jar and monosat.so
0s
Set env
0s
Run tests
1m 22s
Perform an interference analysis
25s
Post Cache Monosat JAR and SO
0s
Post Run sbt/setup-sbt@v1
2s
Post Setup JDK
1s
Post Run actions/checkout@v4
0s
Complete job
0s