Skip to content

Actions: gerlichlab/gerlib

Actions

Clean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add .head as syntax extension to AtLeast2[List, *]
Clean #88: Commit bf6a262 pushed by vreuter
October 26, 2024 00:26 17s vr/looptrace-v11
October 26, 2024 00:26 17s
condition the test on the necessary precondition
Clean #87: Commit 0a59b37 pushed by vreuter
October 26, 2024 00:05 11s vr/looptrace-v11
October 26, 2024 00:05 11s
adding the AtLeast2 data type / abstraction
Clean #86: Commit 3312d84 pushed by vreuter
October 25, 2024 13:59 13s vr/looptrace-v11
October 25, 2024 13:59 13s
bump to a stable release version number
Clean #85: Commit a201649 pushed by vreuter
October 22, 2024 13:59 10s v0.2.0
October 22, 2024 13:59 10s
bump to a stable release version number
Clean #84: Commit a201649 pushed by vreuter
October 22, 2024 13:56 13s main
October 22, 2024 13:56 13s
update changelog to prep version 2 release
Clean #83: Commit 7d7b4c8 pushed by vreuter
October 22, 2024 13:26 13s main
October 22, 2024 13:26 13s
add helper for getting CsvRowEncoder from a ColumnNameLike
Clean #82: Commit c695b76 pushed by vreuter
October 17, 2024 10:25 23s main
October 17, 2024 10:25 23s
October 16, 2024 11:16 11s
fix the test case generation via Arbitrary[PositionName]
Clean #80: Commit fdb7c66 pushed by vreuter
October 14, 2024 13:08 17s main
October 14, 2024 13:08 17s
October 14, 2024 10:42 20s
apply formatter
Clean #78: Commit da6fe28 pushed by vreuter
October 14, 2024 08:17 15s main
October 14, 2024 08:17 15s
JsonValueWriter instance for FieldOfView
Clean #77: Commit 57b2eb8 pushed by vreuter
October 14, 2024 08:02 13s main
October 14, 2024 08:02 13s
provide a JSON writer for PositionName
Clean #76: Commit 41205b4 pushed by vreuter
October 12, 2024 14:32 11s main
October 12, 2024 14:32 11s
denote the version a snapshot
Clean #75: Commit 097e786 pushed by vreuter
October 12, 2024 07:31 12s main
October 12, 2024 07:31 12s
clearer name for the channel in which a spot is detected
Clean #74: Commit 60d7288 pushed by vreuter
October 12, 2024 07:25 12s main
October 12, 2024 07:25 12s
clearer column name for channel in which a spot is detected
Clean #73: Commit 5da3b93 pushed by vreuter
October 11, 2024 17:23 11s main
October 11, 2024 17:23 11s
clearer name for the channel in which a spot is detected
Clean #72: Commit 458ad1f pushed by vreuter
October 11, 2024 17:12 11s main
October 11, 2024 17:12 11s
brief notes on mechanics of what's going on
Clean #71: Commit 16745ff pushed by vreuter
October 10, 2024 23:34 1m 20s main
October 10, 2024 23:34 1m 20s