There were no notable changes in the changeset which was inspected.
Head |
Davide Pastore
Merge a2035fff0fe9c6d18b1ce63035d1db9ba71a7e50 into a7d01b9ae83290a72cec911fb06d1c6db222e1ee
|
---|---|
⋮ | 1 more commit |
Base |
Davide Pastore
Move to GitHub Actions (#53)
|