Skip to content

Actions: FundamentalComputing/FitchVIZIER

Actions

Test prover core

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
16 workflow runs
16 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
more tests Test prover core #25: Commit f468dcf pushed by co-dan
36s main
main
36s
more tests Test prover core #24: Commit 1bdc56e pushed by co-dan
40s main
main
40s
add more tests Test prover core #23: Commit db9cfb3 pushed by co-dan
1m 13s main
main
1m 13s
WIP: refactoring the representation Test prover core #19: Pull request #3 synchronize by co-dan
43s refactor
refactor
43s
more test cases Test prover core #18: Commit 8f9a048 pushed by co-dan
41s main
main
41s
add the tests/private dir Test prover core #17: Commit 862ceb7 pushed by co-dan
36s main
main
36s
update github workflows Test prover core #16: Commit 61299b1 pushed by co-dan
35s main
main
35s
integration tests from different directories Test prover core #15: Commit 3fb3cd0 pushed by co-dan
27s main
main
27s
WIP: refactoring the representation Test prover core #14: Pull request #3 synchronize by co-dan
35s refactor
refactor
35s
WIP: refactoring the representation Test prover core #13: Pull request #3 synchronize by co-dan
35s refactor
refactor
35s
WIP: refactoring the representation Test prover core #12: Pull request #3 opened by co-dan
33s refactor
refactor
33s
add integration tests Test prover core #11: Commit 89ed469 pushed by co-dan
35s main
main
35s
update the github url Test prover core #4: Commit b5708b8 pushed by co-dan
27s main
main
27s
add cli instructions Test prover core #3: Commit fa09f9d pushed by co-dan
19s main
main
19s
bump CNAME and README Test prover core #2: Commit f0b69c5 pushed by co-dan
22s main
main
22s
Add MIT License Test prover core #1: Commit 598f750 pushed by co-dan
28s main
main
28s