Skip to content

Actions: kowainik/validation-selective

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #238: Scheduled
January 26, 2025 01:06 35m 5s main
main
January 26, 2025 01:06 35m 5s
CI CI #237: Scheduled
January 19, 2025 01:09 34m 34s main
main
January 19, 2025 01:09 34m 34s
CI CI #236: Scheduled
January 12, 2025 01:12 31m 12s main
main
January 12, 2025 01:12 31m 12s
CI CI #235: Scheduled
January 5, 2025 01:11 34m 49s main
main
January 5, 2025 01:11 34m 49s
CI CI #234: Scheduled
December 29, 2024 01:12 30m 58s main
main
December 29, 2024 01:12 30m 58s
Test GHC 9.10 CI #233: Commit b59b78c pushed by tomjaguarpaw
December 23, 2024 16:23 29m 30s main
main
December 23, 2024 16:23 29m 30s
Test GHC 9.10 CI #232: Pull request #89 synchronize by tomjaguarpaw
December 23, 2024 15:51 30m 54s 9.10
9.10
December 23, 2024 15:51 30m 54s
CI CI #231: Scheduled
July 14, 2024 00:46 22m 37s main
main
July 14, 2024 00:46 22m 37s
CI CI #230: Scheduled
July 7, 2024 00:44 24m 52s main
main
July 7, 2024 00:44 24m 52s
CI CI #229: Scheduled
June 30, 2024 00:44 25m 27s main
main
June 30, 2024 00:44 25m 27s
CI CI #228: Scheduled
June 23, 2024 00:43 22m 50s main
main
June 23, 2024 00:43 22m 50s
CI CI #227: Scheduled
June 16, 2024 00:43 22m 12s main
main
June 16, 2024 00:43 22m 12s
CI CI #226: Scheduled
June 9, 2024 00:44 24m 57s main
main
June 9, 2024 00:44 24m 57s
CI CI #225: Scheduled
June 2, 2024 00:42 25m 21s main
main
June 2, 2024 00:42 25m 21s
CI CI #224: Scheduled
May 26, 2024 00:42 24m 50s main
main
May 26, 2024 00:42 24m 50s
CI CI #223: Scheduled
May 19, 2024 00:41 25m 49s main
main
May 19, 2024 00:41 25m 49s
CI CI #222: Scheduled
May 12, 2024 00:41 7m 59s main
main
May 12, 2024 00:41 7m 59s
Support base < 4.21 (i.e. support GHC 9.10) CI #221: Commit 9e9d7fa pushed by tomjaguarpaw
May 11, 2024 16:37 23m 24s main
main
May 11, 2024 16:37 23m 24s
9.10 CI #220: Pull request #87 opened by tomjaguarpaw
May 11, 2024 16:11 24m 3s 9.10
9.10
May 11, 2024 16:11 24m 3s
CI CI #219: Scheduled
May 5, 2024 00:40 24m 34s main
main
May 5, 2024 00:40 24m 34s
CI CI #218: Scheduled
April 28, 2024 00:40 25m 27s main
main
April 28, 2024 00:40 25m 27s
CI CI #217: Scheduled
April 21, 2024 00:40 8m 51s main
main
April 21, 2024 00:40 8m 51s
CI CI #216: Scheduled
April 14, 2024 00:42 10m 30s main
main
April 14, 2024 00:42 10m 30s
CI CI #215: Scheduled
April 7, 2024 00:40 13m 13s main
main
April 7, 2024 00:40 13m 13s
CI CI #214: Scheduled
March 31, 2024 00:40 8m 19s main
main
March 31, 2024 00:40 8m 19s