Skip to content

Actions: Kernel-Science/physlibsearch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 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
Sanitize LaTeX before rendering; fall back to source text on parse error lint #28: Commit 0a07ee8 pushed by Gabrielebattimelli
7s add-agent-skill
add-agent-skill
7s
Address browse page feedback: persist filters, responsive layout, scr… lint #27: Commit c48504d pushed by Gabrielebattimelli
7s add-agent-skill
add-agent-skill
7s
Weekly Index Weekly Index #7: Manually run by Gabrielebattimelli
41m 27s main
main
41m 27s
Merge pull request #8 from Kernel-Science/add-agent-skill lint #26: Commit 5d73c60 pushed by Gabrielebattimelli
10s main
main
10s
Copilot code review Copilot code review #6: by Copilot AI
1m 24s refs/pull/8/head
refs/pull/8/head
1m 24s
Weekly Index Weekly Index #6: Manually run by Gabrielebattimelli
31m 49s main
main
31m 49s
Increase PhysLib build timeout to 90 min for initial build lint #25: Commit bfd3d3f pushed by Gabrielebattimelli
8s add-agent-skill
add-agent-skill
8s
Weekly Index Weekly Index #5: Manually run by Gabrielebattimelli
31m 47s main
main
31m 47s
Merge pull request #7 from Kernel-Science/add-agent-skill lint #24: Commit df802ad pushed by Gabrielebattimelli
11s main
main
11s
Copilot code review Copilot code review #5: by Copilot AI
1m 46s refs/pull/7/head
refs/pull/7/head
1m 46s
Use lake exe cache get to skip rebuilding Mathlib lint #23: Commit 1894396 pushed by Gabrielebattimelli
12s add-agent-skill
add-agent-skill
12s
Weekly Index Weekly Index #4: Manually run by Gabrielebattimelli
1h 31m 47s main
main
1h 31m 47s
Merge pull request #6 from Kernel-Science/add-agent-skill lint #22: Commit ddd170a pushed by Gabrielebattimelli
12s main
main
12s
Copilot code review Copilot code review #4: by Copilot AI
2m 33s refs/pull/6/head
refs/pull/6/head
2m 33s
Refactor CI: pull chroma from Docker image, track SHA via Heroku conf… lint #21: Commit b137686 pushed by Gabrielebattimelli
11s add-agent-skill
add-agent-skill
11s
Add Contributor Covenant Code of Conduct lint #20: Commit e8b10cb pushed by Gabrielebattimelli
11s Gabrielebattimelli-patch-1
Gabrielebattimelli-patch-1
11s
Weekly Index Weekly Index #3: Manually run by Gabrielebattimelli
2m 52s main
main
2m 52s
Merge pull request #5 from Kernel-Science/add-agent-skill lint #19: Commit 85c09c6 pushed by Gabrielebattimelli
9s main
main
9s
Copilot code review Copilot code review #3: by Copilot AI
2m 0s refs/pull/5/head
refs/pull/5/head
2m 0s
Weekly Index Weekly Index #2: Manually run by Gabrielebattimelli
9s main
main
9s
Fix heroku remote setup and restore model names lint #18: Commit ce146d8 pushed by Gabrielebattimelli
10s add-agent-skill
add-agent-skill
10s
Merge pull request #4 from Kernel-Science/add-agent-skill lint #17: Commit ab11047 pushed by Gabrielebattimelli
11s main
main
11s
Copilot code review Copilot code review #2: by Copilot AI
3m 59s refs/pull/4/head
refs/pull/4/head
3m 59s
Merge remote-tracking branch 'origin/main' into add-agent-skill lint #16: Commit fd7398a pushed by Gabrielebattimelli
9s add-agent-skill
add-agent-skill
9s
Merge pull request #3 from Kernel-Science/add-agent-skill lint #15: Commit 36fbec6 pushed by Gabrielebattimelli
11s main
main
11s