Skip to content

Actions: Vipul-Cariappa/logic

Actions

Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

post release Testing #29: Commit f143901 pushed by Vipul-Cariappa
December 30, 2023 10:17 25s master
master
December 30, 2023 10:17 25s
updated REAMD.md and new version for release Testing #28: Commit cf02dfe pushed by Vipul-Cariappa
December 30, 2023 09:58 34s master
master
December 30, 2023 09:58 34s
action to upload to pypi Testing #22: Commit c84aa56 pushed by Vipul-Cariappa
December 30, 2023 09:30 34s master
master
December 30, 2023 09:30 34s
Support Predicates Testing #21: Pull request #4 synchronize by Vipul-Cariappa
December 25, 2023 05:52 30s predicate
predicate
December 25, 2023 05:52 30s
Support Predicates Testing #20: Pull request #4 opened by Vipul-Cariappa
December 4, 2023 05:24 34s predicate
predicate
December 4, 2023 05:24 34s
Updated README.md Testing #19: Commit 60d8313 pushed by Vipul-Cariappa
December 2, 2023 14:19 2m 23s master
master
December 2, 2023 14:19 2m 23s
add pycharm setting to gitignore Testing #18: Commit 0e879fc pushed by Vipul-Cariappa
December 2, 2023 13:46 38s master
master
December 2, 2023 13:46 38s
added codecov (#3) Testing #17: Commit 6c33de0 pushed by Vipul-Cariappa
December 2, 2023 08:59 37s master
master
December 2, 2023 08:59 37s
added codecov Testing #16: Pull request #3 synchronize by Vipul-Cariappa
December 2, 2023 08:58 42s test
test
December 2, 2023 08:58 42s
added codecov Testing #15: Pull request #3 opened by Vipul-Cariappa
December 2, 2023 08:51 33s test
test
December 2, 2023 08:51 33s
implemented check function similar to prove Testing #14: Commit 6de64da pushed by Vipul-Cariappa
October 24, 2023 11:21 49s master
master
October 24, 2023 11:21 49s
Many major changes Testing #13: Commit e74eefa pushed by Vipul-Cariappa
October 24, 2023 10:32 36s master
master
October 24, 2023 10:32 36s
cleanup and use of pylint (#2) Testing #12: Commit 26c78e1 pushed by Vipul-Cariappa
October 24, 2023 07:01 42s master
master
October 24, 2023 07:01 42s
cleanup and use of pylint Testing #11: Pull request #2 synchronize by Vipul-Cariappa
October 24, 2023 06:59 49s clean-up
clean-up
October 24, 2023 06:59 49s
cleanup and use of pylint Testing #10: Pull request #2 synchronize by Vipul-Cariappa
October 24, 2023 06:56 47s clean-up
clean-up
October 24, 2023 06:56 47s
cleanup and use of pylint Testing #9: Pull request #2 opened by Vipul-Cariappa
October 24, 2023 06:50 44s clean-up
clean-up
October 24, 2023 06:50 44s
replaced Assumption.get with Assumption.add Testing #8: Commit 1e0e111 pushed by Vipul-Cariappa
October 24, 2023 05:13 41s master
master
October 24, 2023 05:13 41s
Better proof structure Testing #7: Commit 9e1df60 pushed by Vipul-Cariappa
October 24, 2023 05:00 34s master
master
October 24, 2023 05:00 34s
failing test fix Testing #6: Commit ddd33b8 pushed by Vipul-Cariappa
October 23, 2023 07:20 31s master
master
October 23, 2023 07:20 31s
implemented more tests for: Testing #5: Commit f746251 pushed by Vipul-Cariappa
October 23, 2023 07:17 37s master
master
October 23, 2023 07:17 37s
Create test.yml (#1) Testing #4: Commit 1b6503e pushed by Vipul-Cariappa
October 22, 2023 14:33 32s master
master
October 22, 2023 14:33 32s
Create test.yml Testing #3: Pull request #1 synchronize by Vipul-Cariappa
October 22, 2023 14:29 34s ci-cd
ci-cd
October 22, 2023 14:29 34s
Create test.yml Testing #2: Pull request #1 synchronize by Vipul-Cariappa
October 22, 2023 14:28 38s ci-cd
ci-cd
October 22, 2023 14:28 38s
Create test.yml Testing #1: Pull request #1 opened by Vipul-Cariappa
October 22, 2023 14:22 34s ci-cd
ci-cd
October 22, 2023 14:22 34s