Skip to content

Actions: sellout/haskerwaul

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lock file maintenance CI #29: Pull request #9 synchronize by sellout
August 24, 2024 06:31 1h 29m 16s renovate/lock-file-maintenance
renovate/lock-file-maintenance
August 24, 2024 06:31 1h 29m 16s
Lock file maintenance CI #28: Pull request #9 synchronize by sellout
August 24, 2024 04:38 42m 15s renovate/lock-file-maintenance
renovate/lock-file-maintenance
August 24, 2024 04:38 42m 15s
Lock file maintenance CI #27: Pull request #9 opened by renovate bot
June 17, 2024 02:31 37m 38s renovate/lock-file-maintenance
renovate/lock-file-maintenance
June 17, 2024 02:31 37m 38s
Update nixpkgs to release-24.05 CI #26: Pull request #8 opened by renovate bot
May 23, 2024 02:59 36m 49s renovate/nixpkgs-24.x
renovate/nixpkgs-24.x
May 23, 2024 02:59 36m 49s
CI CI #25: by sellout
March 20, 2024 14:36 43m 9s main
main
March 20, 2024 14:36 43m 9s
Simplify the constraint category CI #24: Pull request #7 synchronize by sellout
March 20, 2024 08:35 18m 14s simplify-constraints
simplify-constraints
March 20, 2024 08:35 18m 14s
Simplify the constraint category CI #23: Pull request #7 opened by sellout
March 20, 2024 06:58 38m 5s simplify-constraints
simplify-constraints
March 20, 2024 06:58 38m 5s
Merge pull request #6 from sellout/doc-cleanup CI #22: Commit 00f49c8 pushed by sellout
March 19, 2024 12:52 16m 46s main
main
March 19, 2024 12:52 16m 46s
Format docs & fix Haddock warnings CI #21: Pull request #6 opened by sellout
March 19, 2024 06:35 35m 34s doc-cleanup
doc-cleanup
March 19, 2024 06:35 35m 34s
Merge pull request #5 from sellout/oidification CI #20: Commit 930856b pushed by sellout
March 19, 2024 03:38 40m 14s main
main
March 19, 2024 03:38 40m 14s
Categorify a bunch of algebraic structures CI #19: Pull request #5 opened by sellout
March 18, 2024 22:47 42m 54s oidification
oidification
March 18, 2024 22:47 42m 54s
Merge pull request #3 from sellout/adopt-flaky CI #18: Commit 44a433e pushed by sellout
March 18, 2024 12:42 42m 46s main
main
March 18, 2024 12:42 42m 46s
Adopt Flaky CI #17: Pull request #3 synchronize by sellout
March 18, 2024 06:15 6m 26s adopt-flaky
adopt-flaky
March 18, 2024 06:15 6m 26s
Adopt Flaky CI #16: Pull request #3 synchronize by sellout
March 18, 2024 02:17 10m 1s adopt-flaky
adopt-flaky
March 18, 2024 02:17 10m 1s
Adopt Flaky CI #15: Pull request #3 synchronize by sellout
March 18, 2024 01:35 39m 39s adopt-flaky
adopt-flaky
March 18, 2024 01:35 39m 39s
Adopt Flaky CI #14: Pull request #3 synchronize by sellout
March 17, 2024 23:41 14m 58s adopt-flaky
adopt-flaky
March 17, 2024 23:41 14m 58s
Adopt Flaky CI #13: Pull request #3 synchronize by sellout
March 17, 2024 23:38 2m 40s adopt-flaky
adopt-flaky
March 17, 2024 23:38 2m 40s
Adopt Flaky CI #12: Pull request #3 synchronize by sellout
March 17, 2024 22:49 13m 36s adopt-flaky
adopt-flaky
March 17, 2024 22:49 13m 36s
Adopt Flaky CI #11: Pull request #3 synchronize by sellout
March 17, 2024 21:10 34m 25s adopt-flaky
adopt-flaky
March 17, 2024 21:10 34m 25s
Adopt Flaky CI #10: Pull request #3 synchronize by sellout
March 17, 2024 20:07 33m 2s adopt-flaky
adopt-flaky
March 17, 2024 20:07 33m 2s
Adopt Flaky CI #9: Pull request #3 synchronize by sellout
March 17, 2024 19:23 22m 38s adopt-flaky
adopt-flaky
March 17, 2024 19:23 22m 38s
Adopt Flaky CI #8: Pull request #3 synchronize by sellout
March 17, 2024 18:22 32m 23s adopt-flaky
adopt-flaky
March 17, 2024 18:22 32m 23s
Adopt Flaky CI #7: Pull request #3 synchronize by sellout
March 17, 2024 17:44 29m 52s adopt-flaky
adopt-flaky
March 17, 2024 17:44 29m 52s
Adopt Flaky CI #6: Pull request #3 synchronize by sellout
March 17, 2024 16:59 24m 10s adopt-flaky
adopt-flaky
March 17, 2024 16:59 24m 10s
Adopt Flaky CI #5: Pull request #3 synchronize by sellout
March 17, 2024 16:10 49m 45s adopt-flaky
adopt-flaky
March 17, 2024 16:10 49m 45s