Skip to content

Actions: VitalyAnkh/agda

Actions

Clear cache of closed PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
delete-unused-caches.yml
7 workflow runs
7 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[pull] master from agda:master Clear cache of closed PR #13: Pull request #152 closed by pull bot
March 7, 2024 18:54 16s agda:master
agda:master
March 7, 2024 18:54 16s
[pull] master from agda:master Clear cache of closed PR #12: Pull request #151 closed by VitalyAnkh
March 5, 2024 15:40 14s agda:master
agda:master
March 5, 2024 15:40 14s
[pull] master from agda:master Clear cache of closed PR #11: Pull request #150 closed by pull bot
December 23, 2023 07:30 13s agda:master
agda:master
December 23, 2023 07:30 13s
[pull] master from agda:master Clear cache of closed PR #10: Pull request #149 closed by pull bot
December 15, 2023 04:39 11s agda:master
agda:master
December 15, 2023 04:39 11s
[pull] master from agda:master Clear cache of closed PR #9: Pull request #148 closed by pull bot
December 14, 2023 07:59 16s agda:master
agda:master
December 14, 2023 07:59 16s
[pull] master from agda:master Clear cache of closed PR #8: Pull request #147 closed by pull bot
December 13, 2023 10:27 14s agda:master
agda:master
December 13, 2023 10:27 14s
[pull] master from agda:master Clear cache of closed PR #7: Pull request #144 closed by VitalyAnkh
December 7, 2023 17:00 15s agda:master
agda:master
December 7, 2023 17:00 15s