Skip to content

Actions: gelisam/typelevel-rewrite-rules

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
15 workflow runs
15 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI CI #15: Scheduled
June 1, 2023 00:03 17m 37s main
main
June 1, 2023 00:03 17m 37s
CI CI #14: Scheduled
May 1, 2023 00:02 16m 58s main
main
May 1, 2023 00:02 16m 58s
CI CI #13: Scheduled
April 1, 2023 00:35 17m 55s main
main
April 1, 2023 00:35 17m 55s
v1.0.0.1 CI #12: Commit 959a698 pushed by gelisam
March 16, 2023 02:25 11m 59s main
main
March 16, 2023 02:25 11m 59s
Merge pull request #37 from gelisam/gelisam/ghc-9.0 CI #11: Commit af146d9 pushed by gelisam
March 16, 2023 02:13 15m 26s main
main
March 16, 2023 02:13 15m 26s
Support for ghc-9.0 CI #10: Pull request #37 synchronize by gelisam
March 16, 2023 02:08 2m 59s gelisam/ghc-9.0
gelisam/ghc-9.0
March 16, 2023 02:08 2m 59s
Support for ghc-9.0 CI #9: Pull request #37 synchronize by gelisam
March 16, 2023 01:50 15m 34s gelisam/ghc-9.0
gelisam/ghc-9.0
March 16, 2023 01:50 15m 34s
Support for ghc-9.0 CI #8: Pull request #37 synchronize by gelisam
March 16, 2023 01:37 2m 54s gelisam/ghc-9.0
gelisam/ghc-9.0
March 16, 2023 01:37 2m 54s
Support for ghc-9.0 CI #7: Pull request #37 synchronize by gelisam
March 16, 2023 01:27 3m 3s gelisam/ghc-9.0
gelisam/ghc-9.0
March 16, 2023 01:27 3m 3s
Support for ghc-9.0 CI #6: Pull request #37 synchronize by gelisam
March 16, 2023 01:02 17m 0s gelisam/ghc-9.0
gelisam/ghc-9.0
March 16, 2023 01:02 17m 0s
Support for ghc-9.2 CI #5: Pull request #35 synchronize by gelisam
March 15, 2023 03:03 14m 32s gelisam/ghc-9.2
gelisam/ghc-9.2
March 15, 2023 03:03 14m 32s
Test CI CI #4: Pull request #36 synchronize by gelisam
March 15, 2023 03:02 27s gelisam-patch-1
gelisam-patch-1
March 15, 2023 03:02 27s
Test CI CI #3: Pull request #36 synchronize by gelisam
March 15, 2023 02:58 1m 0s gelisam-patch-1
gelisam-patch-1
March 15, 2023 02:58 1m 0s
Test CI CI #2: Pull request #36 synchronize by gelisam
March 15, 2023 02:37 13m 47s gelisam-patch-1
gelisam-patch-1
March 15, 2023 02:37 13m 47s
Test CI CI #1: Pull request #36 opened by gelisam
March 15, 2023 02:01 2m 47s gelisam-patch-1
gelisam-patch-1
March 15, 2023 02:01 2m 47s