Upgrade github action linter and fix issues
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 45/100
- Tipo di issue
- Refactoring
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- github-actions
- Ambito
- ci-cd
Direzione di ricerca
Review PR #4849 and the GitHub Actions linter configuration, then inspect the failing files under .github/actions/. Upgrade the linter to 1.7.9 and run it to identify the required fixes. Done means the linter completes without errors for the repository's GitHub actions.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
PR #4849 pins the version of the github action linter to 1.7.8 to avoid build failures caused by using an unexpected type key in the github actions (not workflows).
Either the linter in version 1.7.9. is applying rules wrongly or the type key has become illegal recently in actions (Google's AI claims the key is valid in action inputs but not in workflow inputs).
- Upgrade linter to 1.7.9
- Fix linter errors in
.github/actions/that currently make the linter run fail.
- Lingua principale
- Python
- Stelle
- 596
- Fork
- 164
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/k
-
bug
Difficoltà 3/5 Mezza giornata Idoneità per principianti 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxForse di nuovo libera @Stevengre l’ha presa 116 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/k#4939 · 1 assegnatario ·
-
Concolic ExplorerAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
runtimeverification/k#4937 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsForse di nuovo libera @Stevengre l’ha presa 122 giorni fa e non c’è nessuna pull request aperta. Apertatype:epic
runtimeverification/k#4934 · 4 commenti · 1 assegnatario ·
Tutte le issue di runtimeverification/k
Issue simili
-
documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
ianktoo/project-monitor#14 ·
-
A wrong descriptor checksum is refused with the right one, also for an xprv or WIF descriptorApertasecurity
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
btclib-org/btclib-wallet#478 ·
I maintainer di solito rispondono entro 1 giorno
-
security
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
btclib-org/btclib#2727 ·
I maintainer di solito rispondono entro 1 giorno
-
good first issue lead variant:container
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
radialmonster/orf-cleanroom#10 ·
I maintainer di solito rispondono entro 1 giorno
-
gdsa opencode: keep-alive cleanup trap fails with 'keepalive_pid: unbound variable'Forse già presa @darribas l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100