Skip to content

Actions: tweag/gazelle_haskell_modules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
618 workflow runs
618 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

himportscan upgrade for GHC 9.6
Continuous integration #295: Pull request #60 synchronize by wavewave
December 22, 2023 17:28 21m 40s MercuryTechnologies:wavewave/ghc96
December 22, 2023 17:28 21m 40s
himportscan upgrade for GHC 9.6
Continuous integration #294: Pull request #60 synchronize by wavewave
December 22, 2023 17:18 10m 52s MercuryTechnologies:wavewave/ghc96
December 22, 2023 17:18 10m 52s
himportscan upgrade for GHC 9.6
Continuous integration #293: Pull request #60 synchronize by wavewave
December 22, 2023 17:12 6m 19s MercuryTechnologies:wavewave/ghc96
December 22, 2023 17:12 6m 19s
Continuous integration
Continuous integration #292: Scheduled
December 22, 2023 11:03 20m 30s main
December 22, 2023 11:03 20m 30s
Merge pull request #59 from MercuryTechnologies/wavewave/update
Continuous integration #291: Commit 6da34c1 pushed by mergify bot
December 22, 2023 06:17 19m 30s main
December 22, 2023 06:17 19m 30s
himportscan upgrade for GHC 9.6
Continuous integration #290: Pull request #60 opened by wavewave
December 21, 2023 22:03 4m 18s MercuryTechnologies:wavewave/ghc96
December 21, 2023 22:03 4m 18s
compiler_flags -> ghcopts
Continuous integration #289: Pull request #59 opened by wavewave
December 21, 2023 21:35 21m 59s MercuryTechnologies:wavewave/update
December 21, 2023 21:35 21m 59s
Continuous integration
Continuous integration #288: Scheduled
December 21, 2023 11:03 21m 7s main
December 21, 2023 11:03 21m 7s
Continuous integration
Continuous integration #287: Scheduled
December 20, 2023 11:03 20m 18s main
December 20, 2023 11:03 20m 18s
Continuous integration
Continuous integration #286: Scheduled
December 19, 2023 11:03 20m 30s main
December 19, 2023 11:03 20m 30s
Continuous integration
Continuous integration #285: Scheduled
December 18, 2023 11:03 21m 2s main
December 18, 2023 11:03 21m 2s
Continuous integration
Continuous integration #284: Scheduled
December 17, 2023 11:03 20m 15s main
December 17, 2023 11:03 20m 15s
Continuous integration
Continuous integration #283: Scheduled
December 16, 2023 11:03 20m 28s main
December 16, 2023 11:03 20m 28s
Continuous integration
Continuous integration #282: Scheduled
December 15, 2023 11:03 19m 54s main
December 15, 2023 11:03 19m 54s
Continuous integration
Continuous integration #281: Scheduled
December 14, 2023 11:03 20m 51s main
December 14, 2023 11:03 20m 51s
Continuous integration
Continuous integration #280: Scheduled
December 13, 2023 11:03 20m 25s main
December 13, 2023 11:03 20m 25s
Merge pull request #58 from tweag/cg/run-nix-shell
Continuous integration #279: Commit 4507a89 pushed by mergify bot
December 13, 2023 08:49 21m 16s main
December 13, 2023 08:49 21m 16s
chore: use tweag/run-nix-shell
Continuous integration #278: Pull request #58 synchronize by cgrindel
December 12, 2023 17:48 21m 24s cg/run-nix-shell
December 12, 2023 17:48 21m 24s
Merge pull request #57 from tweag/cg/gha_join_jobs
Continuous integration #277: Commit 5d39b71 pushed by mergify bot
December 12, 2023 17:08 20m 4s main
December 12, 2023 17:08 20m 4s
chore: use tweag/run-nix-shell
Continuous integration #276: Pull request #58 synchronize by cgrindel
December 12, 2023 17:05 19m 58s cg/run-nix-shell
December 12, 2023 17:05 19m 58s
Continuous integration
Continuous integration #275: Scheduled
December 12, 2023 11:03 18m 44s main
December 12, 2023 11:03 18m 44s
chore: use tweag/run-nix-shell
Continuous integration #274: Pull request #58 opened by cgrindel
December 11, 2023 18:50 20m 54s cg/run-nix-shell
December 11, 2023 18:50 20m 54s
chore: use cgrindel/gha_join_jobs to consolidate all CI job statuses
Continuous integration #273: Pull request #57 opened by cgrindel
December 11, 2023 16:32 20m 11s cg/gha_join_jobs
December 11, 2023 16:32 20m 11s
Continuous integration
Continuous integration #272: Scheduled
December 11, 2023 11:03 19m 48s main
December 11, 2023 11:03 19m 48s
Continuous integration
Continuous integration #271: Scheduled
December 10, 2023 11:03 20m 4s main
December 10, 2023 11:03 20m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-12-10 or the other filters available.