Skip to content

Actions: victoredwardocallaghan/idris2-rtlsdr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bindings: WIP to use IOArray in Buffer over List Build #168: Commit 0238527 pushed by victoredwardocallaghan
October 12, 2024 23:16 43s IOArray_wip
IOArray_wip
October 12, 2024 23:16 43s
bindings,test: Type set/get of CenterFreq with Nat Build #167: Commit 525b8b8 pushed by victoredwardocallaghan
October 11, 2024 23:16 14m 36s better-type-Int-in-API
better-type-Int-in-API
October 11, 2024 23:16 14m 36s
bindings: Use Nat as offset Type in EEProm.idr Build #166: Commit c6c02f1 pushed by victoredwardocallaghan
October 10, 2024 10:27 42s better-type-Int-in-API
better-type-Int-in-API
October 10, 2024 10:27 42s
bindings,test: Type SampleRate as Nat instead of Int Build #165: Commit bf88657 pushed by victoredwardocallaghan
October 9, 2024 22:49 43s better-type-Int-in-API
better-type-Int-in-API
October 9, 2024 22:49 43s
bindings: Better Type GPIO as Nat instead of Int Build #164: Commit 5ee5a09 pushed by victoredwardocallaghan
October 9, 2024 22:48 49s master
master
October 9, 2024 22:48 49s
bindings: Better Type GPIO as Nat instead of Int Build #163: Commit 2f76f4b pushed by victoredwardocallaghan
October 9, 2024 22:48 1m 23s better-type-Int-in-API
better-type-Int-in-API
October 9, 2024 22:48 1m 23s
bindings: Better Type device index as Nat intead of Int Build #162: Commit 924f164 pushed by victoredwardocallaghan
October 9, 2024 22:47 46s master
master
October 9, 2024 22:47 46s
bindings: Better Type GPIO as Nat instead of Int Build #161: Commit 93c7a0e pushed by victoredwardocallaghan
October 9, 2024 22:02 41s better-type-Int-in-API
better-type-Int-in-API
October 9, 2024 22:02 41s
bindings,test: Type SampleRate as Nat instead of Int Build #160: Commit 298fcf2 pushed by victoredwardocallaghan
October 9, 2024 22:00 49s better-type-Int-in-API
better-type-Int-in-API
October 9, 2024 22:00 49s
bindings: Trivially reorganise Buffer.idr Build #159: Commit 23190f6 pushed by victoredwardocallaghan
October 9, 2024 21:44 43s master
master
October 9, 2024 21:44 43s
test: Add Mel Cen to freqStr decode function Build #158: Commit 2f87f7b pushed by victoredwardocallaghan
October 8, 2024 06:18 47s master
master
October 8, 2024 06:18 47s
test: Move error decode into its own function Build #157: Commit d02f1a1 pushed by victoredwardocallaghan
October 7, 2024 22:07 37s master
master
October 7, 2024 22:07 37s
test: Add freq# decode function Build #156: Commit 75da892 pushed by victoredwardocallaghan
October 7, 2024 06:06 38s master
master
October 7, 2024 06:06 38s
bindings: Add top-level module doc string Build #155: Commit 849374d pushed by victoredwardocallaghan
October 6, 2024 22:54 39s master
master
October 6, 2024 22:54 39s
bindings: WIP to use IOArray in Buffer over List Build #154: Commit 80a158b pushed by victoredwardocallaghan
October 6, 2024 21:57 38s IOArray_wip
IOArray_wip
October 6, 2024 21:57 38s
bindings: Allow for both I and Q direct ADC sampling Build #153: Commit 6b277fb pushed by victoredwardocallaghan
October 6, 2024 11:24 39s v0.9
v0.9
October 6, 2024 11:24 39s
pages build and deployment pages-build-deployment #4: by victoredwardocallaghan
October 6, 2024 11:19 23s gh-pages
gh-pages
October 6, 2024 11:19 23s
bindings: Allow for both I and Q direct ADC sampling Build #152: Commit 6b277fb pushed by victoredwardocallaghan
October 6, 2024 11:16 39s master
master
October 6, 2024 11:16 39s
pages build and deployment pages-build-deployment #3: by victoredwardocallaghan
October 6, 2024 11:04 27s gh-pages
gh-pages
October 6, 2024 11:04 27s
pages build and deployment pages-build-deployment #2: by victoredwardocallaghan
October 6, 2024 11:00 32s gh-pages
gh-pages
October 6, 2024 11:00 32s
bindings: Type error from setCenterFreq Build #151: Commit e1193be pushed by victoredwardocallaghan
October 6, 2024 10:58 40s master
master
October 6, 2024 10:58 40s
README.md: Add docs link Build #150: Commit 60709d8 pushed by victoredwardocallaghan
October 6, 2024 10:50 42s master
master
October 6, 2024 10:50 42s
pages build and deployment pages-build-deployment #1: by victoredwardocallaghan
October 6, 2024 10:47 26s gh-pages
gh-pages
October 6, 2024 10:47 26s
bindings: Avoid bug in underlying get_device_usb_strings Build #149: Commit 4b31df0 pushed by victoredwardocallaghan
October 6, 2024 10:19 48s master
master
October 6, 2024 10:19 48s
test: Change serial str to programmed one Build #148: Commit 13020da pushed by victoredwardocallaghan
October 6, 2024 09:02 38s master
master
October 6, 2024 09:02 38s