Skip to content

Actions: c-blake/adix

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

December 25, 2024 15:21 36s
Minor fix-up in comment.
CI #179: Commit dbee89e pushed by c-blake
December 25, 2024 14:58 34s master
December 25, 2024 14:58 34s
December 25, 2024 13:42 39s
December 25, 2024 12:52 38s
December 25, 2024 12:43 34s
December 25, 2024 12:30 31s
December 24, 2024 17:21 37s
Switch to ~1.4X faster single.precision IEEE log(abs(x)).
CI #173: Commit b0d0333 pushed by c-blake
December 24, 2024 17:04 31s master
December 24, 2024 17:04 31s
December 24, 2024 15:31 38s
November 29, 2024 14:42 58s
Same as 277b9408fdef3451d99bca31d2d6b7d0da299446
CI #170: Commit 8f3c19f pushed by c-blake
November 24, 2024 14:01 2m 16s master
November 24, 2024 14:01 2m 16s
Fix the only real bug found so far in 1000s of Uninit & ProveInit
CI #169: Commit 277b940 pushed by c-blake
November 24, 2024 13:54 1m 31s master
November 24, 2024 13:54 1m 31s
November 23, 2024 21:45 1m 24s
Add a couple missing comments & change Adds -> Gives since user type
CI #167: Commit 34dacc8 pushed by c-blake
November 23, 2024 14:18 1m 27s master
November 23, 2024 14:18 1m 27s
Lift inUse set/query into its own concept and just have len test it
CI #166: Commit 735e51a pushed by c-blake
November 23, 2024 13:31 2m 19s master
November 23, 2024 13:31 2m 19s
Smaller comment w/same content.
CI #165: Commit ecaeaea pushed by c-blake
November 23, 2024 10:48 1m 28s master
November 23, 2024 10:48 1m 28s
Put base concept predicates in a more natural order:
CI #164: Commit e8afded pushed by c-blake
November 23, 2024 10:41 38s master
November 23, 2024 10:41 38s
November 22, 2024 13:29 37s
Fiddle with some comment text.
CI #162: Commit 88e9294 pushed by c-blake
November 21, 2024 14:52 42s master
November 21, 2024 14:52 42s
November 21, 2024 11:19 49s
November 20, 2024 21:09 38s
November 12, 2024 15:29 57s
Bump versions pre-release
CI #158: Commit ed727ad pushed by c-blake
October 22, 2024 16:16 37s master
October 22, 2024 16:16 37s
October 10, 2024 08:28 41s
Add some missing imports of newer modules to the nim doc driver.
CI #156: Commit 4d3d99a pushed by c-blake
September 30, 2024 02:23 43s master
September 30, 2024 02:23 43s