Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 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 #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
pages build and deployment pages-build-deployment #34: by github-pages Bot
26s gh-pages
gh-pages
26s
Update WASM to 0.5.11 Deploy playground #8: Commit 6d349c6 pushed by fabriceHategekimana
31s main
main
31s
pages build and deployment pages-build-deployment #33: by github-pages Bot
24s gh-pages
gh-pages
24s
fixed notation errors Deploy playground #7: Commit fe40894 pushed by fabriceHategekimana
30s main
main
30s