Skip to content

Actions: leanprover/radar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow runs
249 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
Downgrade vite Build #249: Commit b62ea03 pushed by Garmelon
50s master
master
50s
Update dependencies Build #248: Commit 1d417c2 pushed by Garmelon
1m 17s master
master
1m 17s
Improve performance of comparison page in some cases Build #247: Commit 76ed060 pushed by Garmelon
1m 17s master
master
1m 17s
Fix title links for zulip Build #246: Commit 25aca9f pushed by Garmelon
1m 4s master
master
1m 4s
Fix division by zero Build #245: Commit 1cd0e93 pushed by Garmelon
1m 1s master
master
1m 1s
Update dependencies Build #244: Commit 069be10 pushed by Garmelon
1m 26s master
master
1m 26s
Make legal links on about page configurable Build #243: Commit 1473628 pushed by Garmelon
1m 18s master
master
1m 18s
Make legal links configurable Build #242: Commit 4006b7c pushed by Garmelon
1m 13s master
master
1m 13s
Fix whitespace of commit source link in graph page Build #241: Commit fd2594f pushed by Garmelon
1m 19s master
master
1m 19s
Fix CI Build #240: Commit 8a8b5dc pushed by Garmelon
1m 7s master
master
1m 7s
Use "graph" links instead of making entire row clickable Build #239: Commit 25adb46 pushed by Garmelon
21s master
master
21s
Add per-repo cache dir Build #238: Commit a1d856f pushed by Garmelon
1m 5s master
master
1m 5s
Update dependencies Build #237: Commit ced0e3f pushed by Garmelon
1m 30s master
master
1m 30s
Increase max output lines before truncating Build #236: Commit 8fb9c6f pushed by Garmelon
1m 13s master
master
1m 13s
Make links more visible Build #235: Commit 2d7707c pushed by Garmelon
1m 14s master
master
1m 14s
Make links more visible Build #234: Commit f8a3695 pushed by Garmelon
22s master
master
22s
Add button to reset RSS bot state Build #233: Commit ebbf7af pushed by Garmelon
1m 2s master
master
1m 2s
Add button to reset RSS bot state Build #232: Commit 00fe4f1 pushed by Garmelon
1m 11s master
master
1m 11s
Update dependencies Build #231: Commit 53e9c6e pushed by Garmelon
1m 25s master
master
1m 25s
Add links to terms of use and privacy policy Build #230: Commit 1663433 pushed by Garmelon
1m 10s master
master
1m 10s
chore: add links to terms of use and privacy policy Build #229: Pull request #3 synchronize by Garmelon
1m 8s ash/legal-documents
ash/legal-documents
1m 8s
Add links to terms of use and privacy policy Build #228: Commit 1663433 pushed by Garmelon
1m 4s ash/legal-documents
ash/legal-documents
1m 4s
chore: add links to terms of use and privacy policy Build #227: Pull request #3 opened by ashandoak
21s ash/legal-documents
ash/legal-documents
21s
chore: add links to terms of use and privacy policy Build #226: Commit 16d0256 pushed by ashandoak
18s ash/legal-documents
ash/legal-documents
18s
Rewrite significance.py to be more like java code Build #225: Commit 4a3d4f6 pushed by Garmelon
1m 5s master
master
1m 5s