Skip to content

Actions: whitemech/pylogics

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps-dev): bump vulture from 2.7 to 2.10 lint #230: Pull request #150 opened by dependabot bot
January 8, 2024 04:40 2m 40s dependabot/pip/vulture-2.10
dependabot/pip/vulture-2.10
January 8, 2024 04:40 2m 40s
build(deps): bump lark from 1.1.5 to 1.1.8 lint #229: Pull request #149 opened by dependabot bot
January 8, 2024 04:40 2m 27s dependabot/pip/lark-1.1.8
dependabot/pip/lark-1.1.8
January 8, 2024 04:40 2m 27s
build(deps-dev): bump tox from 4.4.12 to 4.11.4 lint #228: Pull request #148 opened by dependabot bot
January 8, 2024 04:40 2m 14s dependabot/pip/tox-4.11.4
dependabot/pip/tox-4.11.4
January 8, 2024 04:40 2m 14s
build(deps-dev): bump packaging from 23.0 to 23.2 lint #227: Pull request #147 opened by dependabot bot
January 8, 2024 04:39 2m 8s dependabot/pip/packaging-23.2
dependabot/pip/packaging-23.2
January 8, 2024 04:39 2m 8s
build(deps-dev): bump mistune from 2.0.5 to 3.0.2 lint #226: Pull request #146 opened by dependabot bot
January 8, 2024 04:38 2m 4s dependabot/pip/mistune-3.0.2
dependabot/pip/mistune-3.0.2
January 8, 2024 04:38 2m 4s
build(deps-dev): bump flake8-isort from 6.0.0 to 6.1.1 lint #225: Pull request #145 opened by dependabot bot
January 8, 2024 04:38 45s dependabot/pip/flake8-isort-6.1.1
dependabot/pip/flake8-isort-6.1.1
January 8, 2024 04:38 45s
build(deps-dev): bump mypy from 1.3.0 to 1.8.0 lint #224: Pull request #144 opened by dependabot bot
January 8, 2024 04:37 48s dependabot/pip/mypy-1.8.0
dependabot/pip/mypy-1.8.0
January 8, 2024 04:37 48s
build(deps-dev): bump mkdocs from 1.4.3 to 1.5.3 lint #223: Pull request #143 opened by dependabot bot
January 8, 2024 04:37 45s dependabot/pip/mkdocs-1.5.3
dependabot/pip/mkdocs-1.5.3
January 8, 2024 04:37 45s
build(deps-dev): bump mknotebooks from 0.7.1 to 0.8.0 lint #222: Pull request #142 opened by dependabot bot
January 8, 2024 04:36 42s dependabot/pip/mknotebooks-0.8.0
dependabot/pip/mknotebooks-0.8.0
January 8, 2024 04:36 42s
build(deps-dev): bump black from 23.3.0 to 23.12.1 lint #221: Pull request #141 opened by dependabot bot
January 8, 2024 04:36 49s dependabot/pip/black-23.12.1
dependabot/pip/black-23.12.1
January 8, 2024 04:36 49s
Add preliminary support for First-Order Logic lint #220: Pull request #140 opened by marcofavorito
January 7, 2024 23:10 20s fol
fol
January 7, 2024 23:10 20s
update LICENSE to MIT lint #219: Pull request #139 synchronize by marcofavorito
January 7, 2024 20:26 46s change-license
change-license
January 7, 2024 20:26 46s
update LICENSE to MIT lint #218: Pull request #139 opened by marcofavorito
January 7, 2024 20:08 51s change-license
change-license
January 7, 2024 20:08 51s
build(deps-dev): bump pytest from 7.3.1 to 7.4.2 lint #217: Pull request #138 opened by dependabot bot
September 8, 2023 04:53 30s dependabot/pip/pytest-7.4.2
dependabot/pip/pytest-7.4.2
September 8, 2023 04:53 30s
build(deps-dev): bump hypothesis from 6.76.0 to 6.84.2 lint #216: Pull request #137 opened by dependabot bot
September 7, 2023 04:45 28s dependabot/pip/hypothesis-6.84.2
dependabot/pip/hypothesis-6.84.2
September 7, 2023 04:45 28s
build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.2.0.0 lint #215: Pull request #136 opened by dependabot bot
September 7, 2023 04:40 26s dependabot/pip/types-setuptools-68.2.0.0
dependabot/pip/types-setuptools-68.2.0.0
September 7, 2023 04:40 26s
build(deps-dev): bump hypothesis from 6.76.0 to 6.84.1 lint #214: Pull request #135 opened by dependabot bot
September 6, 2023 04:43 31s dependabot/pip/hypothesis-6.84.1
dependabot/pip/hypothesis-6.84.1
September 6, 2023 04:43 31s
build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.8 lint #213: Pull request #134 opened by dependabot bot
September 5, 2023 04:51 33s dependabot/pip/mkdocs-material-9.2.8
dependabot/pip/mkdocs-material-9.2.8
September 5, 2023 04:51 33s
build(deps-dev): bump hypothesis from 6.76.0 to 6.84.0 lint #212: Pull request #133 opened by dependabot bot
September 5, 2023 04:43 34s dependabot/pip/hypothesis-6.84.0
dependabot/pip/hypothesis-6.84.0
September 5, 2023 04:43 34s
build(deps-dev): bump pytest from 7.3.1 to 7.4.1 lint #211: Pull request #132 opened by dependabot bot
September 4, 2023 04:50 3m 0s dependabot/pip/pytest-7.4.1
dependabot/pip/pytest-7.4.1
September 4, 2023 04:50 3m 0s
build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.7 lint #210: Pull request #131 opened by dependabot bot
September 4, 2023 04:49 3m 2s dependabot/pip/mkdocs-material-9.2.7
dependabot/pip/mkdocs-material-9.2.7
September 4, 2023 04:49 3m 2s
build(deps-dev): bump hypothesis from 6.76.0 to 6.83.1 lint #209: Pull request #130 opened by dependabot bot
September 4, 2023 04:46 4m 49s dependabot/pip/hypothesis-6.83.1
dependabot/pip/hypothesis-6.83.1
September 4, 2023 04:46 4m 49s
build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.3 lint #208: Pull request #129 opened by dependabot bot
September 4, 2023 04:46 26s dependabot/pip/pymdown-extensions-10.3
dependabot/pip/pymdown-extensions-10.3
September 4, 2023 04:46 26s
build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.6 lint #207: Pull request #128 opened by dependabot bot
September 1, 2023 04:12 35s dependabot/pip/mkdocs-material-9.2.6
dependabot/pip/mkdocs-material-9.2.6
September 1, 2023 04:12 35s
build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.2.1 lint #206: Pull request #127 opened by dependabot bot
August 31, 2023 04:46 39s dependabot/pip/pymdown-extensions-10.2.1
dependabot/pip/pymdown-extensions-10.2.1
August 31, 2023 04:46 39s