Skip to content

Actions: leanprover/radar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Show newly added metrics in comparisons Build #224: Commit 46f5375 pushed by Garmelon
1m 36s master
master
1m 36s
Mention in GitHub bot whether changes are significant. Build #223: Commit 8777acf pushed by Garmelon
1m 24s master
master
1m 24s
Allow specifying a quantile repo for commit comparisons Build #222: Commit ef4854e pushed by Garmelon
1m 10s master
master
1m 10s
Mention in GitHub bot whether changes are significant. Build #221: Commit 8777acf pushed by Garmelon
1m 10s master
master
1m 10s
Build Build #220: by Garmelon
1m 16s master
master
1m 16s
Fix no parent being returned for non-history commits Build #219: Commit f3ab269 pushed by Garmelon
1m 4s master
master
1m 4s
Rename button for clarity Build #218: Commit de3bb04 pushed by Garmelon
1m 5s master
master
1m 5s
Limit max lines per run Build #217: Commit 829e50c pushed by Garmelon
1m 7s master
master
1m 7s
!bench test pr Build #216: Pull request #2 synchronize by Garmelon
1m 11s bench-test-pr
bench-test-pr
1m 11s
foo0 Build #215: Commit 0ca3102 pushed by Garmelon
1m 13s bench-test-pr
bench-test-pr
1m 13s
!bench test pr Build #214: Pull request #2 synchronize by Garmelon
1m 14s bench-test-pr
bench-test-pr
1m 14s
foo9 Build #213: Commit 1d27d88 pushed by Garmelon
1m 15s bench-test-pr
bench-test-pr
1m 15s
!bench test pr Build #212: Pull request #2 synchronize by Garmelon
1m 15s bench-test-pr
bench-test-pr
1m 15s
foo8 Build #211: Commit cde96a6 pushed by Garmelon
1m 17s bench-test-pr
bench-test-pr
1m 17s
!bench test pr Build #210: Pull request #2 synchronize by Garmelon
1m 12s bench-test-pr
bench-test-pr
1m 12s
foo7 Build #209: Commit 4e996a2 pushed by Garmelon
1m 8s bench-test-pr
bench-test-pr
1m 8s
!bench test pr Build #208: Pull request #2 synchronize by Garmelon
1m 21s bench-test-pr
bench-test-pr
1m 21s
foo6 Build #207: Commit 7efe4e2 pushed by Garmelon
1m 3s bench-test-pr
bench-test-pr
1m 3s
!bench test pr Build #206: Pull request #2 synchronize by Garmelon
1m 8s bench-test-pr
bench-test-pr
1m 8s