Skip to content

Actions: DigitalFormalLogic/mathesis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
24 workflow runs
24 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
Bugfix / implement tests for formulas and grammars CI #9: Pull request #6 opened by Cubix1729
59s tests
tests
59s
Merge pull request #3 from Cubix1729/top-bottom-and-other CI #8: Commit 1fd69b1 pushed by ozekik
48s master
master
48s
update urls CI #7: Commit be0bb23 pushed by ozekik
48s master
master
48s
update readme CI #6: Commit a45766b pushed by ozekik
48s master
master
48s
remove unused docs/requirements.txt CI #5: Commit 21234fd pushed by ozekik
53s master
master
53s
bump version CI #4: Commit 1a4e6fa pushed by ozekik
46s master
master
46s
Merge pull request #4 from ozekik/test/setup CI #3: Commit 0c3ff74 pushed by ozekik
51s master
master
51s
Set up a minimal test environment CI #2: Pull request #4 synchronize by ozekik
50s test/setup
test/setup
50s
Set up a minimal test environment CI #1: Pull request #4 opened by ozekik
28s test/setup
test/setup
28s