Skip to content

add develop.sh script to enter pure dev shell without direnv #82

add develop.sh script to enter pure dev shell without direnv

add develop.sh script to enter pure dev shell without direnv #82

Triggered via push February 10, 2025 18:04
Status Success
Total duration 1m 52s
Artifacts

main.yaml

on: push
Matrix: update
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
update (ubuntu-latest)
Unexpected input(s) 'skipAddingSubstituter', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'installCommand']
update (ubuntu-latest)
Unexpected input(s) 'skipAddingSubstituter', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'installCommand']
update (macos-latest)
Unexpected input(s) 'skipAddingSubstituter', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'installCommand']
update (macos-latest)
Unexpected input(s) 'skipAddingSubstituter', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'installCommand']