Skip to content

Actions: valentinradu/formawasm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 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
website: link to formalang.org + 125% root font size CI #45: Commit 16bd54e pushed by valentinradu
11m 4s main
main
11m 4s
website: link to formalang.org + 125% root font size Pages #16: Commit 16bd54e pushed by valentinradu
39s main
main
39s
docs: sync everything for the 0.0.1-beta release CI #44: Commit d5ddf74 pushed by valentinradu
12m 44s main
main
12m 44s
docs: sync everything for the 0.0.1-beta release Pages #15: Commit d5ddf74 pushed by valentinradu
34s main
main
34s
chore: zero clippy errors with -D warnings + bump formalang to 0.0.5-… CI #43: Commit cb4fe7d pushed by valentinradu
11m 57s main
main
11m 57s
chore: zero clippy errors with -D warnings + bump formalang to 0.0.5-… Pages #14: Commit cb4fe7d pushed by valentinradu
40s main
main
40s
chore: cargo fmt sweep + collapse layout's pointer-sized arms Pages #13: Commit f0bd738 pushed by valentinradu
32s main
main
32s
chore: cargo fmt sweep + collapse layout's pointer-sized arms CI #42: Commit f0bd738 pushed by valentinradu
11m 45s main
main
11m 45s
backend: trait virtual dispatch from .fv source — wiring half CI #41: Commit e7a46b8 pushed by valentinradu
11m 30s main
main
11m 30s
backend: trait virtual dispatch from .fv source — wiring half Pages #12: Commit e7a46b8 pushed by valentinradu
35s main
main
35s
tests: wire assert host import + sweep stale rejection assertions Pages #11: Commit 32c3e00 pushed by valentinradu
31s main
main
31s
tests: wire assert host import + sweep stale rejection assertions CI #40: Commit 32c3e00 pushed by valentinradu
11m 43s main
main
11m 43s
tests: migrate 17 hand-built-IR test files to formalang 0.0.4-beta Pages #10: Commit c9e0b94 pushed by valentinradu
26s main
main
26s
tests: migrate 17 hand-built-IR test files to formalang 0.0.4-beta CI #39: Commit c9e0b94 pushed by valentinradu
11m 13s main
main
11m 13s
backend: filter unrepresentable functions from public surface CI #38: Commit 4978313 pushed by valentinradu
10m 57s main
main
10m 57s
backend: filter unrepresentable functions from public surface Pages #9: Commit 4978313 pushed by valentinradu
32s main
main
32s
backend: Path/Regex literals, wrapper-index reservation, Struct boundary Pages #8: Commit 5919844 pushed by valentinradu
33s main
main
33s
backend: Path/Regex literals, wrapper-index reservation, Struct boundary CI #37: Commit 5919844 pushed by valentinradu
10m 15s main
main
10m 15s
deps+tests: migrate to formalang 0.0.4-beta + add 20-example e2e test Pages #7: Commit 2688c21 pushed by valentinradu
33s main
main
33s
deps+tests: migrate to formalang 0.0.4-beta + add 20-example e2e test CI #36: Commit 2688c21 pushed by valentinradu
10m 53s main
main
10m 53s
release: prep v0.0.1-beta for crates.io CI #35: Commit 6b43efc pushed by valentinradu
11m 47s main
main
11m 47s
release: prep v0.0.1-beta for crates.io Pages #6: Commit 6b43efc pushed by valentinradu
18s main
main
18s
cli+docs: rename binary to formawasm, drop PLAN.md, add examples CI #34: Commit 876af04 pushed by valentinradu
11m 55s main
main
11m 55s
cli+docs: rename binary to formawasm, drop PLAN.md, add examples Pages #5: Commit 876af04 pushed by valentinradu
21s main
main
21s
web: point CNAME at wasm.formalang.org CI #33: Commit 4c3fffc pushed by valentinradu
11m 55s main
main
11m 55s