Skip to content

Actions: gaetanserre/KernelHom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 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 #34: by github-pages Bot
1m 2s gh-pages
gh-pages
1m 2s
Merge pull request #34 from gaetanserre/dependabot/github_actions/lea… Build Documentation #98: Commit 22255cd pushed by gaetanserre
39m 20s main
main
39m 20s
Bump leanprover/lean-action from a811f12834a45345026c26b89eea877e0ddad406 to 96e06131c0e9943c780388fd166f55d1e2fa0433 Build Project #50: Pull request #34 opened by dependabot Bot
3m 24s dependabot/github_actions/leanprover/lean-action-96e06131c0e9943c780388fd166f55d1e2fa0433
dependabot/github_actions/leanprover/lean-action-96e06131c0e9943c780388fd166f55d1e2fa0433
3m 24s
github_actions in /. - Update #1549066179 Dependabot Updates #7: by dependabot Bot
33s main
main
33s
pages build and deployment pages-build-deployment #33: by github-pages Bot
1m 3s gh-pages
gh-pages
1m 3s
Update EqLift Build Documentation #97: Commit 0e29da5 pushed by gaetanserre
31m 5s main
main
31m 5s
Delete useless measurable equivalence Build Documentation #96: Commit 6be88f4 pushed by gaetanserre
5m 21s main
main
5m 21s
pages build and deployment pages-build-deployment #32: by github-pages Bot
2m 21s gh-pages
gh-pages
2m 21s
Update README.md Build Documentation #95: Commit 5119ab4 pushed by gaetanserre
34m 2s main
main
34m 2s
kernel_lift -> eq_lift Build Documentation #94: Commit f9344c0 pushed by gaetanserre
2m 35s main
main
2m 35s
simp -> rfl Build Documentation #93: Commit e6d7ce4 pushed by gaetanserre
4m 30s main
main
4m 30s
Update Lean Create Release #3: Commit 83af8eb pushed by gaetanserre
39s main
main
39s
Update Lean Build Documentation #92: Commit 83af8eb pushed by gaetanserre
9m 2s main
main
9m 2s
pages build and deployment pages-build-deployment #31: by github-pages Bot
53s gh-pages
gh-pages
53s
Working reassoc Build Documentation #91: Commit c39b3ef pushed by gaetanserre
35m 47s main
main
35m 47s
pages build and deployment pages-build-deployment #30: by github-pages Bot
14h 44m 17s gh-pages
gh-pages
14h 44m 17s
Verso doc Build Documentation #90: Commit 8563403 pushed by gaetanserre
42m 22s main
main
42m 22s
pages build and deployment pages-build-deployment #29: by github-pages Bot
45s gh-pages
gh-pages
45s
Docgen location Build Documentation #89: Commit dc26284 pushed by gaetanserre
14m 59s main
main
14m 59s
pages build and deployment pages-build-deployment #28: by github-pages Bot
52s gh-pages
gh-pages
52s
release dispatch Build Documentation #88: Commit 3fe8950 pushed by gaetanserre
36m 22s main
main
36m 22s
Create Release Create Release #2: Manually run by gaetanserre
55s main
main
55s
release dispatch Build Documentation #87: Commit 22e3d82 pushed by gaetanserre
1m 28s main
main
1m 28s
permission build-doc Build Documentation #86: Commit 0fe651a pushed by gaetanserre
1m 18s main
main
1m 18s
create-release workflow Build Documentation #85: Commit c1d61c8 pushed by gaetanserre
2m 3s main
main
2m 3s