Skip to content

Actions: sylvainhalle/textidote

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
74 workflow runs
74 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add support for \autoref figure references. (#256) Build #42: Commit c9abf44 pushed by sylvainhalle
March 12, 2024 14:16 2m 39s master
master
March 12, 2024 14:16 2m 39s
pages build and deployment pages-build-deployment #47: by sylvainhalle
March 12, 2024 14:16 42s
March 12, 2024 14:16 42s
Add support for \autoref figure references. Build (pull request) #28: Pull request #256 opened by mgskjaeveland
March 8, 2024 09:03 1m 42s mgskjaeveland:feature/autoref-figure-support
mgskjaeveland:feature/autoref-figure-support
March 8, 2024 09:03 1m 42s
Improve code coverage (#249) Build #41: Commit ad98a18 pushed by sylvainhalle
November 7, 2023 15:46 2m 30s master
master
November 7, 2023 15:46 2m 30s
pages build and deployment pages-build-deployment #46: by sylvainhalle
November 7, 2023 15:46 46s
November 7, 2023 15:46 46s
Improve code coverage Build (pull request) #27: Pull request #249 opened by vmartinv
November 7, 2023 00:24 2m 10s vmartinv:coverage
vmartinv:coverage
November 7, 2023 00:24 2m 10s
Fix capture groups implementation (#247) Build #40: Commit d74c517 pushed by sylvainhalle
November 4, 2023 16:58 3m 46s master
master
November 4, 2023 16:58 3m 46s
pages build and deployment pages-build-deployment #45: by sylvainhalle
November 4, 2023 16:58 45s
November 4, 2023 16:58 45s
Improve --root command on corner case Build (pull request) #26: Pull request #248 opened by vmartinv
November 4, 2023 10:30 2m 8s vmartinv:root_fix
vmartinv:root_fix
November 4, 2023 10:30 2m 8s
Fix capture groups implementation Build (pull request) #25: Pull request #247 opened by vmartinv
November 4, 2023 10:23 1m 49s vmartinv:match_bug
vmartinv:match_bug
November 4, 2023 10:23 1m 49s
Cleanup unused code in AnnotatedString Build (pull request) #24: Pull request #246 opened by vmartinv
November 4, 2023 10:18 2m 17s vmartinv:cleanup_as
vmartinv:cleanup_as
November 4, 2023 10:18 2m 17s
Fix tests when handling empty inputs (#245) Build #39: Commit 1d7afd3 pushed by sylvainhalle
November 3, 2023 08:34 3m 24s master
master
November 3, 2023 08:34 3m 24s
pages build and deployment pages-build-deployment #44: by sylvainhalle
November 3, 2023 08:34 1m 2s
November 3, 2023 08:34 1m 2s
Fix tests when handling empty inputs Build (pull request) #23: Pull request #245 opened by vmartinv
November 2, 2023 23:48 1m 59s vmartinv:fix_tests
vmartinv:fix_tests
November 2, 2023 23:48 1m 59s
Fix to AnnotatedString.getLines Build #38: Commit cf6d4aa pushed by sylvainhalle
November 2, 2023 14:12 2m 38s master
master
November 2, 2023 14:12 2m 38s
pages build and deployment pages-build-deployment #43: by sylvainhalle
November 2, 2023 14:12 55s
November 2, 2023 14:12 55s
Add --root argument and %!TEX root support (#242) Build #37: Commit d95e56c pushed by sylvainhalle
October 28, 2023 18:28 2m 5s master
master
October 28, 2023 18:28 2m 5s
pages build and deployment pages-build-deployment #42: by sylvainhalle
October 28, 2023 18:28 49s
October 28, 2023 18:28 49s
Fix all java doc errors and warnings (#244) Build #36: Commit ed23ca3 pushed by sylvainhalle
October 28, 2023 17:53 2m 14s master
master
October 28, 2023 17:53 2m 14s
pages build and deployment pages-build-deployment #41: by sylvainhalle
October 28, 2023 17:53 48s
October 28, 2023 17:53 48s
Fix to calculation of line offsets Build #35: Commit bfcc96a pushed by sylvainhalle
October 28, 2023 17:52 2m 6s master
master
October 28, 2023 17:52 2m 6s
pages build and deployment pages-build-deployment #40: by sylvainhalle
October 28, 2023 17:52 34s
October 28, 2023 17:52 34s
Fix to handling of empty inputs Build #34: Commit 59f3125 pushed by sylvainhalle
October 28, 2023 17:19 2m 12s master
master
October 28, 2023 17:19 2m 12s
pages build and deployment pages-build-deployment #39: by sylvainhalle
October 28, 2023 17:19 53s
October 28, 2023 17:19 53s
Fix all java-doc errors and warnings Build (pull request) #22: Pull request #244 opened by vmartinv
October 28, 2023 17:09 2m 5s vmartinv:javadoc
vmartinv:javadoc
October 28, 2023 17:09 2m 5s