Skip to content

Actions: DigitalFormalLogic/mathesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #17: by ozekik
35s gh-pages
gh-pages
35s
bump version CI #24: Commit 560c450 pushed by ozekik
52s master
master
52s
pages build and deployment pages-build-deployment #16: by ozekik
25s gh-pages
gh-pages
25s
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
pages build and deployment pages-build-deployment #15: by ozekik
26s gh-pages
gh-pages
26s
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
pages build and deployment pages-build-deployment #14: by ozekik
26s gh-pages
gh-pages
26s
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
pages build and deployment pages-build-deployment #13: by ozekik
22s gh-pages
gh-pages
22s
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
pages build and deployment pages-build-deployment #12: by ozekik
2m 6s gh-pages
gh-pages
2m 6s
pages build and deployment pages-build-deployment #11: by ozekik
40s gh-pages
gh-pages
40s
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