Skip to content

Actions: pyta-uoft/pyta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
946 workflow runs
946 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
build(deps): bump actions/checkout from 4.2.0 to 4.2.2 (#1108) PythonTA Tests #1613: Commit 4cadfd7 pushed by david-yz-liu
November 1, 2024 20:19 3m 6s master
master
November 1, 2024 20:19 3m 6s
build(deps): bump actions/cache from 4.0.2 to 4.1.2 (#1107) PythonTA Tests #1612: Commit b49a2fc pushed by david-yz-liu
November 1, 2024 20:18 3m 25s master
master
November 1, 2024 20:18 3m 25s
build(deps): bump actions/setup-python from 5.2.0 to 5.3.0 PythonTA Tests #1611: Pull request #1110 opened by dependabot bot
November 1, 2024 02:55 3m 44s dependabot/github_actions/actions/setup-python-5.3.0
dependabot/github_actions/actions/setup-python-5.3.0
November 1, 2024 02:55 3m 44s
build(deps): bump coverallsapp/github-action from 2.3.0 to 2.3.4 PythonTA Tests #1610: Pull request #1109 opened by dependabot bot
November 1, 2024 02:55 3m 10s dependabot/github_actions/coverallsapp/github-action-2.3.4
dependabot/github_actions/coverallsapp/github-action-2.3.4
November 1, 2024 02:55 3m 10s
build(deps): bump actions/checkout from 4.2.0 to 4.2.2 PythonTA Tests #1609: Pull request #1108 opened by dependabot bot
November 1, 2024 02:55 3m 9s dependabot/github_actions/actions/checkout-4.2.2
dependabot/github_actions/actions/checkout-4.2.2
November 1, 2024 02:55 3m 9s
build(deps): bump actions/cache from 4.0.2 to 4.1.2 PythonTA Tests #1608: Pull request #1107 opened by dependabot bot
November 1, 2024 02:55 3m 1s dependabot/github_actions/actions/cache-4.1.2
dependabot/github_actions/actions/cache-4.1.2
November 1, 2024 02:55 3m 1s
github_actions in /. - Update #909978195 Dependabot Updates #9: by dependabot bot
November 1, 2024 02:55 41s
November 1, 2024 02:55 41s
build(deps): update pytest-cov requirement from <5.1,>=4.0 to >=4.0,<6.1 PythonTA Tests #1607: Pull request #1106 opened by dependabot bot
November 1, 2024 02:38 3m 4s dependabot/pip/pytest-cov-gte-4.0-and-lt-6.1
dependabot/pip/pytest-cov-gte-4.0-and-lt-6.1
November 1, 2024 02:38 3m 4s
pip in /. - Update #909968290 Dependabot Updates #8: by dependabot bot
November 1, 2024 02:37 57s
November 1, 2024 02:37 57s
One iteration checker z3 option PythonTA Tests #1606: Pull request #1105 opened by Raine-Yang-UofT
October 31, 2024 18:39 3m 22s Raine-Yang-UofT:one-iteration-checker-z3-option
Raine-Yang-UofT:one-iteration-checker-z3-option
October 31, 2024 18:39 3m 22s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1605: Pull request #1103 ready_for_review by CulmoneY
October 31, 2024 04:24 3m 8s CulmoneY:complex-data-types
CulmoneY:complex-data-types
October 31, 2024 04:24 3m 8s
Enable Strict Type Checking for Complex Data Types in check_contracts PythonTA Tests #1604: Pull request #1103 synchronize by CulmoneY
October 31, 2024 04:21 2m 46s CulmoneY:complex-data-types
CulmoneY:complex-data-types
October 31, 2024 04:21 2m 46s
Add Z3 option to CFG-based checkers PythonTA Tests #1603: Pull request #1099 synchronize by Raine-Yang-UofT
October 30, 2024 16:28 3m 11s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
October 30, 2024 16:28 3m 11s
Add Z3 option to CFG-based checkers PythonTA Tests #1602: Pull request #1099 synchronize by Raine-Yang-UofT
October 30, 2024 16:18 2m 7s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
October 30, 2024 16:18 2m 7s
Fixed issue where empty preconditions were preventing CFGs from being… PythonTA Tests #1601: Commit a307a7e pushed by david-yz-liu
October 30, 2024 13:33 3m 25s master
master
October 30, 2024 13:33 3m 25s
Extend redundant-assignment check to parallel and multi-target assign… PythonTA Tests #1600: Commit 4ee37a9 pushed by david-yz-liu
October 30, 2024 13:27 3m 24s master
master
October 30, 2024 13:27 3m 24s
Add Z3 option to CFG-based checkers PythonTA Tests #1599: Pull request #1099 synchronize by Raine-Yang-UofT
October 30, 2024 01:56 3m 7s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
October 30, 2024 01:56 3m 7s
Add Z3 option to CFG-based checkers PythonTA Tests #1598: Pull request #1099 synchronize by Raine-Yang-UofT
October 30, 2024 01:47 3m 2s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
October 30, 2024 01:47 3m 2s
Add Z3 option to CFG-based checkers PythonTA Tests #1597: Pull request #1099 synchronize by Raine-Yang-UofT
October 30, 2024 01:43 3m 4s Raine-Yang-UofT:checker-z3-option
Raine-Yang-UofT:checker-z3-option
October 30, 2024 01:43 3m 4s