Skip to content

Actions: agutikov/ein

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 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
P1d.4 closed: a rule is a sentence about the world it fires in — and … per-commit #73: Commit 9868d7e pushed by agutikov
5m 33s master
master
5m 33s
nightly nightly #13: Scheduled
3m 8s master
master
3m 8s
S1d.3.3: print *and* describe — and the enumeration was the dishonest… per-commit #72: Commit fadc520 pushed by agutikov
5m 10s master
master
5m 10s
P1d.10: the depth-10 probe — 17x the enterings, 15 minutes, zero new … per-commit #71: Commit 34c041b pushed by agutikov
5m 30s master
master
5m 30s
S1d.2.6: Open — and the ten entries it was for do not owe anything per-commit #70: Commit d653523 pushed by agutikov
5m 21s master
master
5m 21s
S1d.2.3: open reserved — the verdict atom loads, resolves, and stay… per-commit #69: Commit 4397592 pushed by agutikov
4m 27s master
master
4m 27s
nightly nightly #12: Scheduled
2m 50s master
master
2m 50s
plans(P1d.2): stage plans written against the session's decisions per-commit #68: Commit 9b4cb88 pushed by agutikov
4m 29s master
master
4m 29s
plans(P1d.2): six ways to express an obligation, as a menu per-commit #67: Commit ff394de pushed by agutikov
4m 45s master
master
4m 45s
run_tests.sh runs what CI runs — it had been reporting a pass over red per-commit #66: Commit 87f88f6 pushed by agutikov
4m 35s master
master
4m 35s
cargo doc is in the gate, and it had nineteen things to say per-commit #65: Commit addcfdd pushed by agutikov
43s master
master
43s
Fix every stale doc anchor and the three wrong link depths per-commit #64: Commit 3967a98 pushed by agutikov
48s master
master
48s
M1c is history: distil the plan tree into docs/history per-commit #63: Commit ecf5411 pushed by agutikov
45s master
master
45s
S1c.1.4: the stdlib corpus — 38 rules that never fired, and now none per-commit #62: Commit 933f2f6 pushed by agutikov
42s master
master
42s
nightly nightly #11: Scheduled
2m 29s master
master
2m 29s
plans(M2): reshaped around EinAf.md — NL → IR becomes the EinAf progr… per-commit #61: Commit 114835d pushed by agutikov
4m 19s master
master
4m 19s
plans → docs/history: M1a extracted, and plans/m1a_rust deleted per-commit #60: Commit 103be4b pushed by agutikov
4m 15s master
master
4m 15s
research plan per-commit #59: Commit aed9c9b pushed by agutikov
4m 10s master
master
4m 10s
S1a.9.4: docs/api gets a subject — and the re-take found an error, no… per-commit #58: Commit b72b9cd pushed by agutikov
4m 9s master
master
4m 9s
README: EinAf — the thirteen components, built / scheduled / open per-commit #57: Commit 8712199 pushed by agutikov
4m 9s master
master
4m 9s
rename per-commit #56: Commit 66109c9 pushed by agutikov
4m 23s master
master
4m 23s
more ideas per-commit #55: Commit 45aebdf pushed by agutikov
4m 40s master
master
4m 40s
more ideas per-commit #54: Commit 2f33de5 pushed by agutikov
1m 13s master
master
1m 13s
more ideas per-commit #53: Commit a8f5090 pushed by agutikov
29s master
master
29s
design/12: the rayon row, taken up per-commit #52: Commit 5c51f3a pushed by agutikov
3m 54s master
master
3m 54s