Skip to content

Actions: Respo/respo.idr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from Respo/actions Build and Deploy #15: Commit 906ae73 pushed by tiye
37s main
main
37s
add note Build and Deploy #14: Pull request #1 synchronize by tiye
35s actions
actions
35s
add note Build and Deploy #13: Pull request #1 synchronize by tiye
34s actions
actions
34s
Copilot code review Copilot code review #2: by Copilot AI
2m 45s refs/pull/2/head
refs/pull/2/head
2m 45s
Clean up backup file and migrate GitHub Actions to idris2-pack Docker container Build and Deploy #12: Pull request #2 synchronize by Copilot AI
37s copilot/sub-pr-1
copilot/sub-pr-1
37s
Addressing comment on PR #2 Copilot coding agent #2: by Copilot AI
5m 28s copilot/sub-pr-1
copilot/sub-pr-1
5m 28s
Clean up backup file and migrate GitHub Actions to idris2-pack Docker container Build and Deploy #11: Pull request #2 synchronize by Copilot AI
8m 16s copilot/sub-pr-1
copilot/sub-pr-1
8m 16s
Clean up backup file and migrate GitHub Actions to idris2-pack Docker container Build and Deploy #10: Pull request #2 opened by Copilot AI
8m 15s copilot/sub-pr-1
copilot/sub-pr-1
8m 15s
Addressing comment on PR #2 Copilot coding agent #1: by Copilot AI
5m 30s copilot/sub-pr-1
copilot/sub-pr-1
5m 30s
add note Build and Deploy #9: Pull request #1 opened by tiye
8m 12s actions
actions
8m 12s
Copilot code review Copilot code review #1: by Copilot AI
1m 24s refs/pull/1/head
refs/pull/1/head
1m 24s
retry Build and Deploy #8: Commit 6a76671 pushed by tiye
8m 13s main
main
8m 13s
retry Build and Deploy #7: Commit aecfef6 pushed by tiye
9m 24s main
main
9m 24s
retry Build and Deploy #6: Commit 4d09f36 pushed by tiye
8m 40s main
main
8m 40s
fix js support Build and Deploy #5: Commit 8ebc565 pushed by tiye
9m 31s main
main
9m 31s
retry building Build and Deploy #4: Commit ed0a955 pushed by tiye
7m 58s main
main
7m 58s
try prebuilt idris2 binary Build and Deploy #3: Commit 35a4827 pushed by tiye
11s main
main
11s
try fix building Build and Deploy #2: Commit 04b18c8 pushed by tiye
15s main
main
15s
try actions building Build and Deploy #1: Commit 846d238 pushed by tiye
17s main
main
17s