Skip to content

Actions: gaetanserre/KernelHom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 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 #42: by github-pages Bot
59s gh-pages
gh-pages
59s
Merge branch 'dev' Build Documentation #109: Commit 00ae93a pushed by gaetanserre
43m 58s main
main
43m 58s
Merge branch 'dev' Create Release #6: Commit 00ae93a pushed by gaetanserre
27s main
main
27s
pages build and deployment pages-build-deployment #41: by github-pages Bot
1m 21s gh-pages
gh-pages
1m 21s
Merge pull request #39 from gaetanserre/dependabot/github_actions/lea… Build Documentation #108: Commit bdaeb84 pushed by gaetanserre
40m 42s main
main
40m 42s
Bump leanprover/lean-action from 96e06131c0e9943c780388fd166f55d1e2fa0433 to f061402b660e0c34644504b324e830f2991d4865 Build Project #55: Pull request #39 opened by dependabot Bot
4m 44s dependabot/github_actions/leanprover/lean-action-f061402b660e0c34644504b324e830f2991d4865
dependabot/github_actions/leanprover/lean-action-f061402b660e0c34644504b324e830f2991d4865
4m 44s
github_actions in /. - Update #1602092374 Dependabot Updates #8: by dependabot Bot
41s main
main
41s
pages build and deployment pages-build-deployment #40: by github-pages Bot
56s gh-pages
gh-pages
56s
Merge branch 'dev' Build Documentation #107: Commit 3489b08 pushed by gaetanserre
29m 33s main
main
29m 33s
Merge branch 'dev' Build Documentation #106: Commit 18a1311 pushed by gaetanserre
15m 10s main
main
15m 10s
pages build and deployment pages-build-deployment #39: by github-pages Bot
1m 1s gh-pages
gh-pages
1m 1s
Merge branch 'dev' Build Documentation #105: Commit 3c969d3 pushed by gaetanserre
13m 13s main
main
13m 13s
pages build and deployment pages-build-deployment #38: by github-pages Bot
1m 0s gh-pages
gh-pages
1m 0s
Merge branch 'dev' Build Documentation #104: Commit 30962f8 pushed by gaetanserre
14m 49s main
main
14m 49s
pages build and deployment pages-build-deployment #37: by github-pages Bot
1m 15s gh-pages
gh-pages
1m 15s
Merge pull request #38 from gaetanserre/dev Build Documentation #103: Commit 211f6c9 pushed by gaetanserre
42m 57s main
main
42m 57s
Merge pull request #38 from gaetanserre/dev Create Release #5: Commit 211f6c9 pushed by gaetanserre
39s main
main
39s
Update Lean Build Project #54: Pull request #38 opened by gaetanserre
3m 30s dev
dev
3m 30s
Merge pull request #37 from gaetanserre/dev Build Documentation #102: Commit 50bfca9 pushed by gaetanserre
23s main
main
23s
Merge pull request #36 from gaetanserre/dev Build Documentation #101: Commit eb05e76 pushed by gaetanserre
1m 35s main
main
1m 35s
pages build and deployment pages-build-deployment #36: by github-pages Bot
1m 5s gh-pages
gh-pages
1m 5s
Docstring Build Documentation #100: Commit 918643a pushed by gaetanserre
16m 13s main
main
16m 13s
pages build and deployment pages-build-deployment #35: by github-pages Bot
59s gh-pages
gh-pages
59s
Merge pull request #35 from gaetanserre/dev Build Documentation #99: Commit 2b9b875 pushed by gaetanserre
44m 24s main
main
44m 24s
Optimize the tactics with explicit term construction and memoization Build Project #51: Pull request #35 opened by gaetanserre
4m 36s dev
dev
4m 36s