Skip to content

Actions: propensive/soundness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
495 workflow runs
495 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewrite Serpentine Build #766: Pull request #173 synchronize by propensive
March 9, 2025 20:52 2m 30s rewrite-serpentine
rewrite-serpentine
March 9, 2025 20:52 2m 30s
Rewrite Serpentine Build #765: Pull request #173 synchronize by propensive
March 9, 2025 16:21 2m 35s rewrite-serpentine
rewrite-serpentine
March 9, 2025 16:21 2m 35s
Rewrite Serpentine Build #764: Pull request #173 synchronize by propensive
March 9, 2025 16:18 2m 48s rewrite-serpentine
rewrite-serpentine
March 9, 2025 16:18 2m 48s
Rewrite Serpentine Build #763: Pull request #173 synchronize by propensive
March 9, 2025 16:05 2m 33s rewrite-serpentine
rewrite-serpentine
March 9, 2025 16:05 2m 33s
Rewrite Serpentine Build #762: Pull request #173 synchronize by propensive
March 9, 2025 13:40 2m 43s rewrite-serpentine
rewrite-serpentine
March 9, 2025 13:40 2m 43s
Erase usage of Parametric (#217) Build #761: Commit 2b208a2 pushed by propensive
March 8, 2025 15:02 3m 0s main
main
March 8, 2025 15:02 3m 0s
Erase usage of Parametric Build #760: Pull request #217 opened by propensive
March 8, 2025 14:59 2m 56s erase-parametric-contextual-values
erase-parametric-contextual-values
March 8, 2025 14:59 2m 56s
Fix an issue constructing a Location from angles in degrees (#216) Build #759: Commit 8464c21 pushed by propensive
March 8, 2025 14:58 2m 51s main
main
March 8, 2025 14:58 2m 51s
Fix an issue constructing a Location from angles in degrees Build #758: Pull request #216 opened by propensive
March 8, 2025 14:55 2m 51s fix-location-from-angle-bug
fix-location-from-angle-bug
March 8, 2025 14:55 2m 51s
Rewrite Serpentine Build #757: Pull request #173 synchronize by propensive
March 6, 2025 07:48 2m 29s rewrite-serpentine
rewrite-serpentine
March 6, 2025 07:48 2m 29s
Introduce Perihelion Build #756: Pull request #213 synchronize by propensive
March 6, 2025 07:44 2m 53s introduce-perihelion
introduce-perihelion
March 6, 2025 07:44 2m 53s
Introduce Austronesian Build #755: Pull request #166 synchronize by propensive
March 6, 2025 07:43 3m 9s introduce-austronesian
introduce-austronesian
March 6, 2025 07:43 3m 9s
Improve introductory text Build #754: Pull request #171 synchronize by propensive
March 6, 2025 07:40 2m 53s improve-text
improve-text
March 6, 2025 07:40 2m 53s
Monotonous tests now compile, but fail at runtime (#214) Build #753: Commit 3209f6e pushed by propensive
March 6, 2025 07:30 2m 54s main
main
March 6, 2025 07:30 2m 54s
Monotonous tests now compile Build #752: Pull request #214 opened by propensive
March 6, 2025 07:06 3m 10s improvements-to-monotonous-tests
improvements-to-monotonous-tests
March 6, 2025 07:06 3m 10s
Introduce Perihelion Build #751: Pull request #213 synchronize by propensive
March 6, 2025 06:23 3m 2s introduce-perihelion
introduce-perihelion
March 6, 2025 06:23 3m 2s
Introduce Perihelion Build #750: Pull request #213 opened by propensive
March 6, 2025 06:19 3m 3s introduce-perihelion
introduce-perihelion
March 6, 2025 06:19 3m 3s
Fix and test Conduit (#212) Build #749: Commit 7bb1d10 pushed by propensive
March 5, 2025 17:52 3m 0s main
main
March 5, 2025 17:52 3m 0s
Fix and test Conduit Build #748: Pull request #212 opened by propensive
March 5, 2025 17:49 3m 5s fix-and-test-conduit
fix-and-test-conduit
March 5, 2025 17:49 3m 5s
Make shredding random (#211) Build #747: Commit 43a7e21 pushed by propensive
March 5, 2025 15:34 3m 25s main
main
March 5, 2025 15:34 3m 25s
Make shredding random Build #746: Pull request #211 opened by propensive
March 5, 2025 15:11 3m 10s random-shredding
random-shredding
March 5, 2025 15:11 3m 10s
Fix issues with Gamma distribution (#210) Build #745: Commit 3dfdc09 pushed by propensive
March 5, 2025 14:36 2m 59s main
main
March 5, 2025 14:36 2m 59s
Fix issues with Gamma distribution Build #744: Pull request #210 synchronize by propensive
March 5, 2025 14:32 2m 59s better-stats
better-stats
March 5, 2025 14:32 2m 59s
Fix issues with Gamma distribution Build #743: Pull request #210 synchronize by propensive
March 5, 2025 14:31 3m 5s better-stats
better-stats
March 5, 2025 14:31 3m 5s
Fix issues with Gamma distribution Build #742: Pull request #210 opened by propensive
March 5, 2025 14:31 3m 9s better-stats
better-stats
March 5, 2025 14:31 3m 9s