search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130 stars 91 forks source link

Update CI config #95

Closed Ao-senXiong closed 4 months ago

sohah commented 5 months ago

@Ao-senXiong , thank you for your contributions, but do you mind cleaning up the comments in the workflow file before we pull your changes? @yannicnoller , changes look good to me once Aric cleans up the comments in the workflow file.

Ao-senXiong commented 5 months ago

@Ao-senXiong , thank you for your contributions, but do you mind cleaning up the comments in the workflow file before we pull your changes? @yannicnoller , changes look good to me once Aric cleans up the comments in the workflow file.

@sohah Done, thanks.