build(deps): bump mypy from 1.7.1 to 1.8.0 in /.github/workflows/style #394
Triggered via pull request
December 22, 2023 04:48
dependabot[bot]
Status
Success
Total duration
10m 13s
Artifacts
–
ci.yaml
on: pull_request
changes
4s
Matrix: prechecks / audit / package-audits
prechecks
/
validate
35s
prechecks
/
style
46s
prechecks
/
bootstrap-dev-rhel8
3m 8s
Matrix: bootstrap / macos-clingo-binaries
Waiting for pending jobs
Matrix: unit-tests / macos
Waiting for pending jobs
Matrix: unit-tests / ubuntu
Waiting for pending jobs
bootstrap
/
fedora-clingo-sources
bootstrap
/
macos-clingo-sources
bootstrap
/
macos-gnupg-binaries
bootstrap
/
macos-gnupg-sources
bootstrap
/
opensuse-clingo-sources
bootstrap
/
ubuntu-clingo-binaries
bootstrap
/
ubuntu-clingo-binaries-and-patchelf
bootstrap
/
ubuntu-clingo-sources
bootstrap
/
ubuntu-gnupg-binaries
bootstrap
/
ubuntu-gnupg-sources
unit-tests
/
clingo-cffi
unit-tests
/
rhel8-platform-python
unit-tests
/
shell
windows
/
build-abseil
windows
/
unit-tests
windows
/
unit-tests-cmd
all-prechecks
0s
all
0s