Merge branch 'master' of github.com:gridap/Gridap.jl into update-ci #2712
| Job | Run time |
|---|---|
| 13m 38s | |
| 1h 5m 44s | |
| 1h 26m 8s | |
| 55m 3s | |
| 1h 6m 48s | |
| 44m 44s | |
| 53m 44s | |
| 38m 48s | |
| 45m 27s | |
| 7h 50m 4s |
| Job | Run time |
|---|---|
| 13m 38s | |
| 1h 5m 44s | |
| 1h 26m 8s | |
| 55m 3s | |
| 1h 6m 48s | |
| 44m 44s | |
| 53m 44s | |
| 38m 48s | |
| 45m 27s | |
| 7h 50m 4s |