Skip to content

Actions: alcides/aeon

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
examples(cata): faithful Contata benchmark transcription + pin local Python to 3.13 Python application #1208: Pull request #411 opened by alcides
41m 42s claude/contata-benchmarks
claude/contata-benchmarks
41m 42s
examples(cata): faithful Contata benchmark transcription + pin local Python to 3.13 Ruff #2161: Pull request #411 opened by alcides
15s claude/contata-benchmarks
claude/contata-benchmarks
15s
build: pin local interpreter to CPython 3.13 via .python-version Ruff #2160: Commit 93a1cd0 pushed by alcides
13s claude/contata-benchmarks
claude/contata-benchmarks
13s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Python application #1207: Pull request #405 synchronize by alcides
21m 51s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
21m 51s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #266: Pull request #405 synchronize by alcides
38s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
38s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2159: Pull request #405 synchronize by alcides
12s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
12s
feat(synquid): paper items 2-4 — type consistency, incremental unific… Ruff #2158: Commit d40d302 pushed by alcides
14s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
14s
pip in /. - Update #1427509075 Dependabot Updates #115: by dependabot Bot
37s master
master
37s
feat(synquid): local round-trip refinement check (APPFO) + numeric-on… Ruff #2157: Commit 27e635b pushed by alcides
13s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
13s
perf(verification): one-point rule for x == c premises in VC flattening Ruff #2156: Pull request #409 opened by alcides
13s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
13s
perf(verification): one-point rule for x == c premises in VC flattening Docs #265: Pull request #409 opened by alcides
33s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
33s
perf(verification): one-point rule for x == c premises in VC flattening Python application #1206: Pull request #409 opened by alcides
45m 8s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
45m 8s
perf(verification): one-point rule for x == c premises in VC flatte… Ruff #2155: Commit ae29bae pushed by alcides
11s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
11s
perf(verification): shrink and speed up SMT verification conditions Python application #1205: Pull request #408 opened by alcides
12m 29s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
12m 29s
perf(verification): shrink and speed up SMT verification conditions Ruff #2154: Pull request #408 opened by alcides
11s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
11s
perf(verification): shrink and speed up SMT verification conditions Docs #264: Pull request #408 opened by alcides
34s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
34s
perf(verification): shrink and speed up SMT verification conditions Ruff #2153: Commit 2fb00d1 pushed by alcides
12s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
12s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2152: Pull request #405 synchronize by alcides
9s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
9s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Python application #1204: Pull request #405 synchronize by alcides
23m 16s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
23m 16s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #263: Pull request #405 synchronize by alcides
37s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
37s
feat(synthesis): polymorphic ADT construction, SMT literals, perf + t… Ruff #2151: Commit 192dcd4 pushed by alcides
13s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
13s
Prune VC content disconnected from the goal before SMT solving Docs #262: Pull request #407 opened by alcides
34s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
34s
Prune VC content disconnected from the goal before SMT solving Python application #1203: Pull request #407 opened by alcides
46m 32s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
46m 32s
Prune VC content disconnected from the goal before SMT solving Ruff #2150: Pull request #407 opened by alcides
12s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
12s
Prune VC content disconnected from the goal before SMT solving Ruff #2149: Commit 43b8dde pushed by alcides
10s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
10s