Skip to content

Actions: lambda-feedback/Propositional-logic-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix: fixed table evaluation to allow top and bottom characters in cells Build, Test and Deploy #43: Commit 99fa594 pushed by ashwin6-dev
2m 6s main
main
2m 6s
Test Report Test Report #41: completed by ashwin6-dev
7s
7s
fix: fixed equivalence evaluation by setting up bijection between the… Build, Test and Deploy #42: Commit 56e81a0 pushed by ashwin6-dev
1m 52s main
main
1m 52s
Test Report Test Report #40: completed by ashwin6-dev
9s
9s
feat: added richer feedback Build, Test and Deploy #41: Commit fda77f1 pushed by ashwin6-dev
1m 59s main
main
1m 59s
Test Report Test Report #39: completed by ashwin6-dev
10s
10s
fix: fixed typos in param names Build, Test and Deploy #40: Commit 2c70b61 pushed by ashwin6-dev
1m 58s main
main
1m 58s
Test Report Test Report #38: completed by ashwin6-dev
10s
10s
feat: improved error messages Build, Test and Deploy #39: Commit 5ad75cf pushed by ashwin6-dev
2m 2s main
main
2m 2s
Test Report Test Report #37: completed by ashwin6-dev
10s
10s
feat: improved error messages Build, Test and Deploy #38: Commit 1fdcb7b pushed by ashwin6-dev
2m 14s main
main
2m 14s
Test Report Test Report #36: completed by ashwin6-dev
7s
7s
feat: changed marking params to be in answer, not params, for easier … Build, Test and Deploy #37: Commit f08d800 pushed by ashwin6-dev
2m 21s main
main
2m 21s
Test Report Test Report #35: completed by ashwin6-dev
25s
25s
fix: changed FUNCTION_INTERFACE to FUNCTION_RPC_TRANSPORTATION in Doc… Build, Test and Deploy #36: Commit 1d4c742 pushed by ashwin6-dev
2m 21s main
main
2m 21s
Test Report Test Report #34: completed by ashwin6-dev
9s
9s
testing to see if explicit file handling will make this work Build, Test and Deploy #35: Commit 5d97ef0 pushed by ashwin6-dev
2m 16s main
main
2m 16s
Test Report Test Report #33: completed by ashwin6-dev
12s
12s
feat: remove all inner try-catch blocks Build, Test and Deploy #34: Commit 1324110 pushed by ashwin6-dev
2m 4s main
main
2m 4s
Test Report Test Report #32: completed by ashwin6-dev
7s
7s
feat: returning any exception as result for debugging Build, Test and Deploy #33: Commit 0c2c63f pushed by ashwin6-dev
2m 30s main
main
2m 30s
Test Report Test Report #31: completed by ashwin6-dev
11s
11s
feat: accept json stringified response Build, Test and Deploy #32: Commit 08ccb1a pushed by ashwin6-dev
2m 16s main
main
2m 16s
Test Report Test Report #30: completed by ashwin6-dev
11s
11s
reverting back to normal eval + pipeline Build, Test and Deploy #31: Commit 38c8b58 pushed by ashwin6-dev
1m 59s main
main
1m 59s