Skip to content
This repository has been archived by the owner on Jul 28, 2023. It is now read-only.

Actions: tudo-seal/bcls-python_old

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Archive note Python application #14: Commit e28ffa6 pushed by christofsteel
July 28, 2023 11:51 14s main
main
July 28, 2023 11:51 14s
Types[T] -> Types Python application #13: Commit 429b2c1 pushed by christofsteel
July 27, 2023 12:44 35s vanilla
vanilla
July 27, 2023 12:44 35s
added vanilla cls labyrinth benchmark Python application #12: Commit ea115c6 pushed by mrhaandi
July 19, 2023 11:07 34s vanilla
vanilla
July 19, 2023 11:07 34s
Fixed ruff checker in ci Python application #11: Commit cba937f pushed by christofsteel
June 28, 2023 12:35 37s vanilla
vanilla
June 28, 2023 12:35 37s
Fixed ruff checker in ci Python application #10: Commit 2a51e90 pushed by christofsteel
June 28, 2023 12:34 36s main
main
June 28, 2023 12:34 36s
Update python-app.yml to check everything except tests Python application #9: Commit d44a7ef pushed by christofsteel
June 28, 2023 12:32 28s vanilla
vanilla
June 28, 2023 12:32 28s
Update python-app.yml to check everything except tests Python application #8: Commit 356663a pushed by christofsteel
June 28, 2023 12:31 34s main
main
June 28, 2023 12:31 34s
--amend Python application #7: Commit 3462c3d pushed by christofsteel
June 28, 2023 12:27 27s vanilla
vanilla
June 28, 2023 12:27 27s
Also check vanilla branch Python application #6: Commit 1fcfa92 pushed by christofsteel
June 28, 2023 12:12 33s main
main
June 28, 2023 12:12 33s
Added ruff check to ci Python application #5: Commit 1346b20 pushed by christofsteel
June 28, 2023 11:46 31s main
main
June 28, 2023 11:46 31s
Cleanup and 100 char line limit Python application #4: Commit 7ebc488 pushed by christofsteel
June 28, 2023 11:39 22s main
main
June 28, 2023 11:39 22s
fixed mypy --strict for boolean.py Python application #3: Commit d7f2003 pushed by christofsteel
June 26, 2023 11:43 20s main
main
June 26, 2023 11:43 20s
Added computing for CNF Python application #2: Commit ed21d3e pushed by christofsteel
June 26, 2023 09:21 24s main
main
June 26, 2023 09:21 24s
Added github workflow for typechecking with mypy Python application #1: Commit 3090f35 pushed by christofsteel
June 21, 2023 14:29 19s main
main
June 21, 2023 14:29 19s