Skip to content

Actions: turion/rhine

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
541 workflow runs
541 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend automaton
build #933: Pull request #381 synchronize by turion
December 28, 2024 12:53 5m 28s dev_extend_automaton
December 28, 2024 12:53 5m 28s
rhine-dom
build #932: Pull request #374 synchronize by turion
December 28, 2024 12:43 2m 40s dev_tree
December 28, 2024 12:43 2m 40s
rhine-dom
build #931: Pull request #374 synchronize by turion
December 28, 2024 12:36 1m 54s dev_tree
December 28, 2024 12:36 1m 54s
rhine-dom
build #930: Pull request #374 synchronize by turion
December 28, 2024 12:34 1m 22s dev_tree
December 28, 2024 12:34 1m 22s
flake.lock: Update
build #929: Pull request #380 synchronize by turion
December 24, 2024 15:17 58m 3s update_flake_lock_action
December 24, 2024 15:17 58m 3s
build
build #928: Scheduled
December 24, 2024 14:32 11m 8s master
December 24, 2024 14:32 11m 8s
rhine-dom
build #927: Pull request #374 synchronize by turion
December 20, 2024 17:27 1m 29s dev_tree
December 20, 2024 17:27 1m 29s
flake.lock: Update
build #926: Pull request #380 synchronize by turion
December 17, 2024 15:20 10m 39s update_flake_lock_action
December 17, 2024 15:20 10m 39s
build
build #925: Scheduled
December 17, 2024 14:38 4m 18s master
December 17, 2024 14:38 4m 18s
flake.lock: Update
build #924: Pull request #380 synchronize by turion
December 10, 2024 15:20 1h 21m 0s update_flake_lock_action
December 10, 2024 15:20 1h 21m 0s
build
build #923: Scheduled
December 10, 2024 14:39 10m 43s master
December 10, 2024 14:39 10m 43s
flake.lock: Update
build #922: Pull request #380 opened by turion
December 3, 2024 15:20 1h 41m 11s update_flake_lock_action
December 3, 2024 15:20 1h 41m 11s
build
build #921: Scheduled
December 3, 2024 14:37 12m 37s master
December 3, 2024 14:37 12m 37s
Merge pull request #348 from turion/dev_sn_functions
build #920: Commit 09969fe pushed by turion
November 29, 2024 15:20 10m 13s master
November 29, 2024 15:20 10m 13s
Internal monad schedule class
build #919: Pull request #376 synchronize by turion
November 29, 2024 15:07 3m 55s dev_internal_monad_schedule
November 29, 2024 15:07 3m 55s
Remove SN GADT in favour of inlinable functions
build #918: Pull request #348 synchronize by turion
November 29, 2024 14:57 22m 17s dev_sn_functions
November 29, 2024 14:57 22m 17s
Remove SN GADT in favour of inlinable functions
build #917: Pull request #348 synchronize by turion
November 29, 2024 14:46 14m 22s dev_sn_functions
November 29, 2024 14:46 14m 22s
Internal monad schedule class
build #916: Pull request #376 synchronize by turion
November 29, 2024 11:30 2m 20s dev_internal_monad_schedule
November 29, 2024 11:30 2m 20s
Internal monad schedule class
build #915: Pull request #376 opened by turion
November 29, 2024 09:10 3m 58s dev_internal_monad_schedule
November 29, 2024 09:10 3m 58s
Merge pull request #375 from turion/dev_update_flake_lock
build #914: Commit 4174dd6 pushed by turion
November 29, 2024 08:35 11m 39s master
November 29, 2024 08:35 11m 39s
Update flake lock automatically
build #913: Pull request #375 opened by turion
November 29, 2024 08:24 10m 45s dev_update_flake_lock
November 29, 2024 08:24 10m 45s
Remove SN GADT in favour of inlinable functions
build #912: Pull request #348 synchronize by turion
November 27, 2024 12:25 18m 17s dev_sn_functions
November 27, 2024 12:25 18m 17s
build
build #911: Scheduled
November 26, 2024 14:38 10m 52s master
November 26, 2024 14:38 10m 52s
Merge pull request #372 from turion/dev_ci_nix_versions
build #910: Commit 5ee4f6d pushed by turion
November 22, 2024 16:30 14m 43s master
November 22, 2024 16:30 14m 43s
Build nix develop for all GHCs
build #909: Pull request #372 synchronize by turion
November 22, 2024 14:38 19m 17s dev_ci_nix_versions
November 22, 2024 14:38 19m 17s