Skip to content

Actions: leanprover-community/azure-scripts

Actions

post triage issues on Zulip

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
random_issue.yml
370 workflow runs
370 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

post triage issues on Zulip post triage issues on Zulip #1693: Scheduled
12m 39s master
master
12m 39s
post triage issues on Zulip post triage issues on Zulip #1692: Scheduled
12m 32s master
master
12m 32s
post triage issues on Zulip post triage issues on Zulip #1691: Scheduled
10m 41s master
master
10m 41s
post triage issues on Zulip post triage issues on Zulip #1690: Scheduled
10m 11s master
master
10m 11s
post triage issues on Zulip post triage issues on Zulip #1689: Scheduled
12m 31s master
master
12m 31s
post triage issues on Zulip post triage issues on Zulip #1688: Scheduled
10m 49s master
master
10m 49s
post triage issues on Zulip post triage issues on Zulip #1687: Scheduled
10m 41s master
master
10m 41s
post triage issues on Zulip post triage issues on Zulip #1686: Scheduled
12m 33s master
master
12m 33s
post triage issues on Zulip post triage issues on Zulip #1685: Scheduled
12m 24s master
master
12m 24s
post triage issues on Zulip post triage issues on Zulip #1684: Scheduled
11m 41s master
master
11m 41s
post triage issues on Zulip post triage issues on Zulip #1683: Scheduled
10m 47s master
master
10m 47s
post triage issues on Zulip post triage issues on Zulip #1682: Scheduled
10m 45s master
master
10m 45s
post triage issues on Zulip post triage issues on Zulip #1681: Scheduled
11m 53s master
master
11m 53s
post triage issues on Zulip post triage issues on Zulip #1680: Scheduled
11m 1s master
master
11m 1s
post triage issues on Zulip post triage issues on Zulip #1679: Scheduled
11m 13s master
master
11m 13s
post triage issues on Zulip post triage issues on Zulip #1678: Scheduled
11m 10s master
master
11m 10s
post triage issues on Zulip post triage issues on Zulip #1677: Scheduled
11m 34s master
master
11m 34s
post triage issues on Zulip post triage issues on Zulip #1676: Scheduled
10m 31s master
master
10m 31s
post triage issues on Zulip post triage issues on Zulip #1675: Scheduled
11m 43s master
master
11m 43s
post triage issues on Zulip post triage issues on Zulip #1674: Scheduled
11m 0s master
master
11m 0s
post triage issues on Zulip post triage issues on Zulip #1673: Scheduled
11m 43s master
master
11m 43s
post triage issues on Zulip post triage issues on Zulip #1672: Scheduled
10m 59s master
master
10m 59s
post triage issues on Zulip post triage issues on Zulip #1671: Scheduled
10m 47s master
master
10m 47s
post triage issues on Zulip post triage issues on Zulip #1670: Scheduled
10m 21s master
master
10m 21s
post triage issues on Zulip post triage issues on Zulip #1669: Scheduled
10m 26s master
master
10m 26s