Skip to content

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

Actions

Deploy playground

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
19 workflow runs
19 workflow runs

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
Update WASM to 0.6.1 Deploy playground #19: Commit 8698a94 pushed by fabriceHategekimana
48s main
main
48s
Update WASM to 0.6.0 Deploy playground #18: Commit fba093a pushed by fabriceHategekimana
45s main
main
45s
Update TypR grammar to 0.6.0 Deploy playground #17: Commit 26fd3ef pushed by fabriceHategekimana
46s main
main
46s
Graph tab: hide unreferenced type-mention nodes, only plain refs on b… Deploy playground #16: Commit 9ed9616 pushed by fabriceHategekimana
43s main
main
43s
made the legend togglelable Deploy playground #15: Commit db1224b pushed by fabriceHategekimana
43s main
main
43s
major link changes Deploy playground #14: Commit 64644d3 pushed by fabriceHategekimana
1m 25s main
main
1m 25s
update Deploy playground #13: Commit 0de0a44 pushed by fabriceHategekimana
48s main
main
48s
Graph tab: draw Satisfies, DeclaredAs and Subtype relations as edges Deploy playground #12: Commit 57abbe3 pushed by fabriceHategekimana
42s main
main
42s
Merge remote-tracking branch 'origin/main' Deploy playground #11: Commit db0c58f pushed by fabriceHategekimana
47s main
main
47s
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
Update WASM to 0.5.11 Deploy playground #8: Commit 6d349c6 pushed by fabriceHategekimana
31s main
main
31s
fixed notation errors Deploy playground #7: Commit fe40894 pushed by fabriceHategekimana
30s main
main
30s
updated Playground reciever Deploy playground #6: Commit b747414 pushed by fabriceHategekimana
29s main
main
29s
fixed the <- problem Deploy playground #5: Commit fc3ea55 pushed by fabriceHategekimana
38s main
main
38s
updated the landing code page Deploy playground #4: Commit d7320e3 pushed by fabriceHategekimana
32s main
main
32s
Update WASM to 0.5.10 Deploy playground #3: Commit bf9cdb8 pushed by fabriceHategekimana
32s main
main
32s
Update WASM to 0.5.9 Deploy playground #2: Commit 0b9006c pushed by fabriceHategekimana
29s main
main
29s
Fixed documentation dependencies with wasm file Deploy playground #1: Commit eab1ade pushed by fabriceHategekimana
37s main
main
37s