Skip to content

Actions: lambda-feedback/Propositional-logic-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Report Test Report #15: completed by HarrySu123
8s
8s
generated new poetry.lock file Build, Test and Deploy #15: Commit b4dc9cc pushed by HarrySu123
2m 30s main
main
2m 30s
Test Report Test Report #14: completed by HarrySu123
7s
7s
removed dependency installation under cache in ci pipeline Build, Test and Deploy #14: Commit 2a1c682 pushed by HarrySu123
11s main
main
11s
Test Report Test Report #13: completed by HarrySu123
8s
8s
fixed check only 1 param selected logic Build, Test and Deploy #13: Commit ebc30e4 pushed by HarrySu123
14s main
main
14s
Test Report Test Report #12: completed by HarrySu123
6s
6s
written doc for dev and re-wrto how params are processed for evaluati… Build, Test and Deploy #12: Commit 38f31f3 pushed by HarrySu123
10s main
main
10s
Test Report Test Report #11: completed by HarrySu123
9s
9s
updated python version in poetry dependencies Build, Test and Deploy #11: Commit 88f9171 pushed by HarrySu123
16s main
main
16s
Test Report Test Report #10: completed by HarrySu123
10s
10s
added tests for evlauation_functoin() Build, Test and Deploy #10: Commit 6dd182c pushed by HarrySu123
14s main
main
14s
Test Report Test Report #9: completed by HarrySu123
8s
8s
evaluation_function implemented Build, Test and Deploy #9: Commit 4789c62 pushed by HarrySu123
15s main
main
15s
Test Report Test Report #8: completed by ashwin6-dev
8s
8s
implemented tree builder that builds tree given token stream Build, Test and Deploy #8: Commit 42f6e21 pushed by ashwin6-dev
10s main
main
10s
Test Report Test Report #7: completed by ashwin6-dev
13s
13s
fixed example scripts to match renamed modules Build, Test and Deploy #7: Commit dd75bf2 pushed by ashwin6-dev
13s main
main
13s
Test Report Test Report #6: completed by ashwin6-dev
8s
8s
implemented tokenizer for parser Build, Test and Deploy #6: Commit b3451f3 pushed by ashwin6-dev
12s main
main
12s
Test Report Test Report #5: completed by ashwin6-dev
6s
6s
implemented evaluators equivalence, satisfiability and tautology Build, Test and Deploy #5: Commit b3b76af pushed by ashwin6-dev
22s main
main
22s
Test Report Test Report #4: completed by HarrySu123
3m 1s
3m 1s
Implemented parser to convert string into propositional logic. Build, Test and Deploy #4: Commit 5486fd1 pushed by HarrySu123
4m 12s main
main
4m 12s
Test Report Test Report #3: completed by ashwin6-dev
7s
7s