Skip to content

Actions: tek/splain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Vtype-def-position option, guarded by a test suite CI #288: Commit 086fb44 pushed by tribbloid
October 5, 2023 19:53 9m 1s vtype-position/dev1
vtype-position/dev1
October 5, 2023 19:53 9m 1s
add spaces to infix display in BuiltInDiffMsg CI #287: Commit b57adf6 pushed by tribbloid
October 5, 2023 00:02 10m 6s vtype-details/dev3
vtype-details/dev3
October 5, 2023 00:02 10m 6s
first test case, not working CI #286: Commit 2179d8a pushed by tribbloid
October 4, 2023 23:57 9m 28s vtype-position/dev1
vtype-position/dev1
October 4, 2023 23:57 9m 28s
add spaces to infix display in BuiltInDiffMsg CI #285: Commit 82b2520 pushed by tribbloid
October 4, 2023 23:28 10m 19s vtype-details/dev3
vtype-details/dev3
October 4, 2023 23:28 10m 19s
add a case for #34 CI #284: Commit 525b919 pushed by tribbloid
October 4, 2023 23:10 9m 37s vtype-details/dev3
vtype-details/dev3
October 4, 2023 23:10 9m 37s
add a case for #34 CI #283: Commit 386df0b pushed by tribbloid
October 4, 2023 23:08 9m 40s vtype-details/dev3
vtype-details/dev3
October 4, 2023 23:08 9m 40s
add a case for #34 CI #282: Commit 29080e4 pushed by tribbloid
October 4, 2023 23:02 11m 57s vtype-details/dev3
vtype-details/dev3
October 4, 2023 23:02 11m 57s
improve integration & acceptance API, use of nameOverride are mostly … CI #281: Commit b88bfd1 pushed by tribbloid
October 4, 2023 22:49 9m 29s vtype-details/dev3
vtype-details/dev3
October 4, 2023 22:49 9m 29s
gradle upgrade CI #280: Commit b2b4b35 pushed by tribbloid
October 4, 2023 22:19 10m 30s vtype-details/dev3
vtype-details/dev3
October 4, 2023 22:19 10m 30s
v1.0.3 CI #279: Commit d7f9fb6 pushed by tribbloid
September 26, 2023 21:26 11m 4s Release/1.0.3
Release/1.0.3
September 26, 2023 21:26 11m 4s
Refined type now shows multi-row format if too long CI #278: Commit 6d44560 pushed by tribbloid
September 26, 2023 02:04 10m 17s vtype-details/dev2
vtype-details/dev2
September 26, 2023 02:04 10m 17s
fix a bug where multiple indexed Based can flush out each other CI #277: Commit 572af06 pushed by tribbloid
September 25, 2023 22:08 9m 17s vtype-details/dev2
vtype-details/dev2
September 25, 2023 22:08 9m 17s
improve VTypeDetailsSpec CI #276: Commit 3a6b10f pushed by tribbloid
September 25, 2023 17:53 9m 7s vtype-details/dev2
vtype-details/dev2
September 25, 2023 17:53 9m 7s
improve VTypeDetailsSpec CI #275: Commit 5a05d52 pushed by tribbloid
September 25, 2023 01:53 9m 32s vtype-verbositydev1
vtype-verbositydev1
September 25, 2023 01:53 9m 32s
aggregated settings into typeDetail and typeDiffsDetail CI #274: Commit 5d09a6f pushed by tribbloid
September 25, 2023 00:13 9m 19s vtype-verbositydev1
vtype-verbositydev1
September 25, 2023 00:13 9m 19s
DiffExplain now extended to cover =:= and <:<, guarded by 2 more test… CI #273: Commit 62283e2 pushed by tribbloid
September 23, 2023 05:32 9m 8s vtype-verbositydev1
vtype-verbositydev1
September 23, 2023 05:32 9m 8s
simplify formatDiffImpl CI #272: Commit ce9ab40 pushed by tribbloid
September 22, 2023 23:56 9m 43s vtype-verbositydev1
vtype-verbositydev1
September 22, 2023 23:56 9m 43s
ExplainDiff now use a different design that relies on BasedOn annotat… CI #271: Commit 591fa95 pushed by tribbloid
September 22, 2023 23:50 10m 20s vtype-verbositydev1
vtype-verbositydev1
September 22, 2023 23:50 10m 20s
add a shortcut to disable plugin and all options in each test case CI #270: Commit cc3408d pushed by tribbloid
September 22, 2023 19:50 10m 0s vtype-verbositydev1
vtype-verbositydev1
September 22, 2023 19:50 10m 0s
add DebugCase CI #269: Commit f222341 pushed by tribbloid
September 22, 2023 06:44 9m 52s vtype-verbositydev1
vtype-verbositydev1
September 22, 2023 06:44 9m 52s
add type-details:4 case where both prefix context & existential conte… CI #268: Commit 842e8cc pushed by tribbloid
September 21, 2023 21:04 9m 30s vtype-verbositydev1
vtype-verbositydev1
September 21, 2023 21:04 9m 30s
renamed to Vtype-details CI #267: Commit 31c8e80 pushed by tribbloid
September 21, 2023 20:43 9m 49s vtype-verbositydev1
vtype-verbositydev1
September 21, 2023 20:43 9m 49s
add DisambiguationFormatter that expand diff form to include type sym… CI #266: Commit 2b4db31 pushed by tribbloid
September 21, 2023 19:45 9m 44s diff-disambiguation/dev1
diff-disambiguation/dev1
September 21, 2023 19:45 9m 44s
add DisambiguationFormatter that expand diff form to include type sym… CI #265: Commit a827139 pushed by tribbloid
September 21, 2023 19:21 9m 42s vtype-verbositydev1
vtype-verbositydev1
September 21, 2023 19:21 9m 42s
add DisambiguationFormatter that expand diff form to include type sym… CI #264: Commit 96a76cc pushed by tribbloid
September 21, 2023 18:51 9m 11s vtype-verbositydev1
vtype-verbositydev1
September 21, 2023 18:51 9m 11s