Commit9e7314c

authored

Restore CI operation

Renaming is easier, but GitHub seems to miss CI which is quite a foot/head gun

1 parent651a81d commit9e7314cCopy full SHA for 9e7314c

File tree

-3

lines changed

-3

lines changed

Lines changed: 3 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -5,9 +5,9 @@ name: Python package`
`5`	`5`
`6`	`6`	`on:`
`7`	`7`	`push:`
`8`		`-branches:[master ]`
	`8`	`+branches:[main ]`
`9`	`9`	`pull_request:`
`10`		`-branches:[master ]`
	`10`	`+branches:[main ]`
`11`	`11`
`12`	`12`	`jobs:`
`13`	`13`	`build:`
`@@ -56,4 +56,4 @@ jobs:`
`56`	`56`	`run:\|`
`57`	`57`	`set -x`
`58`	`58`	`pip install -r doc/requirements.txt`
`59`		`- make -C doc html`
	`59`	`+ make -C doc html`

Comments

(0)