Skip to content

Actions: turion/rhine

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
519 workflow runs
519 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #357 from turion/dependabot/github_actions/Determi… build #847: Commit 1d336da pushed by turion
September 28, 2024 06:48 26m 4s master
master
September 28, 2024 06:48 26m 4s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 build #846: Pull request #357 synchronize by dependabot bot
September 27, 2024 08:06 8m 3s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
September 27, 2024 08:06 8m 3s
Merge pull request #360 from turion/dependabot/github_actions/cachix/… build #845: Commit 6c8b3f7 pushed by turion
September 27, 2024 08:05 5m 36s master
master
September 27, 2024 08:05 5m 36s
Bump cachix/install-nix-action from V27 to 29 build #844: Pull request #360 opened by dependabot bot
September 27, 2024 00:59 7m 39s dependabot/github_actions/cachix/install-nix-action-v29
dependabot/github_actions/cachix/install-nix-action-v29
September 27, 2024 00:59 7m 39s
build build #843: Scheduled
September 24, 2024 14:35 7m 23s master
master
September 24, 2024 14:35 7m 23s
build build #842: Scheduled
September 17, 2024 14:32 5m 33s master
master
September 17, 2024 14:32 5m 33s
Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.1 build #841: Pull request #359 opened by dependabot bot
September 16, 2024 01:02 4m 58s dependabot/github_actions/kleidukos/get-tested-0.1.8.1
dependabot/github_actions/kleidukos/get-tested-0.1.8.1
September 16, 2024 01:02 4m 58s
Bump cachix/install-nix-action from V27 to 28 build #840: Pull request #358 opened by dependabot bot
September 13, 2024 00:31 2m 58s dependabot/github_actions/cachix/install-nix-action-V28
dependabot/github_actions/cachix/install-nix-action-V28
September 13, 2024 00:31 2m 58s
build build #839: Scheduled
September 10, 2024 14:34 7m 23s master
master
September 10, 2024 14:34 7m 23s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 build #838: Pull request #357 opened by dependabot bot
September 10, 2024 00:16 7m 50s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
September 10, 2024 00:16 7m 50s
Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.0 build #837: Pull request #356 opened by dependabot bot
September 9, 2024 00:09 3m 47s dependabot/github_actions/kleidukos/get-tested-0.1.8.0
dependabot/github_actions/kleidukos/get-tested-0.1.8.0
September 9, 2024 00:09 3m 47s
build build #836: Scheduled
September 3, 2024 14:33 5m 44s master
master
September 3, 2024 14:33 5m 44s
Possible fix for #304: Simplify init_clock and make sinceLast a Maybe build #835: Pull request #352 opened by turion
August 29, 2024 08:45 3m 1s dev_fix_#304_simplify_initClock_Maybe_sinceLast
dev_fix_#304_simplify_initClock_Maybe_sinceLast
August 29, 2024 08:45 3m 1s
Extend benchmark build #834: Pull request #349 synchronize by turion
August 29, 2024 08:40 3m 33s dev_benchmark
dev_benchmark
August 29, 2024 08:40 3m 33s
WIP inspection test to ensure correct optimization build #833: Pull request #351 opened by turion
August 29, 2024 08:39 12m 19s dev_inspection_tests
dev_inspection_tests
August 29, 2024 08:39 12m 19s
Add script to simplify screen recordings. build #832: Pull request #350 opened by turion
August 29, 2024 08:21 6m 7s dev_screen_recording
dev_screen_recording
August 29, 2024 08:21 6m 7s
Remove SN GADT in favour of inlinable functions build #831: Pull request #348 synchronize by turion
August 29, 2024 07:47 12m 55s dev_sn_functions
dev_sn_functions
August 29, 2024 07:47 12m 55s
build build #830: Scheduled
August 27, 2024 14:33 9m 33s master
master
August 27, 2024 14:33 9m 33s
build build #829: Scheduled
August 20, 2024 14:31 7m 45s master
master
August 20, 2024 14:31 7m 45s
Schedule a list of automata efficiently build #828: Pull request #343 synchronize by turion
August 13, 2024 19:52 11m 26s dev_schedule_list
dev_schedule_list
August 13, 2024 19:52 11m 26s
Remove SN GADT in favour of inlinable functions build #827: Pull request #348 synchronize by turion
August 13, 2024 19:19 11m 3s dev_sn_functions
dev_sn_functions
August 13, 2024 19:19 11m 3s
Remove SN GADT in favour of inlinable functions build #826: Pull request #348 synchronize by turion
August 13, 2024 19:15 6m 25s dev_sn_functions
dev_sn_functions
August 13, 2024 19:15 6m 25s
Extend benchmark build #825: Pull request #349 opened by turion
August 13, 2024 19:13 3m 58s dev_benchmark
dev_benchmark
August 13, 2024 19:13 3m 58s
Schedule a list of automata efficiently build #824: Pull request #343 synchronize by turion
August 13, 2024 18:43 11m 27s dev_schedule_list
dev_schedule_list
August 13, 2024 18:43 11m 27s
Remove SN GADT in favour of inlinable functions build #823: Pull request #348 opened by turion
August 13, 2024 18:41 11m 4s dev_sn_functions
dev_sn_functions
August 13, 2024 18:41 11m 4s