Skip to content

Actions: tno-terminology-design/tev2-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
460 workflow runs
460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branches 'main' and 'main' of github.com:tno-terminology-design… Docs Deploy #165: Commit 887b874 pushed by RieksJ
December 18, 2023 17:57 1m 34s main
main
December 18, 2023 17:57 1m 34s
pages build and deployment pages-build-deployment #132: by RieksJ
December 18, 2023 10:19 40s gh-pages
gh-pages
December 18, 2023 10:19 40s
Merge branch 'main' of github.com:tno-terminology-design/tev2-specifi… Docs Deploy #164: Commit 49b24f2 pushed by RieksJ
December 18, 2023 10:17 2m 2s main
main
December 18, 2023 10:17 2m 2s
pages build and deployment pages-build-deployment #131: by RieksJ
December 12, 2023 07:16 43s gh-pages
gh-pages
December 12, 2023 07:16 43s
Merge branch 'main' of github.com:tno-terminology-design/tev2-specifi… Docs Deploy #163: Commit dd76f14 pushed by RieksJ
December 12, 2023 07:14 1m 52s main
main
December 12, 2023 07:14 1m 52s
pages build and deployment pages-build-deployment #130: by RieksJ
December 11, 2023 13:44 46s gh-pages
gh-pages
December 11, 2023 13:44 46s
fix HRG sorting mistake Docs Deploy #162: Commit eb4d29a pushed by RieksJ
December 11, 2023 13:42 1m 56s main
main
December 11, 2023 13:42 1m 56s
pages build and deployment pages-build-deployment #129: by RieksJ
December 11, 2023 13:24 44s gh-pages
gh-pages
December 11, 2023 13:24 44s
updated MRGs Docs Deploy #161: Commit 103a3a8 pushed by RieksJ
December 11, 2023 13:22 2m 1s main
main
December 11, 2023 13:22 2m 1s
pages build and deployment pages-build-deployment #128: by RieksJ
December 11, 2023 10:52 44s gh-pages
gh-pages
December 11, 2023 10:52 44s
Merge branch 'main' of github.com:tno-terminology-design/tev2-specifi… Docs Deploy #160: Commit f49fdb1 pushed by RieksJ
December 11, 2023 10:50 1m 58s main
main
December 11, 2023 10:50 1m 58s
pages build and deployment pages-build-deployment #127: by RieksJ
December 11, 2023 10:00 56s gh-pages
gh-pages
December 11, 2023 10:00 56s
update MRG and MRGT doc to remove pruning, and specify that formPhras… Docs Deploy #159: Commit f9daede pushed by RieksJ
December 11, 2023 09:58 1m 57s main
main
December 11, 2023 09:58 1m 57s
pages build and deployment pages-build-deployment #126: by RieksJ
December 11, 2023 08:53 41s gh-pages
gh-pages
December 11, 2023 08:53 41s
show tev2-tool versions when using tools Docs Deploy #158: Commit ff66c7c pushed by RieksJ
December 10, 2023 23:07 1m 54s main
main
December 10, 2023 23:07 1m 54s
pages build and deployment pages-build-deployment #125: by RieksJ
December 10, 2023 22:46 48s gh-pages
gh-pages
December 10, 2023 22:46 48s
fixed converter type in HRG Docs Deploy #157: Commit 8ffd39a pushed by RieksJ
December 10, 2023 22:45 1m 54s main
main
December 10, 2023 22:45 1m 54s
pages build and deployment pages-build-deployment #124: by RieksJ
December 10, 2023 22:38 41s gh-pages
gh-pages
December 10, 2023 22:38 41s
Merge branch 'main' of github.com:tno-terminology-design/tev2-specifi… Docs Deploy #156: Commit 38cdf9d pushed by RieksJ
December 10, 2023 22:36 1m 51s main
main
December 10, 2023 22:36 1m 51s
pages build and deployment pages-build-deployment #123: by RieksJ
December 9, 2023 22:18 43s gh-pages
gh-pages
December 9, 2023 22:18 43s
Merge branch 'main' of github.com:tno-terminology-design/tev2-specifi… Docs Deploy #155: Commit 1de3bb2 pushed by RieksJ
December 9, 2023 22:17 35s main
main
December 9, 2023 22:17 35s
updated SAF documentation Docs Deploy #154: Commit 35e68f1 pushed by RieksJ
December 9, 2023 06:43 55s main
main
December 9, 2023 06:43 55s
minor Docs Deploy #153: Commit 96f2a7a pushed by RieksJ
December 9, 2023 06:07 50s main
main
December 9, 2023 06:07 50s
updated specs on predefined interpreters and converters for HRGT and … Docs Deploy #152: Commit af212c4 pushed by RieksJ
December 9, 2023 06:05 55s main
main
December 9, 2023 06:05 55s
update footer links Docs Deploy #151: Commit 8437248 pushed by RieksJ
December 9, 2023 04:48 52s main
main
December 9, 2023 04:48 52s
ProTip! You can narrow down the results and go further in time using created:<2023-12-09 or the other filters available.