Skip to content

Actions: gaetanserre/KernelHom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 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
Merge pull request #32 from gaetanserre/dependabot/github_actions/act… Build Documentation #82: Commit b30a9e3 pushed by gaetanserre
27m 0s main
main
27m 0s
Bump actions/checkout from 6 to 7 Build Project #48: Pull request #32 opened by dependabot Bot
3m 51s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
3m 51s
github_actions in /. - Update #1443161512 Dependabot Updates #5: by dependabot Bot
29s main
main
29s
pages build and deployment pages-build-deployment #27: by github-pages Bot
2m 10s gh-pages
gh-pages
2m 10s
diagram style Build Documentation #81: Commit 4e2bcbf pushed by gaetanserre
1h 12m 15s main
main
1h 12m 15s
README.md Build Documentation #80: Commit 1e6d586 pushed by gaetanserre
56m 51s main
main
56m 51s
pages build and deployment pages-build-deployment #26: by github-pages Bot
1m 16s gh-pages
gh-pages
1m 16s
Merge pull request #31 from gaetanserre/new_verso_doc Build Documentation #79: Commit dde81a7 pushed by gaetanserre
1h 13m 37s main
main
1h 13m 37s
Verso doc Build Project #47: Pull request #31 opened by gaetanserre
2m 36s new_verso_doc
new_verso_doc
2m 36s
pages build and deployment pages-build-deployment #25: by github-pages Bot
56s gh-pages
gh-pages
56s
Merge pull request #29 from gaetanserre/dev Build Documentation #77: Commit ed9e5cd pushed by gaetanserre
41m 20s main
main
41m 20s
Refactor Build Project #45: Pull request #29 opened by gaetanserre
3m 4s dev
dev
3m 4s
pages build and deployment pages-build-deployment #24: by github-pages Bot
1m 11s gh-pages
gh-pages
1m 11s
Merge pull request #28 from gaetanserre/dev Build Documentation #76: Commit 6859346 pushed by gaetanserre
43m 10s main
main
43m 10s
MonoidalComp handling Build Project #44: Pull request #28 opened by gaetanserre
3m 2s dev
dev
3m 2s
pages build and deployment pages-build-deployment #23: by github-pages Bot
56s gh-pages
gh-pages
56s
Merge pull request #27 from gaetanserre/dev Build Documentation #75: Commit 13b240a pushed by gaetanserre
37m 7s main
main
37m 7s
Better product handling Build Project #43: Pull request #27 opened by gaetanserre
3m 8s dev
dev
3m 8s
pages build and deployment pages-build-deployment #22: by github-pages Bot
1m 13s gh-pages
gh-pages
1m 13s
Update lean Create Release #7: Commit 95a2f7b pushed by gaetanserre
15s main
main
15s
Update lean Build Documentation #74: Commit 95a2f7b pushed by gaetanserre
43m 28s main
main
43m 28s
github_actions in /. - Update #1393278203 Dependabot Updates #4: by dependabot Bot
29s main
main
29s
pages build and deployment pages-build-deployment #21: by github-pages Bot
1m 3s gh-pages
gh-pages
1m 3s
Examples Build Documentation #69: Commit 3b38fb3 pushed by gaetanserre
41m 39s main
main
41m 39s
lean 4.30.0 Create Release #6: Commit aa1c511 pushed by gaetanserre
11s main
main
11s