Skip to content

Actions: DigitalFormalLogic/mathesis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
15 workflow runs
15 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: allow configurable symbols for all connectives CI #25: Pull request #8 opened by christopher-hampson
52s christopher-hampson:feature/grammar-symbols
christopher-hampson:feature/grammar-symbols
52s
bump version CI #24: Commit 560c450 pushed by ozekik
52s master
master
52s
bump version CI #23: Commit 69f0f47 pushed by ozekik
46s master
master
46s
docs: minor edits CI #22: Commit 60f28cf pushed by ozekik
48s master
master
48s
bump version CI #21: Commit db1df68 pushed by ozekik
47s master
master
47s
fix: update natural deduction CI #20: Commit bf32eeb pushed by ozekik
49s master
master
49s
update docs and readme CI #19: Commit e376a82 pushed by ozekik
1m 0s master
master
1m 0s
update docs CI #18: Commit 0e4b3a3 pushed by ozekik
1m 4s master
master
1m 4s
Merge pull request #7 from DigitalFormalLogic/feat/nd-fol CI #17: Commit 2454a06 pushed by ozekik
55s master
master
55s
FEAT: Natural deduction for first-order logic CI #16: Pull request #7 opened by ozekik
1m 1s feat/nd-fol
feat/nd-fol
1m 1s
fix typing CI #15: Commit b359bf0 pushed by ozekik
52s master
master
52s
add pytest to dev deps CI #14: Commit 8cea612 pushed by ozekik
56s master
master
56s
Merge pull request #6 from DigitalFormalLogic/tests CI #13: Commit fd7201e pushed by ozekik
45s master
master
45s
Merge pull request #6 from DigitalFormalLogic/tests CI #12: Commit 584cbd9 pushed by ozekik
50s master
master
50s
drop Python 3.9 support and add add 3.14 to CI CI #11: Commit 7b19700 pushed by ozekik
49s master
master
49s