Skip to content

Actions: florianschanda/PyVCG

Actions

PyVCG CI (Lint)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 1.0.11-dev after release PyVCG CI (Lint) #42: Commit de34844 pushed by florianschanda
16s main
main
16s
PyVCG Release 1.0.10 PyVCG CI (Lint) #41: Commit 8d82886 pushed by florianschanda
16s main
main
16s
Update README PyVCG CI (Lint) #40: Commit 838cda0 pushed by florianschanda
16s main
main
16s
Move to CVC 1.3.2 PyVCG CI (Lint) #39: Commit ccddb98 pushed by florianschanda
18s main
main
18s
Bump version to 1.0.10-dev after release PyVCG CI (Lint) #38: Commit 87a26b8 pushed by florianschanda
17s main
main
17s
PyVCG Release 1.0.9 PyVCG CI (Lint) #37: Commit 1026955 pushed by florianschanda
20s main
main
20s
#5 Use better test for null PyVCG CI (Lint) #36: Commit 3c26e4c pushed by florianschanda
22s main
main
22s
Fix parsing issue for empty records PyVCG CI (Lint) #35: Commit 6158db1 pushed by florianschanda
20s main
main
20s
Support self-recursive records PyVCG CI (Lint) #34: Commit 0d93a4d pushed by florianschanda
27s main
main
27s
Add missing CHANGELOG PyVCG CI (Lint) #33: Commit 782c1eb pushed by florianschanda
19s main
main
19s
#5 Fix issue with recursive trees PyVCG CI (Lint) #32: Commit 1294ae9 pushed by florianschanda
16s main
main
16s
Add Python 3.14 and mark CVC5 1.3.1 as a dep PyVCG CI (Lint) #31: Commit 006c8c4 pushed by florianschanda
20s main
main
20s
Less spammy install PyVCG CI (Lint) #30: Commit 668ad0d pushed by florianschanda
20s main
main
20s
Fix tabs PyVCG CI (Lint) #29: Commit 631de3d pushed by florianschanda
18s main
main
18s
Attempt alternative CVC5 setup PyVCG CI (Lint) #28: Commit 3f4535b pushed by florianschanda
21s main
main
21s
Attempt to install the CVC5 fromt he package PyVCG CI (Lint) #27: Commit c17986d pushed by florianschanda
22s main
main
22s
Also unpin pylint and pycodestyle PyVCG CI (Lint) #26: Commit bd3b6f4 pushed by florianschanda
19s main
main
19s
Don't fix version of coverage PyVCG CI (Lint) #25: Commit ffa6bf4 pushed by florianschanda
18s main
main
18s
Perhaps the newer setup-bin works for packages now? PyVCG CI (Lint) #24: Commit ad57476 pushed by florianschanda
19s main
main
19s
Bump version to 1.0.9-dev after release PyVCG CI (Lint) #22: Commit 101cd1d pushed by florianschanda
17s main
main
17s
PyVCG Release 1.0.8 PyVCG CI (Lint) #21: Commit ed342c1 pushed by florianschanda
15s main
main
15s
Add changelog entry PyVCG CI (Lint) #20: Commit 89a8b0f pushed by florianschanda
20s main
main
20s
Also test with Python 3.13 PyVCG CI (Lint) #19: Commit 09cf103 pushed by florianschanda
18s main
main
18s
Upgrade CVC5 and support Python 3.12 PyVCG CI (Lint) #18: Commit d640d51 pushed by florianschanda
20s main
main
20s