Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): 9c190b6ebc
Rami (Branch) Tag
agda
/
.github
/
workflows
Andreas Abel ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman 3 anni fa
..
Makefile 5883777d45 [ workflows ] use YAML references to prune duplicate file lists (#5556) 3 anni fa
README.md 5883777d45 [ workflows ] use YAML references to prune duplicate file lists (#5556) 3 anni fa
cabal-test.yml f8809e640e Support GHC 9.2: bump base, Cabal; update CI 3 anni fa
cabal.yml ff82d4ab90 Re #5773: update ICU installation in CI workflow cabal.yml 3 anni fa
deploy.yml ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman 3 anni fa
haddock.yml 5e60026635 Re #5773: Fix Haddock CI by updating to ubuntu-latest 3 anni fa
lint.yaml 5883777d45 [ workflows ] use YAML references to prune duplicate file lists (#5556) 3 anni fa
stack.yml 4c6d582c9a Fix #5768: CI/Windows: use text-icu-0.8.0 with latest ICU 3 anni fa
test.yml f204975956 [ stackage ] Bump stackage LTS versions 3 anni fa
user_manual.yml 5883777d45 [ workflows ] use YAML references to prune duplicate file lists (#5556) 3 anni fa
whitespace.yml f8809e640e Support GHC 9.2: bump base, Cabal; update CI 3 anni fa

README.md

Github actions

Do not edit the YAML files here directly!

  • Edit the sources in /src/github/workflows/!
  • Then run make in this directory.
  • Requirements yaml2json and json2yaml can be installed by make req-cabal or make req-stack.