Skip to content

Actions: jonaprieto/prim-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
add HARNESS flag to select each ref's own Bench.lean (#8) Build and Deploy Docs #4: Commit e1f3f7b pushed by jonaprieto
12m 47s main
main
12m 47s
add HARNESS flag to select each ref's own Bench.lean (#8) Lean Action CI #13: Commit e1f3f7b pushed by jonaprieto
1m 44s main
main
1m 44s
ci: fix PR head/base resolution in bench workflow Lean Action CI #12: Commit d04d0c3 pushed by jonaprieto
1m 23s main-pre-sync
main-pre-sync
1m 23s
prim-parser snapshot for grip cross-lang bench pin Lean Action CI #11: Commit 948c004 pushed by jonaprieto
2m 49s grip-bench-pin
grip-bench-pin
2m 49s
Add Grade structure, simplify proof steps, and update imports in Prim… Lean Action CI #10: Commit 02f8e0c pushed by jonaprieto
1m 57s review-grade-structure
review-grade-structure
1m 57s
perf: back Text by an array instead of List.Vector Benchmark #7: Issue comment #2 (comment) created by jonaprieto
2m 21s
2m 21s
ci: fix PR head/base resolution in bench workflow Lean Action CI #9: Commit d04d0c3 pushed by jonaprieto
1m 32s main
main
1m 32s
ci: fix PR head/base resolution in bench workflow Build and Deploy Docs #3: Commit d04d0c3 pushed by jonaprieto
12m 3s main
main
12m 3s
perf: back Text by an array instead of List.Vector Benchmark #6: Issue comment #2 (comment) created by jonaprieto
3m 33s
3m 33s
Benchmark Benchmark #5: Manually run by jonaprieto
17m 8s main
main
17m 8s
ci: fix bench baseline compare and cache bench build Lean Action CI #8: Commit 4f884e2 pushed by jonaprieto
1m 19s main
main
1m 19s
ci: fix bench baseline compare and cache bench build Build and Deploy Docs #2: Commit 4f884e2 pushed by jonaprieto
7m 27s main
main
7m 27s
perf: back Text by an array instead of List.Vector Benchmark #4: Issue comment #2 (comment) created by jonaprieto
12m 52s
12m 52s
perf: back Text by an array instead of List.Vector Lean Action CI #7: Pull request #2 opened by jonaprieto
1m 47s perf/text-array-input
perf/text-array-input
1m 47s
perf: back Text by an array instead of List.Vector Lean Action CI #6: Commit 281926a pushed by jonaprieto
1m 42s perf/text-array-input
perf/text-array-input
1m 42s
ci: dependabot for github-actions Build and Deploy Docs #1: Commit 45e6521 pushed by jonaprieto
13m 9s main
main
13m 9s
ci: dependabot for github-actions Lean Action CI #5: Commit 45e6521 pushed by jonaprieto
2m 16s main
main
2m 16s
test: @bench workflow Benchmark #3: Issue comment #1 (comment) created by jonaprieto
2m 9s
2m 9s
ci: /bench PR-comment benchmark workflow Lean Action CI #4: Commit b4bbb13 pushed by jonaprieto
2m 13s feat/bench-ci
feat/bench-ci
2m 13s
test: @bench workflow Benchmark #2: Issue comment #1 (comment) created by jonaprieto
7m 34s
7m 34s
test: @bench workflow Lean Action CI #3: Pull request #1 opened by jonaprieto
1m 45s bench-ci-test
bench-ci-test
1m 45s
test: trigger @bench workflow Lean Action CI #2: Commit 4973360 pushed by jonaprieto
1m 52s bench-ci-test
bench-ci-test
1m 52s
Benchmark Benchmark #1: Manually run by jonaprieto
8m 32s feat/bench-ci
feat/bench-ci
8m 32s
ci: @bench PR-comment benchmark workflow Lean Action CI #1: Commit d8741f3 pushed by jonaprieto
2m 19s feat/bench-ci
feat/bench-ci
2m 19s