Skip to content

Actions: con-kitty/categorifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nixpkgs to release-24.11 CI #33: Pull request #111 synchronize by renovate bot
November 14, 2024 17:28 7m 22s renovate/nixpkgs-24.x
renovate/nixpkgs-24.x
November 14, 2024 17:28 7m 22s
Lock file maintenance CI #32: Pull request #110 synchronize by renovate bot
October 16, 2024 06:45 7m 1s renovate/lock-file-maintenance
renovate/lock-file-maintenance
October 16, 2024 06:45 7m 1s
Update nixpkgs to release-24.11 CI #31: Pull request #111 opened by renovate bot
May 22, 2024 19:54 6m 31s renovate/nixpkgs-24.x
renovate/nixpkgs-24.x
May 22, 2024 19:54 6m 31s
Lock file maintenance CI #30: Pull request #110 opened by renovate bot
February 19, 2024 02:10 11m 38s renovate/lock-file-maintenance
renovate/lock-file-maintenance
February 19, 2024 02:10 11m 38s
Improve defer-failures CI #29: Pull request #107 synchronize by sellout
February 12, 2024 23:53 11m 54s better-test-handling
better-test-handling
February 12, 2024 23:53 11m 54s
Merge pull request #109 from con-kitty/renovate/lock-file-maintenance CI #28: Commit 3b7220f pushed by sellout
February 12, 2024 03:41 11m 11s main
main
February 12, 2024 03:41 11m 11s
Lock file maintenance CI #27: Pull request #109 opened by renovate bot
February 12, 2024 01:13 19m 24s renovate/lock-file-maintenance
renovate/lock-file-maintenance
February 12, 2024 01:13 19m 24s
Add a DynFlags plugin. CI #26: Pull request #56 synchronize by sellout
February 9, 2024 18:01 10m 7s dynflags-plugin
dynflags-plugin
February 9, 2024 18:01 10m 7s
Extend concat-examples support CI #25: Pull request #108 opened by sellout
February 9, 2024 16:23 12m 0s extend-concat-examples
extend-concat-examples
February 9, 2024 16:23 12m 0s
Improve defer-failures CI #24: Pull request #107 opened by sellout
February 8, 2024 22:05 11m 44s better-test-handling
better-test-handling
February 8, 2024 22:05 11m 44s
Merge pull request #105 from con-kitty/cabal-file-improvements CI #23: Commit 69516c0 pushed by sellout
February 8, 2024 16:03 12m 50s main
main
February 8, 2024 16:03 12m 50s
Lock file maintenance CI #22: Pull request #103 synchronize by sellout
February 7, 2024 03:09 12m 6s renovate/lock-file-maintenance
renovate/lock-file-maintenance
February 7, 2024 03:09 12m 6s
Lock file maintenance CI #21: Pull request #103 synchronize by sellout
February 7, 2024 00:27 11m 58s renovate/lock-file-maintenance
renovate/lock-file-maintenance
February 7, 2024 00:27 11m 58s
Lock file maintenance CI #20: Pull request #103 synchronize by renovate bot
February 6, 2024 22:34 11m 37s renovate/lock-file-maintenance
renovate/lock-file-maintenance
February 6, 2024 22:34 11m 37s
Fix a couple of the README badges CI #19: Pull request #106 opened by sellout
February 6, 2024 22:30 11m 17s fix-badges
fix-badges
February 6, 2024 22:30 11m 17s
Cabal file improvements CI #18: Pull request #105 opened by sellout
January 31, 2024 22:53 11m 18s cabal-file-improvements
cabal-file-improvements
January 31, 2024 22:53 11m 18s
Lock file maintenance CI #17: Pull request #103 opened by renovate bot
January 22, 2024 02:36 11m 28s renovate/lock-file-maintenance
renovate/lock-file-maintenance
January 22, 2024 02:36 11m 28s
Add support for ghc-bignum CI #16: Pull request #102 synchronize by sellout
January 15, 2024 00:28 6m 26s ghc-bignum-support
ghc-bignum-support
January 15, 2024 00:28 6m 26s
Add support for ghc-bignum CI #15: Pull request #102 synchronize by sellout
January 14, 2024 23:44 11m 37s ghc-bignum-support
ghc-bignum-support
January 14, 2024 23:44 11m 37s
Add support for ghc-bignum CI #14: Pull request #102 opened by sellout
January 14, 2024 22:52 7m 33s ghc-bignum-support
ghc-bignum-support
January 14, 2024 22:52 7m 33s
Add support for categorifying Natural CI #13: Pull request #101 synchronize by sellout
January 12, 2024 22:12 11m 26s support-Natural
support-Natural
January 12, 2024 22:12 11m 26s
Add support for categorifying Natural CI #12: Pull request #101 opened by sellout
January 12, 2024 21:30 8m 48s support-Natural
support-Natural
January 12, 2024 21:30 8m 48s
Enable linear-base support CI #11: Pull request #100 synchronize by sellout
January 5, 2024 07:55 11m 15s enable-linear-base
enable-linear-base
January 5, 2024 07:55 11m 15s
Enable linear-base support CI #10: Pull request #100 synchronize by sellout
January 4, 2024 08:21 11m 26s enable-linear-base
enable-linear-base
January 4, 2024 08:21 11m 26s
Enable linear-base support CI #9: Pull request #100 opened by sellout
January 4, 2024 02:03 10m 24s enable-linear-base
enable-linear-base
January 4, 2024 02:03 10m 24s