Skip to content

Actions: Bram-Hub/LEGUP

Actions

Publish Javadoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-javadoc.yml
This workflow was disabled manually.
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bugfix 549 (#682) Publish Javadoc #97: Commit 5048ee6 pushed by charlestian23
January 24, 2024 16:50 1m 26s dev
dev
January 24, 2024 16:50 1m 26s
Short Truth Table And, Or, and Atomic Case Rules (#694) Publish Javadoc #96: Commit f37f221 pushed by charlestian23
January 24, 2024 05:40 1m 8s dev
dev
January 24, 2024 05:40 1m 8s
Update javadocs action (#704) Publish Javadoc #95: Commit 9283197 pushed by charlestian23
December 16, 2023 18:36 54s dev
dev
December 16, 2023 18:36 54s
Update javadocs action (#703) Publish Javadoc #94: Commit 59bb7ee pushed by charlestian23
December 16, 2023 18:31 10s dev
dev
December 16, 2023 18:31 10s
Update publish-javadoc.yml (#702) Publish Javadoc #93: Commit 8cb1211 pushed by charlestian23
December 16, 2023 18:25 8s dev
dev
December 16, 2023 18:25 8s
Issue 679 atomic true on empty (#697) Publish Javadoc #92: Commit 69410ab pushed by charlestian23
December 16, 2023 18:01 1m 1s dev
dev
December 16, 2023 18:01 1m 1s
added TentOrGrassCaseRuleTests (#688) Publish Javadoc #91: Commit 14b0750 pushed by charlestian23
December 15, 2023 00:33 1m 11s dev
dev
December 15, 2023 00:33 1m 11s
Merge branch 'master' into dev Publish Javadoc #90: Commit e6f3279 pushed by charlestian23
December 14, 2023 21:54 1m 27s dev
dev
December 14, 2023 21:54 1m 27s
Tree Tent Test Suite- All Remaining Non-Case Type Tests (#683) Publish Javadoc #89: Commit 80328d5 pushed by charlestian23
December 13, 2023 20:51 1m 37s dev
dev
December 13, 2023 20:51 1m 37s
Added back TreeTent line creation (#695) Publish Javadoc #88: Commit a16ae5a pushed by charlestian23
December 13, 2023 20:26 1m 15s dev
dev
December 13, 2023 20:26 1m 15s
EmptyCellinLight tested (#696) Publish Javadoc #87: Commit 4df66c8 pushed by charlestian23
December 13, 2023 20:10 1m 7s dev
dev
December 13, 2023 20:10 1m 7s
Fix treetent puzzle editor (#692) Publish Javadoc #86: Commit ca9fef9 pushed by charlestian23
December 1, 2023 19:59 1m 3s dev
dev
December 1, 2023 19:59 1m 3s
Added Conditional Introduction and Biconditional Introduction tests (… Publish Javadoc #85: Commit e858844 pushed by Corppet
November 28, 2023 21:18 1m 11s dev
dev
November 28, 2023 21:18 1m 11s
Or Elimination, Or Introduction, Not Introduction, and And Introducti… Publish Javadoc #84: Commit 9a61745 pushed by Corppet
November 28, 2023 21:17 57s dev
dev
November 28, 2023 21:17 57s
Merge pull request #678 from Relurk1/master Publish Javadoc #83: Commit deadd83 pushed by jac-oblong
November 17, 2023 21:26 1m 24s dev
dev
November 17, 2023 21:26 1m 24s
Test suite branch (#685) Publish Javadoc #82: Commit d749c84 pushed by charlestian23
November 9, 2023 16:21 1m 6s dev
dev
November 9, 2023 16:21 1m 6s
added FinishWithTentsTest (#676) Publish Javadoc #81: Commit 0e2d70b pushed by charlestian23
November 9, 2023 16:15 1m 7s dev
dev
November 9, 2023 16:15 1m 7s