Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,845 workflow runs
1,845 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1965: by github-pages bot
37s master
master
37s
Add Software Verification in Lean 2026 event (#806) deploy site #3840: Commit cf97259 pushed by riccardobrasca
7m 50s lean4
lean4
7m 50s
Add Software Verification in Lean 2026 event build site (pull request) #206: Pull request #806 opened by a-dangelo
7m 17s a-dangelo:patch-1
a-dangelo:patch-1
7m 17s
Add Software Verification in Lean 2026 event Message Zulip when a PR is opened #160: Pull request #806 opened by a-dangelo
8s
8s
pages build and deployment pages-build-deployment #1964: by github-pages bot
42s master
master
42s
deploy site deploy site #3839: Scheduled
7m 51s lean4
lean4
7m 51s
pages build and deployment pages-build-deployment #1963: by github-pages bot
1m 3s master
master
1m 3s
feat(style): explicit types (#782) deploy site #3838: Commit 55cbcea pushed by kim-em
7m 46s lean4
lean4
7m 46s
pages build and deployment pages-build-deployment #1962: by github-pages bot
50s master
master
50s
Remove {% raw %} from cite (#803) deploy site #3837: Commit 961803c pushed by faenuccio
7m 39s lean4
lean4
7m 39s
Remove {% raw %} from cite build site (pull request) #205: Pull request #803 synchronize by riccardobrasca
8m 49s riccardobrasca:RB/try
riccardobrasca:RB/try
8m 49s
Remove {% raw %} from cite build site (pull request) #204: Pull request #803 synchronize by riccardobrasca
7m 32s riccardobrasca:RB/try
riccardobrasca:RB/try
7m 32s
Remove {% raw %} from cite build site (pull request) #203: Pull request #803 synchronize by riccardobrasca
2m 1s riccardobrasca:RB/try
riccardobrasca:RB/try
2m 1s
deploy site deploy site #3836: Scheduled
7m 46s lean4
lean4
7m 46s
pages build and deployment pages-build-deployment #1961: by github-pages bot
49s master
master
49s
chore(100.html): fix dead links to non-Mathlib declarations (#785) deploy site #3835: Commit 56b6d2d pushed by kim-em
7m 35s lean4
lean4
7m 35s
pages build and deployment pages-build-deployment #1960: by github-pages bot
52s master
master
52s
pages build and deployment pages-build-deployment #1959: by github-pages bot
48s master
master
48s
feat: add Miyahara Kō to reviewers (#804) deploy site #3834: Commit e0549ca pushed by bryangingechen
14m 33s lean4
lean4
14m 33s
feat(build_pr.yml): use GITHUB_TOKEN to make build faster (#805) deploy site #3833: Commit 390ead3 pushed by bryangingechen
7m 31s lean4
lean4
7m 31s
feat(build_pr.yml): use GITHUB_TOKEN to make build faster build site (pull request) #202: Pull request #805 opened by bryangingechen
7m 33s use-token
use-token
7m 33s
feat(build_pr.yml): use GITHUB_TOKEN to make build faster Message Zulip when a PR is opened #159: Pull request #805 opened by bryangingechen
10s
10s
feat(build_pr.yml): try using GITHUB_TOKEN to make build faster deploy site #3832: Commit 64e37b3 pushed by bryangingechen
7m 48s use-token
use-token
7m 48s
feat: add Miyahara Kō to reviewers build site (pull request) #201: Pull request #804 opened by Komyyy
56m 23s Komyyy:patch-1
Komyyy:patch-1
56m 23s
feat: add Miyahara Kō to reviewers Message Zulip when a PR is opened #158: Pull request #804 opened by Komyyy
9s
9s