Skip to content

Actions: urbit/vere

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

jets: refactors and optimizes tree-math jets
Feature pull request #834: Pull request #397 synchronize by joemfb
October 14, 2023 01:03 26m 45s jb/tree-math-jets
October 14, 2023 01:03 26m 45s
jets: refactors and optimizes tree-math jets
Feature pull request #833: Pull request #397 synchronize by joemfb
October 14, 2023 00:35 22m 5s jb/tree-math-jets
October 14, 2023 00:35 22m 5s
u3: declares %139 jets for +scot and +scow (#537)
Push to develop #171: Commit 9097efb pushed by joemfb
October 13, 2023 23:56 27m 54s develop
October 13, 2023 23:56 27m 54s
jets: refactors and optimizes tree-math jets
Feature pull request #832: Pull request #397 synchronize by joemfb
October 13, 2023 23:55 21m 56s jb/tree-math-jets
October 13, 2023 23:55 21m 56s
jets: refactors and optimizes tree-math jets
Feature pull request #831: Pull request #397 synchronize by joemfb
October 13, 2023 22:58 21m 35s jb/tree-math-jets
October 13, 2023 22:58 21m 35s
jets: refactors and optimizes tree-math jets
Feature pull request #830: Pull request #397 synchronize by joemfb
October 13, 2023 22:57 21m 54s jb/tree-math-jets
October 13, 2023 22:57 21m 54s
u3: inline cell deconstruction (#536)
Push to develop #170: Commit 770d094 pushed by joemfb
October 13, 2023 18:15 22m 40s develop
October 13, 2023 18:15 22m 40s
ames: handle %nail gift, lanes to vere cache
Feature pull request #828: Pull request #541 opened by pkova
October 13, 2023 11:31 22m 2s pkova/nail
October 13, 2023 11:31 22m 2s
u3: adjust free-list sizes
Feature pull request #827: Pull request #539 synchronize by joemfb
October 13, 2023 01:51 21m 47s jb/free-list-size
October 13, 2023 01:51 21m 47s
u3: adjust free-list sizes
Feature pull request #826: Pull request #539 opened by joemfb
October 12, 2023 14:50 25m 26s jb/free-list-size
October 12, 2023 14:50 25m 26s
epoc: cleanup (#531)
Push to develop #169: Commit 9bdc1af pushed by pkova
October 11, 2023 15:06 22m 28s develop
October 11, 2023 15:06 22m 28s
u3: restore old-style, efficient reap to u3m_love()
Feature pull request #825: Pull request #538 synchronize by joemfb
October 10, 2023 22:21 22m 23s jb/just-reap
October 10, 2023 22:21 22m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.