Skip to content

Actions: NLnetLabs/roto

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
95 workflow runs
95 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

adapt to multi-mapped store
ci #95: Pull request #47 synchronize by density215
May 29, 2024 11:16 1m 36s indexed-multi-map
May 29, 2024 11:16 1m 36s
adapt to multi-mapped store
ci #94: Pull request #47 synchronize by density215
May 29, 2024 10:58 1m 42s indexed-multi-map
May 29, 2024 10:58 1m 42s
adapt to multi-mapped store
ci #93: Pull request #47 opened by density215
May 29, 2024 10:40 52s indexed-multi-map
May 29, 2024 10:40 52s
Merge pull request #45 from NLnetLabs/add-run-string
ci #91: Commit b20e0ad pushed by density215
April 8, 2024 14:48 2m 59s main
April 8, 2024 14:48 2m 59s
add run_string function for current version of rotonda
ci #90: Pull request #45 opened by tertsdiepraam
April 8, 2024 14:24 1m 39s add-run-string
April 8, 2024 14:24 1m 39s
clean
ci #89: Commit 8678110 pushed by density215
April 8, 2024 12:15 2m 6s main
April 8, 2024 12:15 2m 6s
- Add explode_withdrawals
ci #88: Commit 2edcd17 pushed by density215
April 8, 2024 12:14 1m 35s main
April 8, 2024 12:14 1m 35s
Merge branch 'route-context'
ci #87: Commit 4c8b242 pushed by density215
April 3, 2024 13:43 1m 39s main
April 3, 2024 13:43 1m 39s
Route context
ci #86: Pull request #44 synchronize by density215
April 3, 2024 13:30 1m 56s route-context
April 3, 2024 13:30 1m 56s
add simple vscode extension
ci #85: Commit a320f87 pushed by density215
April 3, 2024 13:07 41s main
April 3, 2024 13:07 41s
Route context
ci #84: Pull request #44 synchronize by density215
April 3, 2024 12:45 1m 40s route-context
April 3, 2024 12:45 1m 40s
Route context
ci #83: Pull request #44 synchronize by density215
April 2, 2024 14:27 1m 41s route-context
April 2, 2024 14:27 1m 41s
Route context
ci #82: Pull request #44 synchronize by density215
April 2, 2024 13:58 1m 35s route-context
April 2, 2024 13:58 1m 35s
Route context
ci #81: Pull request #44 opened by density215
March 28, 2024 17:19 1m 33s route-context
March 28, 2024 17:19 1m 33s
Add simple vscode extension
ci #80: Pull request #43 opened by tertsdiepraam
March 28, 2024 15:01 58s vscode-extension
March 28, 2024 15:01 58s
March 27, 2024 09:17 41s
Better type errors
ci #78: Pull request #42 synchronize by tertsdiepraam
March 25, 2024 15:31 1m 30s new-type-checker
March 25, 2024 15:31 1m 30s
Better type errors
ci #77: Pull request #42 synchronize by tertsdiepraam
March 25, 2024 15:21 1m 35s new-type-checker
March 25, 2024 15:21 1m 35s
Better type errors
ci #76: Pull request #42 synchronize by tertsdiepraam
March 25, 2024 15:10 1m 35s new-type-checker
March 25, 2024 15:10 1m 35s
Better type errors
ci #75: Pull request #42 opened by tertsdiepraam
March 25, 2024 15:09 1m 34s new-type-checker
March 25, 2024 15:09 1m 34s
Merge pull request #41 from NLnetLabs/new-type-checker
ci #74: Commit 4f0e560 pushed by tertsdiepraam
March 20, 2024 13:53 1m 35s main
March 20, 2024 13:53 1m 35s
Merge pull request #40 from NLnetLabs/shrink-ast
ci #73: Commit f5b7f03 pushed by tertsdiepraam
March 18, 2024 12:52 1m 42s main
March 18, 2024 12:52 1m 42s
New type checker
ci #72: Pull request #41 opened by tertsdiepraam
March 16, 2024 12:56 1m 32s new-type-checker
March 16, 2024 12:56 1m 32s
Store community literals as routecore types instead of strings
ci #71: Pull request #40 opened by tertsdiepraam
March 5, 2024 12:45 1m 32s shrink-ast
March 5, 2024 12:45 1m 32s