Skip to content

Actions: Kernel-Science/physlibsearch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 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
Index Index #68: Scheduled
In progress main
main
In progress
Index Index #67: Scheduled
1h 15m 7s main
main
1h 15m 7s
Index Index #66: Scheduled
1h 19m 8s main
main
1h 19m 8s
Index Index #65: Scheduled
1h 0m 3s main
main
1h 0m 3s
Index Index #64: Scheduled
1h 24m 23s main
main
1h 24m 23s
Index Index #63: Scheduled
53s main
main
53s
Index Index #62: Manually run by Gabrielebattimelli
1h 49m 13s main
main
1h 49m 13s
Merge pull request #27 from Kernel-Science/fix/docstring-normalize lint #68: Commit f0cbc7c pushed by Gabrielebattimelli
12s main
main
12s
Normalize Lean 4.33 docstrings before pydantic validates them lint #67: Commit 0b50780 pushed by Gabrielebattimelli
14s fix/docstring-normalize
fix/docstring-normalize
14s
Index Index #61: Scheduled
34m 22s main
main
34m 22s
Index Index #60: Manually run by Gabrielebattimelli
39m 29s main
main
39m 29s
Merge pull request #26 from Kernel-Science/fix/jixia-4.33-docstring lint #66: Commit e1a0b08 pushed by Gabrielebattimelli
12s main
main
12s
Running Copilot Code Review Copilot #15: by Copilot AI
2m 47s fix/jixia-4.33-docstring
fix/jixia-4.33-docstring
2m 47s
Accept Lean 4.33's docstring shape, and catch shape changes early lint #65: Commit 0787448 pushed by Gabrielebattimelli
12s fix/jixia-4.33-docstring
fix/jixia-4.33-docstring
12s
Index Index #59: Manually run by Gabrielebattimelli
2h 30m 31s main
main
2h 30m 31s
Merge pull request #25 from Kernel-Science/fix/jixia-4.33 lint #64: Commit 914dbe1 pushed by Gabrielebattimelli
8s main
main
8s
Running Copilot Code Review Copilot #14: by Copilot AI
3m 18s fix/jixia-4.33
fix/jixia-4.33
3m 18s
Try every jixia patch instead of hardcoding one Lean release lint #63: Commit 268fcb0 pushed by Gabrielebattimelli
11s fix/jixia-4.33
fix/jixia-4.33
11s
Index Index #58: Scheduled
33m 16s main
main
33m 16s
Index Index #57: Scheduled
51s main
main
51s
Index Index #56: Manually run by Gabrielebattimelli
1h 24m 19s main
main
1h 24m 19s
Merge pull request #24 from Kernel-Science/fix/image-bloat lint #62: Commit 57e5963 pushed by Gabrielebattimelli
7s main
main
7s
Running Copilot Code Review Copilot #13: by Copilot AI
3m 27s fix/image-bloat
fix/image-bloat
3m 27s
Keep the Lean build trees out of the web image lint #61: Commit b92a5c1 pushed by Gabrielebattimelli
13s fix/image-bloat
fix/image-bloat
13s
Merge pull request #23 from Kernel-Science/fix/auto-rollback lint #60: Commit 3bbf3fc pushed by Gabrielebattimelli
10s main
main
10s