issues
search
ReplicaTest
/
REPLica
Golden tests for command-line interfaces.
Other
18
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Better handling of CLI parsing error
#101
berewt
closed
1 year ago
0
Revamped the info command to add new info topics
#100
berewt
closed
1 year ago
0
Add some expectation tests
#99
berewt
closed
1 year ago
0
Refactor the `App.Run`
#98
berewt
closed
1 year ago
0
Introduce suites in tests
#97
berewt
closed
1 year ago
0
Split flake in several files
#96
berewt
closed
1 year ago
0
Flake update
#95
berewt
closed
1 year ago
0
Fix changelog version
#94
berewt
closed
1 year ago
0
Harmonise error messages
#93
berewt
closed
1 year ago
0
Add idris2 dependency to the doc
#92
berewt
closed
1 year ago
0
Send command errors to stderr
#91
berewt
closed
1 year ago
0
[ CHANGE ] Better error code management
#90
berewt
closed
1 year ago
0
Add pre-commits
#89
berewt
closed
1 year ago
0
Lint dhall content
#88
berewt
closed
1 year ago
0
Remove submodules
#87
berewt
closed
1 year ago
0
Put json flavoured doc in a separate file.
#86
berewt
closed
1 year ago
0
Remove redundancies from flake
#85
berewt
closed
1 year ago
0
Fix CI badge
#84
berewt
closed
1 year ago
0
Stop using dynamic version to align the local and nix version numbers
#83
berewt
closed
1 year ago
0
More info about nix flake
#82
berewt
closed
1 year ago
0
Remove docker
#81
berewt
closed
1 year ago
0
Correct docker tag
#80
berewt
closed
1 year ago
0
Fix docker (again)
#79
berewt
closed
1 year ago
0
fix docker
#78
berewt
closed
1 year ago
0
Move to nix
#77
berewt
closed
1 year ago
0
Update to latest Idris2
#76
claymager
closed
1 year ago
2
[New] track test duration
#75
berewt
closed
3 years ago
0
Support test name with spaces
#74
berewt
closed
3 years ago
0
Add support of suites
#73
berewt
closed
3 years ago
0
Add compinit for zsh
#72
berewt
closed
3 years ago
0
replica-dhall fix
#71
berewt
closed
3 years ago
0
Replica.Minimal doesn't exist anymore ?
#70
teto
closed
3 years ago
4
Docker
#69
berewt
closed
3 years ago
0
Docker now use idris 0.5.1
#68
berewt
closed
3 years ago
0
Fix changes in Data.String (needed for #58)
#67
berewt
closed
3 years ago
0
solve #58
#66
teto
closed
3 years ago
10
Improve tests display when some required tests failed
#65
berewt
closed
3 years ago
0
new dhall package for replica
#64
berewt
closed
3 years ago
0
Remove old replica before install
#63
berewt
closed
3 years ago
0
Solve #58 by using `make` for the build
#62
berewt
closed
3 years ago
4
add forgotten file to ipkg
#61
berewt
closed
3 years ago
0
interactive runs asks me if I want to replace the golden value even though they are identical
#60
teto
closed
3 years ago
3
add a `new` subcommand for test suite templates
#59
berewt
closed
3 years ago
0
Uncaught error: replica.ipkg:41:3--43:1:Replica.Version not found
#58
teto
closed
3 years ago
7
Update issue templates
#57
berewt
closed
3 years ago
0
Update changelog for v0.4.0
#56
berewt
closed
3 years ago
0
Add `replica version` (based on git)
#55
berewt
closed
3 years ago
0
Stick to idris 0.4, enhance the readme
#54
berewt
closed
3 years ago
0
Add multiple tests files and precise status code support
#53
berewt
closed
3 years ago
0
Separate standard expectations from files
#52
berewt
closed
3 years ago
0
Next