Issue 1002: Github Action fails is secret is not set - Fast Downward issue tracker

Title	Github Action fails is secret is not set
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, patfer, silvan
Assigned To		Keywords
Optional summary

Created on 2021-02-01.11:37:42 by patfer, last changed by silvan.

Messages
msg9971 (view)	Author: silvan	Date: 2021-02-01.15:47:15
Merged and pushed.
msg9970 (view)	Author: silvan	Date: 2021-02-01.15:47:02
Moving the original text from summary to change note. We observed that for a pull request from FORK to MAIN repository, the github actions seem to use the "secrets" set for the FORK repository. This is causes the LP compilation tests to fail. We cannot expect the fork to have set those secrets.

History
Date	User	Action	Args
2021-02-01 15:47:15	silvan	set	status: chatting -> resolved messages: + msg9971
2021-02-01 15:47:02	silvan	set	status: unread -> chatting messages: + msg9970 summary: We observed that for a pull request from FORK to MAIN repository, the github actions seem to use the "secrets" set for the FORK repository. This is causes the LP compilation tests to fail. We cannot expect the fork to have set those secrets. Todo: Install CPLEX/SoPlex only if the secret is set. ->
2021-02-01 11:37:42	patfer	create