Discover gists
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Prism Launcher version: 9.1 (official) | |
Launched instance in online mode | |
login.microsoftonline.com resolves to: | |
[2603:1036:3000:60::17, 2603:1036:3000:60::20, 2603:1036:3000:60::11, 2603:1036:3000:60::3, 2603:1036:3000:60::16, 2603:1036:3000:60::d, 2603:1036:3000:60::e, 2603:1036:3000:60::5, 40.126.28.18, 20.190.135.16, 20.190.135.3, 20.190.135.6, 40.126.28.14, 20.190.135.19, 40.126.7.35, 20.190.135.18] | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- AH POST-SERVER LOGS -- | |
-- ServerID: 0e7c893d-bcbd-4c89-9ce9-51b1a12e4198 | |
-- Server started: February 06, 2025 09:27 PM UTC | Server uptime: 93 seconds | |
------------------ LOADB LOGS ------------------ | |
{ | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Lean.Elab.Command | |
elab tk:"#show " "macro " i:ident : command => do | |
let key ← Lean.Elab.Command.liftCoreM do Lean.Elab.realizeGlobalConstNoOverloadWithInfo i | |
let env ← Lean.getEnv | |
let names := Lean.Elab.macroAttribute.getEntries env key |>.map (·.declName) | |
Lean.logInfoAt tk (.joinSep names Lean.Format.line) | |
elab tk:"#show " "term_elab " i:ident : command => do | |
let key ← Lean.Elab.Command.liftCoreM do Lean.Elab.realizeGlobalConstNoOverloadWithInfo i |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
find ${1} -type f -name '*.pri' -exec sh -c \ | |
'mt_name=$(head -n 1 {} | sed -n "s/!\(.*\)_PRI {/\1/p"); echo -n "MT_${mt_name} = \"\$\$PWD/"' \; \ | |
-printf '%P"\n' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="utf-8"?> | |
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> | |
<files> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\reloaded-ii-tools.nupkg" checksum="59C6EECFAC574D7CB0770997131F6893" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\reloaded-ii-tools.nuspec" checksum="BBE13E0F63702F47CE27E65434228977" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\tools\7z.dll" checksum="2B9774BAB8D55D15B5EC3CA8144EB0EF" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\tools\7z64.dll" checksum="3C0E5F27997C83592A01FEB4C1FC0754" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\tools\e_sqlite3.dll" checksum="B429904F765F9EC975A15E8AB8CEB569" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\tools\LICENSE.txt" checksum="AC560FBF90966FAFE1F4A86ACC2795FA" /> | |
<file path="C:\ProgramData\chocolatey\lib\reloaded-ii-tools\t |
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Log uploaded on Thursday, February 6, 2025, 10:26:05 PM | |
Loaded mods: | |
Prepatcher(zetrith.prepatcher): 0Harmony(2.3.3), 0PrepatcherAPI(1.2.0), 0PrepatcherDataAssembly(1.0.0), PrepatcherImpl(1.0.0), Prestarter(1.0.0) | |
Harmony(brrainz.harmony)[mv:2.3.1.0]: 0Harmony(2.3.3), HarmonyMod(2.3.1) | |
Fishery - Modding Library(bs.fishery): 0PrepatcherAPI(1.2.0), 1Fishery(0.6.1), System.Runtime.CompilerServices.Unsafe(av:6.0.0,fv:6.0.21.52210) | |
Core(Ludeon.RimWorld): (no assemblies) | |
Performance Fish(bs.performance): PerformanceFish(0.6.2) | |
Royalty(Ludeon.RimWorld.Royalty): (no assemblies) | |
Ideology(Ludeon.RimWorld.Ideology): (no assemblies) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<script lang="ts" setup> | |
defineProps<{ text: string; from: string; to: string }>(); | |
const icon = useTemplateRef<SVGAElement>('iconRef') | |
const width = computed(() => icon.value?.clientWidth!) | |
</script> | |
<template> | |
<main |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Log uploaded on Thursday, February 6, 2025, 10:26:13 PM | |
Loaded mods: | |
Harmony(brrainz.harmony)[mv:2.3.1.0]: 0Harmony(2.3.3), HarmonyMod(2.3.1) | |
Core(Ludeon.RimWorld): (no assemblies) | |
A Dog Said... Animal Prosthetics(spoonshortage.ADogSaidAnimalProsthetics): (no assemblies) | |
HugsLib(UnlimitedHugs.HugsLib)[ov:11.0.4]: 0Harmony(av:2.3.3,fv:1.2.0.1), HugsLib(av:1.0.0,fv:11.0.4) | |
Allow Tool(UnlimitedHugs.AllowTool): AllowTool(av:3.6.0,fv:3.13.1) | |
Animal Sarcophagus(overpl.AnimalSarcophagus): (no assemblies) | |
Blueprints(Fluffy.Blueprints)[mv:2.17.133]: 0Harmony(av:2.3.3,fv:2.3.1.1), BetterKeybinding(av:4.0.0,fv:4.0.53), Blueprints(av:4.0.0,fv:4.0.53) | |
Dinosauria(spincrus.dinosauria): (no assemblies) |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Pipeline still running ... | |
PipelineRun is still running: Tasks Completed: 39 (Failed: 0, Cancelled 0), Incomplete: 2, Skipped: 13 | |
[get-pr-number : parse-pr-url] + echo -n 5153 | |
[get-pr-number : parse-pr-url] + tee /tekton/results/git_pr_number | |
[get-pr-number : parse-pr-url] 5153 | |
[acquire-lease : create-lease] + calculate_duration_in_seconds 90m | |
[acquire-lease : create-lease] + '[' m == m ']' | |
[acquire-lease : create-lease] + TOTAL_DURATION_IN_SECONDS=5400 | |
[acquire-lease : create-lease] + export TOTAL_DURATION_IN_SECONDS |