Commit 08ec51b
Update GitHub infrastructure (#1036)
* Increase fetch depth to avoid missing the commit
The target commit might not be the latest of the target branch.
* Add CODEOWNERS file
* dependencies: pin shapley version down to 2.0
---------
Co-authored-by: emanuel-schmid <schmide@ethz.ch>1 parent 304afb4 commit 08ec51b
File tree
3 files changed
+9
-1
lines changed- .github
- workflows
- requirements
3 files changed
+9
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
| 38 | + | |
38 | 39 | | |
39 | 40 | | |
40 | 41 | | |
| |||
0 commit comments