Skip to content

Actions: we-data-ch/typr-playground.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #46: by github-pages Bot
46s gh-pages
gh-pages
46s
Update WASM to 0.6.2 Deploy playground #21: Commit 0e15ff7 pushed by fabriceHategekimana
32s main
main
32s
pages build and deployment pages-build-deployment #45: by github-pages Bot
36s gh-pages
gh-pages
36s
Update TypR grammar to 0.6.2 Deploy playground #20: Commit fe9b30b pushed by fabriceHategekimana
1m 18s main
main
1m 18s
pages build and deployment pages-build-deployment #44: by github-pages Bot
28s gh-pages
gh-pages
28s
Update WASM to 0.6.1 Deploy playground #19: Commit 8698a94 pushed by fabriceHategekimana
48s main
main
48s
pages build and deployment pages-build-deployment #43: by github-pages Bot
28s gh-pages
gh-pages
28s
Update WASM to 0.6.0 Deploy playground #18: Commit fba093a pushed by fabriceHategekimana
45s main
main
45s
pages build and deployment pages-build-deployment #42: by github-pages Bot
1m 1s gh-pages
gh-pages
1m 1s
Update TypR grammar to 0.6.0 Deploy playground #17: Commit 26fd3ef pushed by fabriceHategekimana
46s main
main
46s
pages build and deployment pages-build-deployment #41: by github-pages Bot
32s gh-pages
gh-pages
32s
Graph tab: hide unreferenced type-mention nodes, only plain refs on b… Deploy playground #16: Commit 9ed9616 pushed by fabriceHategekimana
43s main
main
43s
pages build and deployment pages-build-deployment #40: by github-pages Bot
26s gh-pages
gh-pages
26s
made the legend togglelable Deploy playground #15: Commit db1224b pushed by fabriceHategekimana
43s main
main
43s
pages build and deployment pages-build-deployment #39: by github-pages Bot
28s gh-pages
gh-pages
28s
major link changes Deploy playground #14: Commit 64644d3 pushed by fabriceHategekimana
1m 25s main
main
1m 25s
pages build and deployment pages-build-deployment #38: by github-pages Bot
30s gh-pages
gh-pages
30s
update Deploy playground #13: Commit 0de0a44 pushed by fabriceHategekimana
48s main
main
48s
pages build and deployment pages-build-deployment #37: by github-pages Bot
27s gh-pages
gh-pages
27s
Graph tab: draw Satisfies, DeclaredAs and Subtype relations as edges Deploy playground #12: Commit 57abbe3 pushed by fabriceHategekimana
42s main
main
42s
pages build and deployment pages-build-deployment #36: by github-pages Bot
28s gh-pages
gh-pages
28s
Merge remote-tracking branch 'origin/main' Deploy playground #11: Commit db0c58f pushed by fabriceHategekimana
47s main
main
47s
pages build and deployment pages-build-deployment #35: by github-pages Bot
21s gh-pages
gh-pages
21s
Update WASM to 0.5.12 Deploy playground #10: Commit fba4792 pushed by fabriceHategekimana
35s main
main
35s
Merge branch 'main' of github.com:we-data-ch/typr-playground.github.io Deploy playground #9: Commit 1c7dbd1 pushed by fabriceHategekimana
24s main
main
24s