Skip to content

Actions: alkahest-cas/alkahest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort semver-check #835: Pull request #310 opened by AregGevorgyan
3m 9s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
3m 9s
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort docs #685: Pull request #310 opened by AregGevorgyan
2m 25s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
2m 25s
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort CI #992: Pull request #310 opened by AregGevorgyan
32m 22s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
32m 22s
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort Lean 4 Proofs #236: Pull request #310 opened by AregGevorgyan
8m 7s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
8m 7s
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort ci-cross #835: Pull request #310 opened by AregGevorgyan
26m 54s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
26m 54s
fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort CodSpeed #733: Pull request #310 opened by AregGevorgyan
8m 28s integrate/autoresearch-2026-08-19
integrate/autoresearch-2026-08-19
8m 28s
CI CI #991: Scheduled
3h 4m 53s main
main
3h 4m 53s
CI CI #990: Scheduled
3h 0m 19s main
main
3h 0m 19s
CI CI #989: Scheduled
6h 1m 0s main
main
6h 1m 0s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… CI #988: Commit a1f26bf pushed by AregGevorgyan
55m 30s main
main
55m 30s
Generalize telescope2d to arbitrary m>=1 bound indices Release #264: Pull request #308 closed by AregGevorgyan
21m 44s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
21m 44s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… Lean 4 Proofs #235: Commit a1f26bf pushed by AregGevorgyan
9m 17s main
main
9m 17s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… CodSpeed #732: Commit a1f26bf pushed by AregGevorgyan
4m 46s main
main
4m 46s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… semver-check #834: Commit a1f26bf pushed by AregGevorgyan
4m 13s main
main
4m 13s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… docs #684: Commit a1f26bf pushed by AregGevorgyan
4m 59s main
main
4m 59s
Merge pull request #308 from alkahest-cas/worktree-agent-a69c57d7de51… ci-cross #834: Commit a1f26bf pushed by AregGevorgyan
22m 58s main
main
22m 58s
CI CI #987: Scheduled
6h 0m 18s main
main
6h 0m 18s
Generalize telescope2d to arbitrary m>=1 bound indices ci-cross #833: Pull request #308 synchronize by AregGevorgyan
19m 7s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
19m 7s
Generalize telescope2d to arbitrary m>=1 bound indices CodSpeed #731: Pull request #308 synchronize by AregGevorgyan
5m 1s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
5m 1s
Generalize telescope2d to arbitrary m>=1 bound indices docs #683: Pull request #308 synchronize by AregGevorgyan
4m 47s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
4m 47s
Generalize telescope2d to arbitrary m>=1 bound indices semver-check #833: Pull request #308 synchronize by AregGevorgyan
5m 12s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
5m 12s
Generalize telescope2d to arbitrary m>=1 bound indices Lean 4 Proofs #234: Pull request #308 synchronize by AregGevorgyan
9m 14s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
9m 14s
Generalize telescope2d to arbitrary m>=1 bound indices CI #986: Pull request #308 synchronize by AregGevorgyan
40m 28s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
40m 28s
Generalize telescope2d to arbitrary m>=1 bound indices docs #682: Pull request #308 synchronize by AregGevorgyan
12m 30s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
12m 30s
Generalize telescope2d to arbitrary m>=1 bound indices CodSpeed #730: Pull request #308 synchronize by AregGevorgyan
4m 44s worktree-agent-a69c57d7de51c2040
worktree-agent-a69c57d7de51c2040
4m 44s