Merge Requests · argo / argopkgs

[pkgs] Adds variorum 0.3.0

!11 · opened May 11, 2020 by Valentin Reis
- MERGED
- 0
updated May 11, 2020
add git-clang-format to aml-format

!10 · opened Apr 21, 2020 by Swann Perarnau
- MERGED
- 0
updated Apr 21, 2020
fixes legacy "aml-dist" environments and adds it to CI.

!9 · opened Apr 16, 2020 by Valentin Reis
- MERGED
- 0
updated Apr 16, 2020
Refactoring in preparation for AML CI improvements.

!8 · opened Apr 16, 2020 by Valentin Reis
- MERGED
- 0
updated Apr 16, 2020
new pkg: script for git+clang-format from LLVM

!7 · opened Apr 08, 2020 by Swann Perarnau
- CLOSED
- 1
updated Apr 08, 2020
Dhall refactor

!6 · opened Jun 13, 2019 by Valentin Reis
- MERGED
- 0
updated Jun 13, 2019
Dhrun switch

!5 · opened Apr 22, 2019 by Valentin Reis
- MERGED
- 0
updated Apr 22, 2019
Argotk bump

!4 · opened Mar 25, 2019 by Valentin Reis
- MERGED
- 0
updated Mar 25, 2019
[feature] add package for checkpatch.pl

!3 · opened Mar 22, 2019 by Swann Perarnau
- MERGED
- 1
updated Mar 22, 2019
Add artifact upload for success and failed builds.

!2 · opened Mar 01, 2019 by Valentin Reis
- MERGED
- 1
updated Mar 01, 2019
Continuous integration

!1 · opened Feb 17, 2019 by Valentin Reis
- MERGED
- 0
updated Feb 17, 2019