Skip to content

Actions: propensive/ethereal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remember to export service to Soundness
Repo Admin #100: Commit f545b2e pushed by propensive
August 29, 2024 06:18 1m 11s main
August 29, 2024 06:18 1m 11s
Remember to export service to Soundness
Build #122: Commit f545b2e pushed by propensive
August 29, 2024 06:18 5m 47s main
August 29, 2024 06:18 5m 47s
Move service method to the right source file
Repo Admin #99: Commit fb65b00 pushed by propensive
August 28, 2024 11:12 1m 29s main
August 28, 2024 11:12 1m 29s
Move service method to the right source file
Build #121: Commit fb65b00 pushed by propensive
August 28, 2024 11:12 5m 48s main
August 28, 2024 11:12 5m 48s
Update basics text
Repo Admin #98: Commit 5957815 pushed by propensive
August 27, 2024 11:49 1m 14s main
August 27, 2024 11:49 1m 14s
Update basics text
Build #120: Commit 5957815 pushed by propensive
August 27, 2024 11:49 5m 32s main
August 27, 2024 11:49 5m 32s
Tweak slogan
Build #119: Commit 6b4b289 pushed by propensive
August 27, 2024 11:22 5m 43s main
August 27, 2024 11:22 5m 43s
Tweak slogan
Repo Admin #97: Commit 6b4b289 pushed by propensive
August 27, 2024 11:22 1m 21s main
August 27, 2024 11:22 1m 21s
Added POM file
Build #118: Commit 4c38218 pushed by propensive
August 27, 2024 11:22 5m 56s main
August 27, 2024 11:22 5m 56s
Merge branch 'main' of github.com:propensive/spectral
Repo Admin #96: Commit 1ad2b34 pushed by propensive
August 27, 2024 10:47 1m 25s main
August 27, 2024 10:47 1m 25s
Merge branch 'main' of github.com:propensive/spectral
Build #117: Commit 1ad2b34 pushed by propensive
August 27, 2024 10:47 5m 39s main
August 27, 2024 10:47 5m 39s
Improved downloading
Build #116: Commit d1d58bd pushed by propensive
August 27, 2024 09:58 6m 3s main
August 27, 2024 09:58 6m 3s
Improved downloading
Repo Admin #95: Commit d1d58bd pushed by propensive
August 27, 2024 09:58 1m 15s main
August 27, 2024 09:58 1m 15s
Merge branch 'main' of github.com:propensive/spectral
Build #115: Commit af49e47 pushed by propensive
August 26, 2024 19:49 5m 39s main
August 26, 2024 19:49 5m 39s
Soundness exports
Repo Admin #94: Commit 212a78a pushed by propensive
August 26, 2024 06:53 1m 22s main
August 26, 2024 06:53 1m 22s
Soundness exports
Build #114: Commit 212a78a pushed by propensive
August 26, 2024 06:53 6m 12s main
August 26, 2024 06:53 6m 12s
Use Prepositional for infix types
Build #113: Commit ac79d33 pushed by propensive
August 22, 2024 20:34 5m 29s main
August 22, 2024 20:34 5m 29s
Use Prepositional for infix types
Repo Admin #93: Commit ac79d33 pushed by propensive
August 22, 2024 20:34 1m 8s main
August 22, 2024 20:34 1m 8s
Don't discard any imports
Repo Admin #92: Commit 0588a65 pushed by propensive
August 22, 2024 11:13 1m 18s main
August 22, 2024 11:13 1m 18s
Don't discard any imports
Build #112: Commit 0588a65 pushed by propensive
August 22, 2024 11:13 5m 25s main
August 22, 2024 11:13 5m 25s
Use Log's route method
Repo Admin #91: Commit 8efe8d5 pushed by propensive
August 7, 2024 10:02 1m 9s main
August 7, 2024 10:02 1m 9s
Use Log's route method
Build #111: Commit 8efe8d5 pushed by propensive
August 7, 2024 10:02 5m 34s main
August 7, 2024 10:02 5m 34s
Some renames
Build #110: Commit cd92d9f pushed by propensive
July 16, 2024 19:04 6m 8s main
July 16, 2024 19:04 6m 8s
Some renames
Repo Admin #90: Commit cd92d9f pushed by propensive
July 16, 2024 19:04 1m 20s main
July 16, 2024 19:04 1m 20s
Rename sanitization
Build #109: Commit 2d88ac9 pushed by propensive
July 15, 2024 07:31 5m 17s main
July 15, 2024 07:31 5m 17s