Skip to content

Actions: SchlenkR/TypeFighter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
Parser01 aufgelöst, toten Emitter entfernt, Oracle umbenannt Site #4: Commit 53c17db pushed by SchlenkR
3m 7s master
master
3m 7s
Beispiel-Übersicht: Kategorie-Überschriften größer und heller, Doku-S… Site #3: Commit 0b51548 pushed by SchlenkR
2m 18s master
master
2m 18s
build-wasm.sh: Executable-Bit setzen (CI: Permission denied) Site #2: Commit 210efab pushed by SchlenkR
3m 6s master
master
3m 6s
Merge origin/master: README-Link-Änderung von April, durch die neue R… Site #1: Commit 377fe7c pushed by SchlenkR
41s master
master
41s
Update README.md Build and deploy docs #20: Commit 1716516 pushed by SchlenkR
1m 58s master
master
1m 58s
Revert to curly-brace records; parens are grouping only (ADR-009) Build and deploy docs #19: Commit 8fc7a78 pushed by SchlenkR
2m 10s master
master
2m 10s
Revert to curly-brace records; parens are grouping only (ADR-009) Build and deploy docs #18: Commit ba39022 pushed by SchlenkR
1m 58s master
master
1m 58s
Design: ADR-009 reverses ADR-004 — curly braces for records Build and deploy docs #17: Commit 505bd03 pushed by SchlenkR
2m 41s master
master
2m 41s
Parser: collapse double-parens at call sites with records Build and deploy docs #16: Commit 280e1cd pushed by SchlenkR
1m 54s master
master
1m 54s
Type-level syntax: round brackets for record-set types Build and deploy docs #15: Commit 8fb080b pushed by SchlenkR
1m 47s master
master
1m 47s
Parser: swap to round brackets for record literals (ADR-004) Build and deploy docs #14: Commit d95c76c pushed by SchlenkR
1m 46s master
master
1m 46s
Design: open-research tracker Build and deploy docs #13: Commit 459535e pushed by SchlenkR
1m 55s master
master
1m 55s
Design: records unified with tuples and calls; ADR log Build and deploy docs #12: Commit 3fe2604 pushed by SchlenkR
1m 59s master
master
1m 59s
Swap URL layout: playground at /TypeFighter/, docs at /TypeFighter/docs/ Build and deploy docs #11: Commit d6cb50f pushed by SchlenkR
1m 52s master
master
1m 52s
Smoke-test playground examples via shared JSON Build and deploy docs #10: Commit 728733f pushed by SchlenkR
1m 58s master
master
1m 58s
Playground: comment highlighting + example fixes Build and deploy docs #9: Commit 4f06f4e pushed by SchlenkR
1m 29s master
master
1m 29s
Parser: trailing semicolons and line comments Build and deploy docs #8: Commit cad2910 pushed by SchlenkR
1m 35s master
master
1m 35s
Ignore docs/output: regenerated by CI every build Build and deploy docs #7: Commit 8e9fbec pushed by SchlenkR
1m 36s master
master
1m 36s
x Build and deploy docs #6: Commit 300ad79 pushed by SchlenkR
28s master
master
28s
x Build and deploy docs #5: Commit 1a2acee pushed by SchlenkR
41s master
master
41s
very good stuff Build and deploy docs #4: Commit 5e60d30 pushed by SchlenkR
39s master
master
39s
d Build and deploy docs #3: Commit 75c8db4 pushed by SchlenkR
40s master
master
40s
Build and deploy docs Build and deploy docs #2: Manually run by SchlenkR
39s master
master
39s
a lot of great stuff Build and deploy docs #1: Commit 2fbb787 pushed by SchlenkR
24s master
master
24s