Skip to content

Actions: tchajed/coq-tricks

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
69 workflow runs
69 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI CI #204: Scheduled
June 4, 2024 08:14 1m 20s master
master
June 4, 2024 08:14 1m 20s
CI CI #203: Scheduled
May 28, 2024 08:16 1m 28s master
master
May 28, 2024 08:16 1m 28s
CI CI #202: Scheduled
May 21, 2024 08:14 1m 26s master
master
May 21, 2024 08:14 1m 26s
CI CI #201: Scheduled
May 14, 2024 08:15 1m 33s master
master
May 14, 2024 08:15 1m 33s
CI CI #200: Scheduled
May 7, 2024 08:13 1m 42s master
master
May 7, 2024 08:13 1m 42s
CI CI #199: Scheduled
April 30, 2024 08:14 1m 34s master
master
April 30, 2024 08:14 1m 34s
CI CI #198: Scheduled
April 23, 2024 08:13 1m 23s master
master
April 23, 2024 08:13 1m 23s
CI CI #197: Scheduled
April 16, 2024 08:13 1m 26s master
master
April 16, 2024 08:13 1m 26s
Fix dead links to manual CI #196: Commit 8636f83 pushed by tchajed
April 11, 2024 02:47 1m 31s master
master
April 11, 2024 02:47 1m 31s
CI CI #195: Scheduled
April 9, 2024 08:13 2m 7s master
master
April 9, 2024 08:13 2m 7s
CI CI #194: Scheduled
April 2, 2024 08:13 1m 27s master
master
April 2, 2024 08:13 1m 27s
CI CI #193: Scheduled
March 26, 2024 08:13 1m 23s master
master
March 26, 2024 08:13 1m 23s
CI CI #192: Scheduled
March 19, 2024 08:13 1m 27s master
master
March 19, 2024 08:13 1m 27s
CI CI #191: Scheduled
March 12, 2024 08:12 1m 40s master
master
March 12, 2024 08:12 1m 40s
CI CI #190: Scheduled
March 5, 2024 08:13 1m 26s master
master
March 5, 2024 08:13 1m 26s
CI CI #189: Scheduled
February 27, 2024 08:12 1m 20s master
master
February 27, 2024 08:12 1m 20s
CI CI #188: Scheduled
February 20, 2024 08:13 1m 18s master
master
February 20, 2024 08:13 1m 18s
CI CI #187: Scheduled
February 13, 2024 08:13 1m 19s master
master
February 13, 2024 08:13 1m 19s
CI CI #186: Scheduled
February 6, 2024 08:13 1m 27s master
master
February 6, 2024 08:13 1m 27s
CI CI #185: Scheduled
January 30, 2024 08:12 1m 19s master
master
January 30, 2024 08:12 1m 19s
CI CI #184: Scheduled
January 23, 2024 08:14 1m 15s master
master
January 23, 2024 08:14 1m 15s
CI CI #183: Scheduled
January 16, 2024 08:14 1m 10s master
master
January 16, 2024 08:14 1m 10s
CI CI #182: Scheduled
January 9, 2024 08:14 1m 17s master
master
January 9, 2024 08:14 1m 17s
CI CI #181: Scheduled
January 2, 2024 08:13 1m 22s master
master
January 2, 2024 08:13 1m 22s
CI CI #180: Scheduled
December 26, 2023 08:13 2m 0s master
master
December 26, 2023 08:13 2m 0s