Skip to content

Actions: pyta-uoft/pyta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
949 workflow runs
949 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add z3 option to CFG-based checkers (#1099) PythonTA Tests #1636: Commit 866e31b pushed by david-yz-liu
November 6, 2024 03:30 3m 35s master
master
November 6, 2024 03:30 3m 35s
Add Z3 option to CFG-based checkers PythonTA Tests #1635: Pull request #1099 synchronize by Raine-Yang-UofT
November 6, 2024 02:43 7m 15s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 6, 2024 02:43 7m 15s
Enable strict type checking for complex data types in check_contracts… PythonTA Tests #1634: Commit ba8cfd8 pushed by david-yz-liu
November 5, 2024 19:32 3m 13s master
master
November 5, 2024 19:32 3m 13s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1633: Pull request #1103 synchronize by CulmoneY
November 4, 2024 02:45 3m 18s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 4, 2024 02:45 3m 18s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1632: Pull request #1103 synchronize by CulmoneY
November 4, 2024 02:25 3m 20s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 4, 2024 02:25 3m 20s
Add Z3 option to CFG-based checkers PythonTA Tests #1631: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 02:06 3m 6s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 02:06 3m 6s
Add Z3 option to CFG-based checkers PythonTA Tests #1630: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 01:50 3m 35s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 01:50 3m 35s
Add Z3 option to CFG-based checkers PythonTA Tests #1629: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 01:17 3m 22s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 01:17 3m 22s
Add Z3 option to CFG-based checkers PythonTA Tests #1628: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 01:11 3m 26s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 01:11 3m 26s
Add Z3 option to CFG-based checkers PythonTA Tests #1627: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 00:46 2m 3s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 00:46 2m 3s
Add Z3 option to CFG-based checkers PythonTA Tests #1626: Pull request #1099 synchronize by Raine-Yang-UofT
November 4, 2024 00:04 2m 8s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
November 4, 2024 00:04 2m 8s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1625: Pull request #1103 ready_for_review by CulmoneY
November 3, 2024 16:50 3m 0s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 3, 2024 16:50 3m 0s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1624: Pull request #1103 synchronize by CulmoneY
November 3, 2024 16:48 2m 53s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 3, 2024 16:48 2m 53s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1623: Pull request #1103 synchronize by CulmoneY
November 3, 2024 06:18 2m 16s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 3, 2024 06:18 2m 16s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1622: Pull request #1103 synchronize by CulmoneY
November 2, 2024 21:17 3m 51s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 2, 2024 21:17 3m 51s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1621: Pull request #1103 synchronize by CulmoneY
November 2, 2024 21:13 3m 11s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 2, 2024 21:13 3m 11s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1620: Pull request #1103 ready_for_review by CulmoneY
November 2, 2024 21:00 3m 5s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 2, 2024 21:00 3m 5s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1619: Pull request #1103 synchronize by CulmoneY
November 2, 2024 20:56 2m 49s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 2, 2024 20:56 2m 49s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1618: Pull request #1103 synchronize by CulmoneY
November 2, 2024 20:29 3m 15s CulmoneY:complex-data-types
CulmoneY:complex-data-types
November 2, 2024 20:29 3m 15s
build(deps): bump actions/setup-python from 5.2.0 to 5.3.0 (#1110) PythonTA Tests #1617: Commit 5d50aa3 pushed by david-yz-liu
November 1, 2024 20:42 3m 3s master
master
November 1, 2024 20:42 3m 3s
build(deps): bump actions/setup-python from 5.2.0 to 5.3.0 PythonTA Tests #1616: Pull request #1110 synchronize by dependabot bot
November 1, 2024 20:21 3m 52s dependabot/github_actions/actions/setup-python-5.3.0
dependabot/github_actions/actions/setup-python-5.3.0
November 1, 2024 20:21 3m 52s
build(deps): bump coverallsapp/github-action from 2.3.0 to 2.3.4 (#1109) PythonTA Tests #1615: Commit b0569e4 pushed by david-yz-liu
November 1, 2024 20:20 3m 27s master
master
November 1, 2024 20:20 3m 27s
github_actions in /. for actions/setup-python - Update #910592445 Dependabot Updates #11: by dependabot bot
November 1, 2024 20:20 38s
November 1, 2024 20:20 38s
build(deps): bump actions/setup-python from 5.2.0 to 5.3.0 PythonTA Tests #1614: Pull request #1110 synchronize by dependabot bot
November 1, 2024 20:20 3m 0s dependabot/github_actions/actions/setup-python-5.3.0
dependabot/github_actions/actions/setup-python-5.3.0
November 1, 2024 20:20 3m 0s
github_actions in /. for actions/setup-python - Update #910592047 Dependabot Updates #10: by dependabot bot
November 1, 2024 20:19 33s
November 1, 2024 20:19 33s