Dario Lombardo b034473cb2 github: update windows action. ... The target user_guide_chm has been replaced by user_guide_html in 6bfab69d14, but the action hasn't been updated accordingly.		2021-06-28 12:53:38 +02:00
..
macos.yml	CI: Don't run xcode-select.	2021-02-18 13:54:47 +00:00
options.yml	github: add cmake options workflow.	2020-04-08 21:42:51 +00:00
ubuntu.yml	github: fix job names.	2020-03-27 06:24:19 +00:00
windows.yml	github: update windows action.	2021-06-28 12:53:38 +02:00