Skip to content

Actions: propensive/soundness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Search for unnamed HTTP headers by type, but contravariantly (#79) Build #393: Commit ee22d4b pushed by propensive
January 28, 2025 12:44 4m 55s main
main
January 28, 2025 12:44 4m 55s
Search for unnamed HTTP headers by type, but contravariantly Build #392: Pull request #79 opened by propensive
January 28, 2025 12:24 4m 19s contravariant-search-for-unnamed-http-headers
contravariant-search-for-unnamed-http-headers
January 28, 2025 12:24 4m 19s
Fix the opaque type of Quantity#value to Double (#78) Build #391: Commit 975b3f1 pushed by propensive
January 28, 2025 12:07 3m 54s main
main
January 28, 2025 12:07 3m 54s
Fix the opaque type of Quantity#value to Double Build #390: Pull request #78 opened by propensive
January 28, 2025 12:02 4m 6s fix-opaque-typing-for-quantity
fix-opaque-typing-for-quantity
January 28, 2025 12:02 4m 6s
Eliminate duplicate Http object (#77) Build #389: Commit 2f85bb1 pushed by propensive
January 28, 2025 11:53 3m 30s main
main
January 28, 2025 11:53 3m 30s
Eliminate duplicate Http object Build #388: Pull request #77 opened by propensive
January 28, 2025 11:48 3m 59s eliminate-duplicate-http-object
eliminate-duplicate-http-object
January 28, 2025 11:48 3m 59s
Support simpler attribute definitions in Honeycomb (#76) Build #387: Commit 996b72a pushed by propensive
January 28, 2025 11:05 5m 12s main
main
January 28, 2025 11:05 5m 12s
Simplify attribute specification for HTML tags Build #386: Pull request #76 synchronize by propensive
January 28, 2025 10:59 4m 56s honeycomb-simplification
honeycomb-simplification
January 28, 2025 10:59 4m 56s
Improvements to Telekinesis request API (#74) Build #385: Commit e1f8bfb pushed by propensive
January 28, 2025 10:58 3m 41s main
main
January 28, 2025 10:58 3m 41s
Simplify attribute specification for HTML tags Build #384: Pull request #76 opened by propensive
January 28, 2025 10:57 4m 2s honeycomb-simplification
honeycomb-simplification
January 28, 2025 10:57 4m 2s
Improvements to Telekinesis request API Build #383: Pull request #74 synchronize by propensive
January 28, 2025 10:38 4m 9s update-telekinesis
update-telekinesis
January 28, 2025 10:38 4m 9s
Improvements to Telekinesis request API Build #382: Pull request #74 synchronize by propensive
January 28, 2025 08:40 3m 40s update-telekinesis
update-telekinesis
January 28, 2025 08:40 3m 40s
Improvements to Telekinesis request API Build #381: Pull request #74 opened by propensive
January 27, 2025 22:14 4m 3s update-telekinesis
update-telekinesis
January 27, 2025 22:14 4m 3s
Ensure all test modules have necessary dependencies (#73) Build #380: Commit a364ace pushed by propensive
January 27, 2025 20:08 4m 6s main
main
January 27, 2025 20:08 4m 6s
Ensure all test modules have necessary dependencies Build #379: Pull request #73 opened by propensive
January 27, 2025 20:02 4m 13s ensure-test-dependencies
ensure-test-dependencies
January 27, 2025 20:02 4m 13s
Reinstate compiletime tests for Gossamer and Kaleidoscope (#72) Build #378: Commit df3bb86 pushed by propensive
January 26, 2025 22:05 3m 31s main
main
January 26, 2025 22:05 3m 31s
Reinstate compiletime tests for Gossamer and Kaleidoscope Build #377: Pull request #72 opened by propensive
January 26, 2025 21:48 3m 58s uncomment-compiletime-tests
uncomment-compiletime-tests
January 26, 2025 21:48 3m 58s
use larceny as compiler plugin for ProbablyTestModule (#70) Build #376: Commit f0336eb pushed by propensive
January 26, 2025 18:43 3m 37s main
main
January 26, 2025 18:43 3m 37s
Use larceny plugin for testing from sources Build #375: Pull request #70 synchronize by propensive
January 26, 2025 18:37 3m 36s larceny-dependency
larceny-dependency
January 26, 2025 18:37 3m 36s
Allow extraction of character classes into Chars (#69) Build #374: Commit 7d5b422 pushed by propensive
January 26, 2025 18:29 3m 41s main
main
January 26, 2025 18:29 3m 41s
Use larceny plugin for testing from sources Build #373: Pull request #70 opened by NPCRUS
January 26, 2025 18:06 4m 50s larceny-dependency
larceny-dependency
January 26, 2025 18:06 4m 50s
Allow extraction of character classes into Chars Build #372: Pull request #69 opened by propensive
January 26, 2025 17:40 4m 53s support-kaleidoscope-extraction-into-chars
support-kaleidoscope-extraction-into-chars
January 26, 2025 17:40 4m 53s
Use Proscenium for stdlib exports, instead of Rudiments (#68) Build #371: Commit 34df0fc pushed by propensive
January 26, 2025 13:42 3m 38s main
main
January 26, 2025 13:42 3m 38s
Use proscenium Build #370: Pull request #68 synchronize by propensive
January 26, 2025 12:21 3m 33s use-proscenium
use-proscenium
January 26, 2025 12:21 3m 33s
Rename DummyImplicit to Void and make sure it is erased (#67) Build #369: Commit ec2c30a pushed by propensive
January 26, 2025 08:52 3m 16s main
main
January 26, 2025 08:52 3m 16s