Bump thor #638

Job	Run time
omnibus compilations, trigger	2s
omnibus compilations, #2	33m 6s
omnibus compilations, #1	28m 21s
omnibus compilations, #3	30m 21s
omnibus compilations, #9	27m 7s
omnibus compilations, #6	27m 46s
omnibus compilations, #10	26m 16s
omnibus compilations, #12	24m 43s
omnibus compilations, #4	25m 44s
omnibus compilations, #8	27m 20s
omnibus compilations, #5	27m 25s
omnibus compilations, #11	26m 27s
omnibus compilations, #7	32m 15s
omnibus compilations, result	3s
	5h 36m 56s

Provide feedback