Skip to content

Actions: Lipen/formal-methods-course

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #67: by github-pages Bot
29s gh-pages
gh-pages
29s
Render CI #77: Commit eef4726 pushed by Lipen
43s master
master
43s
Copilot code review Copilot code review #1: by Copilot AI
1m 16s refs/pull/1/head
refs/pull/1/head
1m 16s
pages build and deployment pages-build-deployment #66: by github-pages Bot
32s gh-pages
gh-pages
32s
Render CI #76: Commit ae2e3e3 pushed by Lipen
53s master
master
53s
Running Copilot cloud agent Copilot cloud agent #1: by Copilot AI
2m 40s copilot/fix-minor-issues
copilot/fix-minor-issues
2m 40s
pages build and deployment pages-build-deployment #65: by github-pages Bot
23s gh-pages
gh-pages
23s
Render CI #75: Commit 9fa9591 pushed by Lipen
32s master
master
32s
pages build and deployment pages-build-deployment #64: by github-pages Bot
28s gh-pages
gh-pages
28s
Render CI #74: Commit 2132576 pushed by Lipen
42s master
master
42s
pages build and deployment pages-build-deployment #63: by github-pages Bot
33s gh-pages
gh-pages
33s
Render CI #73: Commit 42001be pushed by Lipen
28s master
master
28s
pages build and deployment pages-build-deployment #62: by github-pages Bot
24s gh-pages
gh-pages
24s
Render CI #72: Commit 5b3e1d3 pushed by Lipen
35s master
master
35s
pages build and deployment pages-build-deployment #61: by github-pages Bot
25s gh-pages
gh-pages
25s
Render CI #71: Commit 02c431a pushed by Lipen
27s master
master
27s
pages build and deployment pages-build-deployment #60: by github-pages Bot
26s gh-pages
gh-pages
26s
Render CI #70: Commit 711b275 pushed by Lipen
31s master
master
31s
pages build and deployment pages-build-deployment #59: by github-pages Bot
28s gh-pages
gh-pages
28s
Render CI #69: Commit 57fd588 pushed by Lipen
32s master
master
32s
pages build and deployment pages-build-deployment #58: by github-pages Bot
24s gh-pages
gh-pages
24s
Render CI #68: Commit 8ef3679 pushed by Lipen
26s master
master
26s
pages build and deployment pages-build-deployment #57: by github-pages Bot
22s gh-pages
gh-pages
22s
Render CI #67: Commit f9dbe19 pushed by Lipen
29s master
master
29s
Render CI #66: Commit e0bd429 pushed by Lipen
29s master
master
29s