Skip to content

Actions: FundamentalComputing/FitchVIZIER

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge changes from BetterVizier (new) .github/workflows/compile-deploy.yml #13: Pull request #2 by wireva
Failure wireva:merge-upstream-2
wireva:merge-upstream-2
Failure
more tests Test prover core #25: Commit f468dcf pushed by co-dan
36s main
main
36s
more tests .github/workflows/compile-deploy.yml #12: Commit f468dcf pushed by co-dan
1m 21s main
main
1m 21s
more tests .github/workflows/compile-deploy.yml #11: Commit 1bdc56e pushed by co-dan
59s main
main
59s
more tests Test prover core #24: Commit 1bdc56e pushed by co-dan
40s main
main
40s
add more tests .github/workflows/compile-deploy.yml #10: Commit db9cfb3 pushed by co-dan
1m 42s main
main
1m 42s
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 .github/workflows/compile-deploy.yml #9: Commit 8f9a048 pushed by co-dan
43s main
main
43s
more test cases Test prover core #18: Commit 8f9a048 pushed by co-dan
41s main
main
41s
add the tests/private dir .github/workflows/compile-deploy.yml #8: Commit 862ceb7 pushed by co-dan
47s main
main
47s
add the tests/private dir Test prover core #17: Commit 862ceb7 pushed by co-dan
36s main
main
36s
update github workflows .github/workflows/compile-deploy.yml #7: Commit 61299b1 pushed by co-dan
44s main
main
44s
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
integration tests from different directories .github/workflows/compile-deploy.yml #6: Commit 3fb3cd0 pushed by co-dan
45s main
main
45s
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 .github/workflows/compile-deploy.yml #5: Commit 89ed469 pushed by co-dan
47s main
main
47s
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
update the github url .github/workflows/compile-deploy.yml #4: Commit b5708b8 pushed by co-dan
40s main
main
40s
add cli instructions Test prover core #3: Commit fa09f9d pushed by co-dan
19s main
main
19s
add cli instructions .github/workflows/compile-deploy.yml #3: Commit fa09f9d pushed by co-dan
40s main
main
40s