Skip to content

Actions: propensive/soundness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Rename DummyImplicit to Void and make sure it is erased Build #368: Pull request #67 opened by propensive
January 26, 2025 08:46 3m 30s rename-and-erase-dummy-implicit
rename-and-erase-dummy-implicit
January 26, 2025 08:46 3m 30s
Fix Gossamer tests (all but one) (#66) Build #367: Commit e26df95 pushed by propensive
January 26, 2025 08:15 4m 22s main
main
January 26, 2025 08:15 4m 22s
Fix Gossamer tests (all but one) Build #366: Pull request #66 opened by propensive
January 26, 2025 08:07 4m 26s fix-gossamer-tests
fix-gossamer-tests
January 26, 2025 08:07 4m 26s
Eliminated numerous warnings, and simplified Symbolism typeclasses (#65) Build #365: Commit 3c37d86 pushed by propensive
January 25, 2025 19:05 3m 36s main
main
January 25, 2025 19:05 3m 36s
Simplify symbolism typeclasses and clean up some warnings Build #364: Pull request #65 opened by propensive
January 25, 2025 18:58 3m 28s simplify-symbolism-typeclasses
simplify-symbolism-typeclasses
January 25, 2025 18:58 3m 28s
Remove all remaining long lines (#64) Build #363: Commit 62ffc55 pushed by propensive
January 25, 2025 15:01 3m 21s main
main
January 25, 2025 15:01 3m 21s
Remove all remaining long lines Build #362: Pull request #64 opened by propensive
January 25, 2025 14:56 4m 21s remove-final-long-lines
remove-final-long-lines
January 25, 2025 14:56 4m 21s
Fix the calculation of leap seconds in Aviation (#63) Build #361: Commit 7f9e4b9 pushed by propensive
January 25, 2025 11:14 3m 18s main
main
January 25, 2025 11:14 3m 18s
Fix the calculation of leap seconds in Aviation Build #360: Pull request #63 synchronize by propensive
January 25, 2025 11:09 3m 41s fix-leap-seconds-calculation
fix-leap-seconds-calculation
January 25, 2025 11:09 3m 41s
Fix the calculation of leap seconds in Aviation Build #359: Pull request #63 opened by propensive
January 25, 2025 11:04 4m 39s fix-leap-seconds-calculation
fix-leap-seconds-calculation
January 25, 2025 11:04 4m 39s
Fix various errors in Kaleidoscope so that the tests pass (#62) Build #358: Commit bbeaabc pushed by propensive
January 25, 2025 08:15 3m 42s main
main
January 25, 2025 08:15 3m 42s
Fix various errors in Kaleidoscope so that the tests pass Build #357: Pull request #62 opened by propensive
January 25, 2025 08:10 3m 38s fix-kaleidoscope-tests
fix-kaleidoscope-tests
January 25, 2025 08:10 3m 38s
Eliminate more long lines (#60) Build #356: Commit 6fe6035 pushed by propensive
January 24, 2025 21:04 3m 31s main
main
January 24, 2025 21:04 3m 31s
Eliminate more long lines Build #355: Pull request #60 synchronize by propensive
January 24, 2025 20:58 4m 30s eliminate-more-long-lines
eliminate-more-long-lines
January 24, 2025 20:58 4m 30s
More long-line elimination (#59) Build #354: Commit b55c9fd pushed by propensive
January 24, 2025 17:40 4m 10s main
main
January 24, 2025 17:40 4m 10s
More long-line elimination Build #353: Pull request #59 opened by propensive
January 24, 2025 17:04 4m 4s eliminate-more-long-lines
eliminate-more-long-lines
January 24, 2025 17:04 4m 4s
Updated several submodules to remove more long lines (#57) Build #352: Commit 8e8c596 pushed by propensive
January 24, 2025 16:53 4m 5s main
main
January 24, 2025 16:53 4m 5s