Skip to content

Actions: urschrei/lonlat_bng

Actions

Test and Build

Actions

Loading...

Show workflow options

Create status badge

16 workflow runs
16 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Use concrete type to fix a potential soundness issue
Test and Build #60: Commit f1c4f05 pushed by urschrei
July 3, 2023 09:55 4m 41s v0.6.33
July 3, 2023 09:55 4m 41s
Use concrete type to fix a potential soundness issue
Test and Build #59: Commit f1c4f05 pushed by urschrei
July 3, 2023 09:53 4m 38s master
July 3, 2023 09:53 4m 38s
Cast to mutable void pointer to keep miri happy
Test and Build #54: Commit c66eca1 pushed by urschrei
March 30, 2023 15:44 5m 32s master
March 30, 2023 15:44 5m 32s
Version bump
Test and Build #53: Commit 2d26066 pushed by urschrei
March 26, 2023 13:25 6m 36s master
March 26, 2023 13:25 6m 36s
Test and Build
Test and Build #52: by urschrei
March 26, 2023 11:35 8m 12s v0.6.31
March 26, 2023 11:35 8m 12s
Test and Build
Test and Build #51: by urschrei
March 24, 2023 17:13 6m 30s v0.6.30
March 24, 2023 17:13 6m 30s
Test and Build
Test and Build #50: by urschrei
March 24, 2023 16:23 9m 41s v0.6.29
March 24, 2023 16:23 9m 41s
Fix ci config again
Test and Build #49: Commit 1c7c61d pushed by urschrei
March 24, 2023 16:03 7m 27s master
March 24, 2023 16:03 7m 27s
Test and Build
Test and Build #48: by urschrei
March 24, 2023 15:57 6m 41s v0.6.28
March 24, 2023 15:57 6m 41s
Test and Build
Test and Build #47: by urschrei
March 24, 2023 15:56 1s v0.6.27
March 24, 2023 15:56 1s
Test and Build
Test and Build #46: by urschrei
March 24, 2023 15:54 1s v0.6.26
March 24, 2023 15:54 1s
Update benchmarks to use criterion
Test and Build #45: Commit d645a2d pushed by urschrei
March 17, 2023 18:36 8m 54s master
March 17, 2023 18:36 8m 54s