Commit 4dc5717
committed
Use tag instead of hash (using the hash does not work on GitHub Actions right now but is also not required anymore)
1 parent 63dda3b commit 4dc5717
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
71 | 71 | | |
72 | 72 | | |
73 | 73 | | |
74 | | - | |
| 74 | + | |
75 | 75 | | |
76 | 76 | | |
77 | 77 | | |
| |||
0 commit comments