Skip to content

Actions: pchampin/sophia_rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump versions Lint and Test #79: Commit b5de88d pushed by pchampin
January 8, 2024 09:47 1m 54s main
main
January 8, 2024 09:47 1m 54s
add missing feature gate Lint and Test #78: Commit 0a32968 pushed by pchampin
December 20, 2023 20:41 1m 47s main
main
December 20, 2023 20:41 1m 47s
add missing feature gate Deploy book to GitHUb Pages #63: Commit 0a32968 pushed by pchampin
December 20, 2023 20:41 16s main
main
December 20, 2023 20:41 16s
improve API of JsonLdOptions related to document loader factories Lint and Test #77: Commit e2d3df6 pushed by pchampin
December 19, 2023 20:44 1m 58s main
main
December 19, 2023 20:44 1m 58s
improve API of JsonLdOptions related to document loader factories Deploy book to GitHUb Pages #62: Commit e2d3df6 pushed by pchampin
December 19, 2023 20:44 14s main
main
December 19, 2023 20:44 14s
Merge branch 'wasm-jsonld' Lint and Test #76: Commit c4ffa5b pushed by pchampin
December 19, 2023 07:23 1m 55s main
main
December 19, 2023 07:23 1m 55s
Merge branch 'wasm-jsonld' Deploy book to GitHUb Pages #61: Commit c4ffa5b pushed by pchampin
December 19, 2023 07:23 12s main
main
December 19, 2023 07:23 12s
migrate to wasm-friendly release of json-ld Lint and Test #75: Commit f916d36 pushed by pchampin
December 19, 2023 07:22 1m 49s wasm-jsonld
wasm-jsonld
December 19, 2023 07:22 1m 49s
pages build and deployment pages-build-deployment #23: by github-pages bot
December 18, 2023 17:19 32s
December 18, 2023 17:19 32s
improve doc and mdbook Deploy book to GitHUb Pages #60: Commit 12b9300 pushed by pchampin
December 18, 2023 17:18 15s main
main
December 18, 2023 17:18 15s
improve doc and mdbook Lint and Test #74: Commit 12b9300 pushed by pchampin
December 18, 2023 17:18 2m 7s main
main
December 18, 2023 17:18 2m 7s
ensure that everything has a documentation Lint and Test #73: Commit 0c38774 pushed by pchampin
December 14, 2023 07:49 1m 53s main
main
December 14, 2023 07:49 1m 53s
ensure that everything has a documentation Deploy book to GitHUb Pages #59: Commit 0c38774 pushed by pchampin
December 14, 2023 07:49 14s main
main
December 14, 2023 07:49 14s
refactor JsonLdOptions to take document loader factory instead of loader Lint and Test #72: Pull request #151 opened by damooo
December 7, 2023 17:02 1m 57s manomayam:jsonld-config-conc2
manomayam:jsonld-config-conc2
December 7, 2023 17:02 1m 57s
improve code involving entries Deploy book to GitHUb Pages #58: Commit c4a4f33 pushed by pchampin
December 6, 2023 17:47 14s main
main
December 6, 2023 17:47 14s
improve code involving entries Lint and Test #71: Commit c4a4f33 pushed by pchampin
December 6, 2023 17:47 1m 52s main
main
December 6, 2023 17:47 1m 52s
migrate from my branch of json-ld to the author's branch Lint and Test #70: Commit 13ed07e pushed by pchampin
December 5, 2023 20:21 1m 54s wasm-jsonld
wasm-jsonld
December 5, 2023 20:21 1m 54s
migrate from my branch of json-ld to the author's branch Lint and Test #69: Commit e56bb20 pushed by pchampin
December 5, 2023 20:11 1m 8s wasm-jsonld
wasm-jsonld
December 5, 2023 20:11 1m 8s
feat: add devcontainer configuration Deploy book to GitHUb Pages #57: Commit 586bcd5 pushed by pchampin
December 4, 2023 18:15 19s main
main
December 4, 2023 18:15 19s
feat: add devcontainer configuration Lint and Test #68: Commit 586bcd5 pushed by pchampin
December 4, 2023 18:15 2m 28s main
main
December 4, 2023 18:15 2m 28s
make wasm-friendly Lint and Test #67: Commit 733b45f pushed by pchampin
December 4, 2023 13:51 2m 2s wasm-jsonld
wasm-jsonld
December 4, 2023 13:51 2m 2s
pages build and deployment pages-build-deployment #22: by github-pages bot
December 4, 2023 13:13 28s
December 4, 2023 13:13 28s
fix #149 Lint and Test #66: Commit 74a4708 pushed by pchampin
December 4, 2023 13:13 2m 2s main
main
December 4, 2023 13:13 2m 2s
fix #149 Deploy book to GitHUb Pages #56: Commit 74a4708 pushed by pchampin
December 4, 2023 13:13 16s main
main
December 4, 2023 13:13 16s
pages build and deployment pages-build-deployment #21: by github-pages bot
November 28, 2023 10:20 35s
November 28, 2023 10:20 35s