Skip to content

Actions: tudo-seal/clsp-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sampling tests Python application #37: Commit ed5002e pushed by christofsteel
February 19, 2024 17:19 34s main
main
February 19, 2024 17:19 34s
Documentation lied. Not it does not. Python application #36: Commit 74f74c7 pushed by christofsteel
February 19, 2024 16:28 32s main
main
February 19, 2024 16:28 32s
Implemented configurable combinators Python application #35: Commit 978ce7d pushed by christofsteel
February 19, 2024 16:22 32s main
main
February 19, 2024 16:22 32s
Literal test did not produce any outputs. Fixed it. Python application #34: Commit b26b234 pushed by christofsteel
February 15, 2024 15:16 25s main
main
February 15, 2024 15:16 25s
Add optional additional interpretation to interpret_term Python application #33: Commit a122819 pushed by christofsteel
February 15, 2024 14:01 29s main
main
February 15, 2024 14:01 29s
Explicit flush for multi benchmark Python application #32: Commit 7e4f287 pushed by christofsteel
February 14, 2024 12:11 36s main
main
February 14, 2024 12:11 36s
Added loop free benchmarks Python application #31: Commit 68174bf pushed by christofsteel
February 12, 2024 15:20 43s main
main
February 12, 2024 15:20 43s
Fixed typing Python application #30: Commit 2c28ad8 pushed by christofsteel
February 5, 2024 15:05 37s main
main
February 5, 2024 15:05 37s
Added Possible mixture of .As and .With predicates, as well as multip… Python application #29: Commit 9bf4564 pushed by christofsteel
February 5, 2024 14:57 24s main
main
February 5, 2024 14:57 24s
Update README.md Python application #28: Commit 511d017 pushed by christofsteel
February 2, 2024 08:45 24s main
main
February 2, 2024 08:45 24s
Update README.md Python application #27: Commit 21f8fb4 pushed by christofsteel
February 2, 2024 08:44 44s main
main
February 2, 2024 08:44 44s
Rename TVar -> LVar Python application #26: Commit 28b947e pushed by christofsteel
December 17, 2023 12:30 37s main
main
December 17, 2023 12:30 37s
Proper renaming to CLSP Python application #25: Commit 2c8bc67 pushed by christofsteel
December 17, 2023 12:14 37s main
main
December 17, 2023 12:14 37s
Update README.md Python application #24: Commit e8bcdf9 pushed by christofsteel
December 15, 2023 14:26 27s main
main
December 15, 2023 14:26 27s
Update README.md Python application #23: Commit 6363146 pushed by christofsteel
December 15, 2023 14:25 27s main
main
December 15, 2023 14:25 27s
New readme render test Python application #22: Commit 94a5ccc pushed by christofsteel
December 15, 2023 14:24 34s main
main
December 15, 2023 14:24 34s
Made testcase ruff compatible Python application #21: Commit 979cf0b pushed by christofsteel
October 25, 2023 11:28 2m 6s main
main
October 25, 2023 11:28 2m 6s
Fixed bug in subtyping, if intersections are in the supertype. Python application #20: Commit 754f0a5 pushed by christofsteel
October 25, 2023 11:27 36s main
main
October 25, 2023 11:27 36s