<{^_^}>
#120501 (by Mic92, 3 minutes ago, open): gnmake: use sh instead of /bin/sh by default
<lukegb>
Hrm, the PR labelling GitHub Action no longer runs on first-time contributor's PRs because of the changes they made
<lukegb>
s/they/GitHub/
<qyliss>
I wonder if it might be worth moving small actions like that out of GHA
<qyliss>
I do realise we only just moved it _to_ GHA, but if it was (for example) still in OfBorg we wouldn't be having this problem and it couldn't be changed from under us
<MichaelRaskin>
qyliss++
<{^_^}>
qyliss's karma got increased to 133
<MichaelRaskin>
I mean, it would still be changed from under us by breaking GH APIs _again_
<qyliss>
well that's true
<lukegb>
I think it's a good idea, but also I think that it's nice having the configuration for it in the repo rather than in OfBorg's repo
<lukegb>
I would care less if there was a way of searching the open PRs for "needs approval for actions to run" but alas
<MichaelRaskin>
Is it enough to have approval by _anyone in the org_ (i.e. maintainers with no commit rights)?
<lukegb>
No, you need push rights I think
<MichaelRaskin>
Argh
<MichaelRaskin>
Committer approvals were supposed to mean something…
<lukegb>
It's different from approving the PR; you click a button saying "please run the actions"
<MichaelRaskin>
OK, better, but still
<qyliss>
actions we might want to move out of GHA: editorconfig, labels, manual-nixos, manual-nixpkgs
<MichaelRaskin>
Well, technically one could propose a change to the manual build, no?
<MichaelRaskin>
And have we ever had editorconfig in ofborg?
<qyliss>
no
<MichaelRaskin>
Maybe it is cheaper to make @ofborg actions ?
<qyliss>
labels are the most important, because you need to see them before you open a PR to review
<MichaelRaskin>
(allowed to all maintainers or so)
<MichaelRaskin>
labels code in ofborg is probably fine…
<supersandro2000>
qyliss: you don't really need them tbh
<supersandro2000>
they are just important to know the target branch and how much is going to be rebuild locally
<supersandro2000>
> When a maintainer views the pull request, they’ll see a button in the merge box asking them to “Approve and run” the workflows.
<{^_^}>
error: syntax error, unexpected ',', expecting ')', at (string):494:41
<supersandro2000>
> Once a collaborator with write access has reviewed the changes, they can approve the workflows to run for the current commit only.
<{^_^}>
error: syntax error, unexpected WITH, expecting ')', at (string):494:21
<MichaelRaskin>
supersandro2000: labels also tell you if you have any idea about what is going on inside the package
<supersandro2000>
they are nice but you don't require them
<supersandro2000>
we could add a label to the PR template that is removed by the action?
<supersandro2000>
then we could just go through that label and aprove things
<MichaelRaskin>
I am _impressed_ that you still go on looking at all kinds of PRs throughout, but on average people give up and concentrate on things where they have some basic idea what's going before even reading the code
<MichaelRaskin>
Ohh, now template can set labels
<MichaelRaskin>
Nice idea
<supersandro2000>
well I skip Haskell, ocaml, coq, agda and most of the time nixos modules
ekleog has quit [Changing host]
ekleog has joined #nixos-dev
zowoq[m] has joined #nixos-dev
<qyliss>
labelling in template sounds good -- if you know how to do that, could you set that up?
<zowoq[m]>
the editorconfig action is the only one that requires approval
<zowoq[m]>
the other PR actions use pull_request_target which is unaffected by this
<lukegb>
aaah, thanks zowoq[m]
<qyliss>
oh cool
<qyliss>
would still be cool to label ones that need approval
<qyliss>
which it sounds like we could do by labelling and unlabelling
<qyliss>
oh wait maybe not, if the label action doesn't need approval
<lukegb>
we can, if we make the unlabel action run in the pull_request context and not pull_request_target
<qyliss>
oh okay cool
<qyliss>
only downside is it'd be a little spam in every PR, with the labelling and unlabelling
<lukegb>
yeah; I'm not 100% sure it's worth it for editorconfig alone? maybe if we had more actions it might make more sense
<lukegb>
we could consider trying to move as much as possible to pull_request_target, but there are Dire Warnings associated with it
<MichaelRaskin>
Of we were running tests in GHAs, then maybe
<ScottHDev>
Hello, I was working on a derivation and lost a patch file. Is there a way to get it back as it's for sure still in the /nix/store ?
<lukegb>
If you still have the result symlink `nix show-derivation ./result` might help you find it
<qyliss>
if you don't have the symlink, but you can remember something in it, you could find /nix/store -maxdepth 1 -name '*.patch' -print0 | xargs -0 grep <pattern>
<ekleog>
supersandro2000: WRT https://github.com/NixOS/nixpkgs/pull/119962 : please, really, stop merging PRs just 10 hours after they are made and before the maintainer has had any chance to even view the notification that a PR has been made. Especially when said maintainer already commented on the PR when it was still a draft. And even more especially when said PR does not have any automated test yet.
AlwaysLivid has quit [Remote host closed the connection]
<ekleog>
I mean I know it'd be sad but I'm more and more leaning towards “maybe you should just stop using your commit bit altogether and focus on giving r+'s, then letting other people who know you have already reviewed merge the PRs
AlwaysLivid has joined #nixos-dev
<ekleog>
(Sorry to say this, it's hard but I feel like I am a direct witness of more than one such incident per month, which makes me fear the number of actual such incidents given that I know I'm following only a small part of nixpkgs' changes)
tokudan has quit [Remote host closed the connection]
tokudan has joined #nixos-dev
tokudan has quit [Remote host closed the connection]
tokudan has joined #nixos-dev
symphorien[m] has quit [Ping timeout: 245 seconds]
Dandellion has quit [Ping timeout: 245 seconds]
roberth has quit [Ping timeout: 245 seconds]
jtojnar has quit [Ping timeout: 250 seconds]
thefloweringash has quit [Ping timeout: 245 seconds]
arcnmx has quit [Ping timeout: 245 seconds]
jonringer has joined #nixos-dev
Dandellion has joined #nixos-dev
roberth has joined #nixos-dev
thefloweringash has joined #nixos-dev
arcnmx has joined #nixos-dev
jtojnar has joined #nixos-dev
symphorien[m] has joined #nixos-dev
pmy has quit [Quit: WeeChat 3.1]
pmy has joined #nixos-dev
cole-h has joined #nixos-dev
asbachb has joined #nixos-dev
justanotheruser has quit [Ping timeout: 250 seconds]
justanotheruser has joined #nixos-dev
evils has quit [Ping timeout: 240 seconds]
evils has joined #nixos-dev
jtojnar has quit [Ping timeout: 245 seconds]
jtojnar has joined #nixos-dev
__monty__ has joined #nixos-dev
ScottHDev has joined #nixos-dev
asbachb has quit [Quit: Connection closed]
jonringer has quit [Remote host closed the connection]
jonringer has joined #nixos-dev
abathur has quit [Quit: abathur]
abathur has joined #nixos-dev
rajivr has quit [Quit: Connection closed for inactivity]
rsynnest has joined #nixos-dev
<abathur>
any special handling needed for a major version bump to a CLI tool that has some ~compatibility changes?
<abathur>
a CLI tool version bump (v2.x -> v3.x) will drop support for a v1.x compat flag and relocate some state/config paths used in v2.x; invoking it with old paths present prints a notice encouraging you to use a command to upgrade/migrate them; also overridable with flags and maybe config; tool not already mentioned in any past nixOS release notes
<p01ar>
hello :)
<abathur>
yo
<samueldr>
abathur: checking behaviour of dependents in Nixpkgs, I suppose
<abathur>
samueldr: good point; I don't see any invocations
<samueldr>
then I guess it's follow what upstream recommends for packaging
<abathur>
<3 samueldr
<{^_^}>
samueldr's karma got increased to 338
<samueldr>
most packages are "as upstream as possible"
<abathur>
we don't actually touch anything where there's a distinction/change there; just something that I know will nag every user about updating on invocation after their nixpkgs rolls over to it
<abathur>
potentially breaking script/daemon uses etc.
<abathur>
*nag them about running the update command to relocate their state files
<samueldr>
yeah well, that's where we follow upstream's recommendations, if any
<samueldr>
if the tool is widely used enough, maybe add a release note
Willi_Butz has quit [*.net *.split]
charukiewicz_ has quit [*.net *.split]
malbx has quit [*.net *.split]
sid_cypher has quit [*.net *.split]
adisbladis has quit [*.net *.split]
harrow has quit [*.net *.split]
julm has quit [*.net *.split]
Profpatsch has quit [*.net *.split]
jtojnar has quit [*.net *.split]
FireFly has quit [*.net *.split]
teozkr_ has quit [*.net *.split]
aristid has quit [*.net *.split]
s1341_ has quit [*.net *.split]
mjlbach has quit [*.net *.split]
kini has quit [*.net *.split]
zuh0 has quit [*.net *.split]
kloenk has quit [*.net *.split]
Ericson2314 has quit [*.net *.split]
domenkozar[m] has quit [*.net *.split]
garbas[m] has quit [*.net *.split]
ky0ko1 has quit [*.net *.split]
Valodim has quit [*.net *.split]
prusnak has quit [*.net *.split]
grfn has quit [*.net *.split]
gchristensen has quit [*.net *.split]
tdeo has quit [*.net *.split]
Mic92 has quit [*.net *.split]
catern has quit [*.net *.split]
pingiun has quit [*.net *.split]
lopsided98 has quit [*.net *.split]
thoughtpolice has quit [*.net *.split]
{^_^} has quit [*.net *.split]
sphalerite has quit [*.net *.split]
talyz has quit [*.net *.split]
ar has quit [*.net *.split]
orivej has quit [*.net *.split]
Cale has quit [*.net *.split]
supersandro2000 has quit [*.net *.split]
MichaelRaskin has quit [*.net *.split]
aminechikhaoui has quit [*.net *.split]
edwtjo has quit [*.net *.split]
infinisil has quit [*.net *.split]
hexchen has quit [*.net *.split]
etu has quit [*.net *.split]
asymmetric has quit [*.net *.split]
terrorjack has quit [*.net *.split]
V has quit [*.net *.split]
dottedmag has quit [*.net *.split]
kgz has quit [*.net *.split]
abathur has quit [*.net *.split]
hplar has quit [*.net *.split]
hl has quit [*.net *.split]
mjsir911 has quit [*.net *.split]
Emantor has quit [*.net *.split]
janneke has quit [*.net *.split]
feepo has quit [*.net *.split]
cstrahan has quit [*.net *.split]
p01ar has quit [*.net *.split]
rsynnest has quit [*.net *.split]
jonringer has quit [*.net *.split]
tokudan has quit [*.net *.split]
jess has quit [*.net *.split]
jared-w has quit [*.net *.split]
dmj` has quit [*.net *.split]
midchildan_ has quit [*.net *.split]
alunduil has quit [*.net *.split]
nh2 has quit [*.net *.split]
carter has quit [*.net *.split]
nyanotech has quit [*.net *.split]
gleber has quit [*.net *.split]
chrisaw has quit [*.net *.split]
appservicebot5 has quit [*.net *.split]
Raito_Bezarius has quit [*.net *.split]
davidtwco has quit [*.net *.split]
greizgh has quit [*.net *.split]
andi- has quit [*.net *.split]
b42 has quit [*.net *.split]
Baughn has quit [*.net *.split]
taktoa[c] has quit [*.net *.split]
jkkm has quit [*.net *.split]
srhb has quit [*.net *.split]
lucus16 has quit [*.net *.split]
mewra has quit [*.net *.split]
emilazy has quit [*.net *.split]
weechat_4 has quit [*.net *.split]
manveru has quit [*.net *.split]
XgF has quit [*.net *.split]
flokli has quit [*.net *.split]
greaka has quit [*.net *.split]
yorick has quit [*.net *.split]
bennofs has quit [*.net *.split]
thibm has quit [*.net *.split]
Jackneill has quit [*.net *.split]
page has quit [*.net *.split]
dongcarl has quit [*.net *.split]
Graypup_ has quit [*.net *.split]
eyJhb has quit [*.net *.split]
__monty__ has quit [*.net *.split]
cole-h has quit [*.net *.split]
tv has quit [*.net *.split]
bpye has quit [*.net *.split]
cptchaos83 has quit [*.net *.split]
energizer has quit [*.net *.split]
arianvp has quit [*.net *.split]
AlwaysLivid has quit [*.net *.split]
arcnmx has quit [*.net *.split]
Sigyn has quit [*.net *.split]
kalbasit[m] has quit [*.net *.split]
zimbatm[m] has quit [*.net *.split]
philipp[m] has quit [*.net *.split]
ma27[m] has quit [*.net *.split]
maralorn has quit [*.net *.split]
emily has quit [*.net *.split]
hexa- has quit [*.net *.split]
aaronjanse has quit [*.net *.split]
nh2[m] has quit [*.net *.split]
jonge[m] has quit [*.net *.split]
Valodim[m] has quit [*.net *.split]
colemickens has quit [*.net *.split]
ashkitten has quit [*.net *.split]
ddima has quit [*.net *.split]
jdnixx-M has quit [*.net *.split]
thefloweringash has quit [*.net *.split]
zowoq[m] has quit [*.net *.split]
roberth has quit [*.net *.split]
regnat[m] has quit [*.net *.split]
ili has quit [*.net *.split]
rmcgibbo[m] has quit [*.net *.split]
rnhmjoj has quit [*.net *.split]
DamienCassou has quit [*.net *.split]
veleiro has quit [*.net *.split]
danielrf[m] has quit [*.net *.split]
chvp has quit [*.net *.split]
Shados has quit [*.net *.split]
hyperfekt has quit [*.net *.split]
mdlayher has quit [*.net *.split]
aria has quit [*.net *.split]
marek has quit [*.net *.split]
justanotheruser has quit [*.net *.split]
srk has quit [*.net *.split]
vdemeester has quit [*.net *.split]
bridge[evilred] has quit [*.net *.split]
misuzu has quit [*.net *.split]
mcint has quit [*.net *.split]
NinjaTrappeur has quit [*.net *.split]
cbarrett has quit [*.net *.split]
teehemkay has quit [*.net *.split]
tetdim has quit [*.net *.split]
maxine has quit [*.net *.split]
endocrimes has quit [*.net *.split]
pbb has quit [*.net *.split]
qyliss has quit [*.net *.split]
avocadoom has quit [*.net *.split]
elvishjerricco has quit [*.net *.split]
betawaffle has quit [*.net *.split]
typetetris has quit [*.net *.split]
tazjin has quit [*.net *.split]
radvendii has quit [*.net *.split]
georgyo has quit [*.net *.split]
piegames[m] has quit [*.net *.split]
kraem has quit [*.net *.split]
risson has quit [*.net *.split]
ehmry has quit [*.net *.split]
plumm has quit [*.net *.split]
evils has quit [*.net *.split]
spacekookie has quit [*.net *.split]
drakonis has quit [*.net *.split]
scott has quit [*.net *.split]
mmlb has quit [*.net *.split]
Taneb has quit [*.net *.split]
zhaofeng has quit [*.net *.split]
bennofs__ has quit [*.net *.split]
das_j has quit [*.net *.split]
lassulus has quit [*.net *.split]
aszlig has quit [*.net *.split]
m1cr0man has quit [*.net *.split]
raboof has quit [*.net *.split]
ekleog has quit [*.net *.split]
stew has quit [*.net *.split]
ikwildrpepper has quit [*.net *.split]
symphorien[m] has quit [*.net *.split]
ajs124 has quit [*.net *.split]
davidak[m] has quit [*.net *.split]
siraben has quit [*.net *.split]
c00w has quit [*.net *.split]
angerman has quit [*.net *.split]
thonkpod has quit [*.net *.split]
zhaofeng_alt has quit [*.net *.split]
aanderse has quit [*.net *.split]
LinuxHackerman has quit [*.net *.split]
ryantm has quit [*.net *.split]
JJJollyjim has quit [*.net *.split]
Ox4A6F has quit [*.net *.split]
fzakaria has quit [*.net *.split]
immae has quit [*.net *.split]
jefferai has quit [*.net *.split]
matthewcroughan has quit [*.net *.split]
makefu has quit [*.net *.split]
ris has quit [*.net *.split]
AtnNn has quit [*.net *.split]
blueberrypie has quit [*.net *.split]
xwvvvvwx has quit [*.net *.split]
capisce has quit [*.net *.split]
Dandellion has quit [*.net *.split]
michaelpj has quit [*.net *.split]
puzzlewolf has quit [*.net *.split]
Gaelan has quit [*.net *.split]
johanot has quit [*.net *.split]
hax404 has quit [*.net *.split]
clever has quit [*.net *.split]
sterni has quit [*.net *.split]
stigo has quit [*.net *.split]
averell has quit [*.net *.split]
pinpox has quit [*.net *.split]
ivan has quit [*.net *.split]
delroth has quit [*.net *.split]
ericnoan has quit [*.net *.split]
disasm_ has quit [*.net *.split]
euank has quit [*.net *.split]
johnny101 has quit [*.net *.split]
ChanServ has quit [*.net *.split]
lassulus has joined #nixos-dev
das_j has joined #nixos-dev
bennofs__ has joined #nixos-dev
zhaofeng has joined #nixos-dev
stew has joined #nixos-dev
ikwildrpepper has joined #nixos-dev
ekleog has joined #nixos-dev
raboof has joined #nixos-dev
aszlig has joined #nixos-dev
m1cr0man has joined #nixos-dev
Sigyn has joined #nixos-dev
abathur has joined #nixos-dev
carter has joined #nixos-dev
hexchen has joined #nixos-dev
Emantor has joined #nixos-dev
s1341_ has joined #nixos-dev
Willi_Butz has joined #nixos-dev
supersandro2000 has joined #nixos-dev
jess has joined #nixos-dev
jtojnar has joined #nixos-dev
catern has joined #nixos-dev
Cale has joined #nixos-dev
midchildan_ has joined #nixos-dev
kini has joined #nixos-dev
charukiewicz_ has joined #nixos-dev
aristid has joined #nixos-dev
janneke has joined #nixos-dev
dmj` has joined #nixos-dev
teozkr_ has joined #nixos-dev
jonringer has joined #nixos-dev
orivej has joined #nixos-dev
mjlbach has joined #nixos-dev
mjsir911 has joined #nixos-dev
tokudan has joined #nixos-dev
MichaelRaskin has joined #nixos-dev
Jackneill has joined #nixos-dev
nyanotech has joined #nixos-dev
gleber has joined #nixos-dev
rsynnest has joined #nixos-dev
tdeo has joined #nixos-dev
greizgh has joined #nixos-dev
cptchaos83 has joined #nixos-dev
page has joined #nixos-dev
chrisaw has joined #nixos-dev
zuh0 has joined #nixos-dev
bennofs has joined #nixos-dev
garbas[m] has joined #nixos-dev
malbx has joined #nixos-dev
Ericson2314 has joined #nixos-dev
kloenk has joined #nixos-dev
__monty__ has joined #nixos-dev
terrorjack has joined #nixos-dev
feepo has joined #nixos-dev
adisbladis has joined #nixos-dev
p01ar has joined #nixos-dev
andi- has joined #nixos-dev
prusnak has joined #nixos-dev
flokli has joined #nixos-dev
dottedmag has joined #nixos-dev
harrow has joined #nixos-dev
hl has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
edwtjo has joined #nixos-dev
Valodim has joined #nixos-dev
XgF has joined #nixos-dev
hplar has joined #nixos-dev
grfn has joined #nixos-dev
gchristensen has joined #nixos-dev
aminechikhaoui has joined #nixos-dev
yorick has joined #nixos-dev
manveru has joined #nixos-dev
asymmetric has joined #nixos-dev
alunduil has joined #nixos-dev
sid_cypher has joined #nixos-dev
jkkm has joined #nixos-dev
srhb has joined #nixos-dev
Baughn has joined #nixos-dev
FireFly has joined #nixos-dev
jared-w has joined #nixos-dev
cstrahan has joined #nixos-dev
Profpatsch has joined #nixos-dev
sphalerite has joined #nixos-dev
ky0ko1 has joined #nixos-dev
Raito_Bezarius has joined #nixos-dev
V has joined #nixos-dev
talyz has joined #nixos-dev
Mic92 has joined #nixos-dev
davidtwco has joined #nixos-dev
bpye has joined #nixos-dev
weechat_4 has joined #nixos-dev
appservicebot5 has joined #nixos-dev
cole-h has joined #nixos-dev
lopsided98 has joined #nixos-dev
emilazy has joined #nixos-dev
nh2 has joined #nixos-dev
etu has joined #nixos-dev
greaka has joined #nixos-dev
thoughtpolice has joined #nixos-dev
lucus16 has joined #nixos-dev
ar has joined #nixos-dev
{^_^} has joined #nixos-dev
infinisil has joined #nixos-dev
mewra has joined #nixos-dev
pingiun has joined #nixos-dev
thibm has joined #nixos-dev
julm has joined #nixos-dev
b42 has joined #nixos-dev
kgz has joined #nixos-dev
taktoa[c] has joined #nixos-dev
eyJhb has joined #nixos-dev
energizer has joined #nixos-dev
arianvp has joined #nixos-dev
Graypup_ has joined #nixos-dev
dongcarl has joined #nixos-dev
AlwaysLivid has joined #nixos-dev
thonkpod has joined #nixos-dev
immae has joined #nixos-dev
aanderse has joined #nixos-dev
c00w has joined #nixos-dev
LinuxHackerman has joined #nixos-dev
zhaofeng_alt has joined #nixos-dev
JJJollyjim has joined #nixos-dev
davidak[m] has joined #nixos-dev
angerman has joined #nixos-dev
siraben has joined #nixos-dev
ajs124 has joined #nixos-dev
symphorien[m] has joined #nixos-dev
fzakaria has joined #nixos-dev
Ox4A6F has joined #nixos-dev
ryantm has joined #nixos-dev
raboof has quit [Max SendQ exceeded]
pinpox has joined #nixos-dev
averell has joined #nixos-dev
stigo has joined #nixos-dev
clever has joined #nixos-dev
johnny101 has joined #nixos-dev
ericnoan has joined #nixos-dev
disasm_ has joined #nixos-dev
euank has joined #nixos-dev
delroth has joined #nixos-dev
ivan has joined #nixos-dev
siraben has quit [Max SendQ exceeded]
dmj` has quit [Ping timeout: 250 seconds]
Gaelan has joined #nixos-dev
johanot has joined #nixos-dev
hax404 has joined #nixos-dev
puzzlewolf has joined #nixos-dev
sterni has joined #nixos-dev
michaelpj has joined #nixos-dev
Dandellion has joined #nixos-dev
Dandellion has quit [Ping timeout: 240 seconds]
blueberrypie has joined #nixos-dev
ris has joined #nixos-dev
makefu has joined #nixos-dev
xwvvvvwx has joined #nixos-dev
capisce has joined #nixos-dev
AtnNn has joined #nixos-dev
Ericson2314 has quit [Max SendQ exceeded]
zimbatm[m] has joined #nixos-dev
emily has joined #nixos-dev
ma27[m] has joined #nixos-dev
maralorn has joined #nixos-dev
philipp[m] has joined #nixos-dev
kalbasit[m] has joined #nixos-dev
hexa- has joined #nixos-dev
aaronjanse has joined #nixos-dev
jonge[m] has joined #nixos-dev
arcnmx has joined #nixos-dev
Valodim[m] has joined #nixos-dev
ashkitten has joined #nixos-dev
nh2[m] has joined #nixos-dev
ddima has joined #nixos-dev
jdnixx-M has joined #nixos-dev
hexa- has quit [Max SendQ exceeded]
Taneb has joined #nixos-dev
mmlb has joined #nixos-dev
scott has joined #nixos-dev
drakonis has joined #nixos-dev
plumm has joined #nixos-dev
evils has joined #nixos-dev
kalbasit[m] has quit [Max SendQ exceeded]
steveeJ has quit [Ping timeout: 246 seconds]
jtojnar has quit [Ping timeout: 258 seconds]
arcnmx has quit [Ping timeout: 276 seconds]
emily has quit [Ping timeout: 276 seconds]
Gaelan has quit [Max SendQ exceeded]
davidak[m] has quit [Ping timeout: 248 seconds]
sorear has quit [Ping timeout: 246 seconds]
JJJollyjim has quit [Ping timeout: 248 seconds]
ryantm has quit [Ping timeout: 248 seconds]
immae has quit [Ping timeout: 248 seconds]
Ox4A6F has quit [Ping timeout: 248 seconds]
michaelpj has quit [Ping timeout: 267 seconds]
puzzlewolf has quit [Ping timeout: 267 seconds]
mjlbach has quit [Ping timeout: 258 seconds]
zuh0 has quit [Ping timeout: 258 seconds]
kloenk has quit [Ping timeout: 258 seconds]
garbas[m] has quit [Ping timeout: 258 seconds]
domenkozar[m] has quit [Ping timeout: 258 seconds]
feepo has quit [Ping timeout: 245 seconds]
rmcgibbo[m] has joined #nixos-dev
DamienCassou has joined #nixos-dev
rnhmjoj has joined #nixos-dev
ili has joined #nixos-dev
veleiro has joined #nixos-dev
regnat[m] has joined #nixos-dev
Shados has joined #nixos-dev
danielrf[m] has joined #nixos-dev
zowoq[m] has joined #nixos-dev
chvp has joined #nixos-dev
roberth has joined #nixos-dev
hyperfekt has joined #nixos-dev
aria has joined #nixos-dev
thefloweringash has joined #nixos-dev
mdlayher has joined #nixos-dev
marek has joined #nixos-dev
DamienCassou has quit [Max SendQ exceeded]
thefloweringash has quit [Ping timeout: 247 seconds]
roberth has quit [Ping timeout: 272 seconds]
zowoq[m] has quit [Ping timeout: 272 seconds]
regnat[m] has quit [Ping timeout: 272 seconds]
ili has quit [Ping timeout: 272 seconds]
rmcgibbo[m] has quit [Ping timeout: 247 seconds]
rnhmjoj has quit [Ping timeout: 272 seconds]
chvp has quit [Ping timeout: 272 seconds]
danielrf[m] has quit [Ping timeout: 247 seconds]
veleiro has quit [Ping timeout: 247 seconds]
georgyo has joined #nixos-dev
symphorien[m] has quit [Ping timeout: 248 seconds]
aanderse has quit [Ping timeout: 248 seconds]
cbarrett has joined #nixos-dev
mcint has joined #nixos-dev
bridge[evilred] has joined #nixos-dev
NinjaTrappeur has joined #nixos-dev
teehemkay has joined #nixos-dev
vdemeester has joined #nixos-dev
misuzu has joined #nixos-dev
pbb has joined #nixos-dev
maxine has joined #nixos-dev
srk has joined #nixos-dev
endocrimes has joined #nixos-dev
tetdim has joined #nixos-dev
radvendii has joined #nixos-dev
avocadoom has joined #nixos-dev
justanotheruser has joined #nixos-dev
ehmry has joined #nixos-dev
kraem has joined #nixos-dev
risson has joined #nixos-dev
piegames[m] has joined #nixos-dev
spacekookie has joined #nixos-dev
typetetris has joined #nixos-dev
tazjin has joined #nixos-dev
elvishjerricco has joined #nixos-dev
qyliss has joined #nixos-dev
zimbatm[m] has quit [Ping timeout: 276 seconds]
philipp[m] has quit [Ping timeout: 276 seconds]
ma27[m] has quit [Ping timeout: 276 seconds]
aaronjanse has quit [Ping timeout: 276 seconds]
nh2[m] has quit [Ping timeout: 276 seconds]
jonge[m] has quit [Ping timeout: 276 seconds]
Valodim[m] has quit [Ping timeout: 276 seconds]
elvishjerricco has quit [Ping timeout: 255 seconds]
raboof has joined #nixos-dev
maralorn has quit [Ping timeout: 276 seconds]
raboof has quit [Excess Flood]
hexa- has joined #nixos-dev
raboof has joined #nixos-dev
aria has quit [Ping timeout: 243 seconds]
sorear has joined #nixos-dev
cstrahan has quit [Ping timeout: 245 seconds]
jefferai has joined #nixos-dev
teehemkay has quit [Ping timeout: 265 seconds]
steveeJ has joined #nixos-dev
LinuxHackerman has quit [Ping timeout: 248 seconds]
nh2 has quit [Ping timeout: 250 seconds]
betawaffle has joined #nixos-dev
alunduil has quit [Ping timeout: 250 seconds]
cbarrett has quit [Ping timeout: 260 seconds]
dmj` has joined #nixos-dev
carter has quit [Ping timeout: 250 seconds]
nh2 has joined #nixos-dev
alunduil has joined #nixos-dev
aria has joined #nixos-dev
teehemkay has joined #nixos-dev
cstrahan has joined #nixos-dev
elvishjerricco has joined #nixos-dev
carter has joined #nixos-dev
feepo has joined #nixos-dev
carter has quit [Excess Flood]
cbarrett has joined #nixos-dev
carter has joined #nixos-dev
elvishjerricco has quit [Client Quit]
elvishjerricco has joined #nixos-dev
raboof has quit [Read error: Connection timed out]
raboof has joined #nixos-dev
colemickens has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
fuzzypixelz has joined #nixos-dev
mjlbach has joined #nixos-dev
Valodim[m] has joined #nixos-dev
ma27[m] has joined #nixos-dev
DamienCassou has joined #nixos-dev
davidak[m] has joined #nixos-dev
kalbasit[m] has joined #nixos-dev
emily has joined #nixos-dev
aaronjanse has joined #nixos-dev
Ericson2314 has joined #nixos-dev
philipp[m] has joined #nixos-dev
symphorien[m] has joined #nixos-dev
jtojnar has joined #nixos-dev
Ox4A6F has joined #nixos-dev
rnhmjoj has joined #nixos-dev
arcnmx has joined #nixos-dev
michaelpj has joined #nixos-dev
nh2[m] has joined #nixos-dev
jonge[m] has joined #nixos-dev
ryantm has joined #nixos-dev
Dandellion has joined #nixos-dev
puzzlewolf has joined #nixos-dev
JJJollyjim has joined #nixos-dev
kloenk has joined #nixos-dev
veleiro has joined #nixos-dev
chvp has joined #nixos-dev
thefloweringash has joined #nixos-dev
aanderse has joined #nixos-dev
roberth has joined #nixos-dev
danielrf[m] has joined #nixos-dev
zimbatm[m] has joined #nixos-dev
zuh0 has joined #nixos-dev
siraben has joined #nixos-dev
garbas[m] has joined #nixos-dev
immae has joined #nixos-dev
maralorn has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
rmcgibbo[m] has joined #nixos-dev
LinuxHackerman has joined #nixos-dev
regnat[m] has joined #nixos-dev
zowoq[m] has joined #nixos-dev
ili has joined #nixos-dev
__monty__ has quit [Quit: leaving]
<fuzzypixelz>
I'm trying to build a php package but it doesn't seem to be on PECL, where would it fit in exactly?
red[evilred] has joined #nixos-dev
<red[evilred]>
Question: the ponylang project has a bunch of CI infrastructure for testing and building on various OSs.
<red[evilred]>
The maintainers are asking what would be involved in doing the same for nix
<red[evilred]>
Since every time they update the package, we have to tweak the nixpkg for it to successfully build
<red[evilred]>
I'm guessing that the main hydra server is dedicated to actual live packages and supporting nixpkgs
<red[evilred]>
Is there another hydra service that anyone is aware of which we could point at ponylang/ponyc master to track it?
<red[evilred]>
So that build failures on nix could be flagged immediately?
<sterni>
I think hydra is overkill for your purposes
<sterni>
you could just do something like that in github actions
<sterni>
if you want to know does this commit break the upstream package, you could just run nix-build -E 'ponyc.overrideAttrs (_: { src = ./.; })' in a github action which runs on commit to master
<red[evilred]>
Github actions have nix support out the box?
<red[evilred]>
Truthfully I don't know enough about github actions to address this yet.
<lukegb>
Cachix has actions for getting Nix installed for build purposes
ChanServ has joined #nixos-dev
JJJollyjim is now known as Guest97996
nh2 is now known as Guest86361
georgyo is now known as Guest76370
LinuxHackerman is now known as Guest80259
emily is now known as Guest20795
ili is now known as Guest85450
matthewcroughan has joined #nixos-dev
Gaelan has joined #nixos-dev
<red[evilred]>
I shall see what I can find in the docs - thanks!
bennofs__ has quit [Read error: Connection reset by peer]
bennofs_ has joined #nixos-dev
<red[evilred]>
Thanks, I'm going to see if I can work out how to get github actions working outside of the pony project first before I bring it in.
<red[evilred]>
Thanks!
elvishjerricco has joined #nixos-dev
elvishjerricco has quit [Changing host]
elvishjerricco has quit []
elvishjerricco has joined #nixos-dev
<colemickens>
I wonder if `nix build won't build a list of derivations like nix-build does" could be revisited.
fuzzypixelz has left #nixos-dev [#nixos-dev]
abathur has quit [Quit: abathur]
<evils>
i think NixOS isn't trying to load the i7core_edac module; i think most OSs do so; any idea where to look for info on how to arrange this; or any idea who to ask about it?
elvishjerricco has quit []
supersandro2000 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]