Workflow runs · vbergeron/encore · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

28 workflow runs

28 workflow runs

Merge pull request #25 from vbergeron/claude/benchmark-0.1.6-visibili… Publish #9: Commit 775de17 pushed by vbergeron

2m 48s v0.1.6

v0.1.6

2m 48s

Merge pull request #25 from vbergeron/claude/benchmark-0.1.6-visibili… CI #19: Commit 775de17 pushed by vbergeron

1m 17s main

main

1m 17s

chore: bump version to 0.1.6 CI #18: Pull request #25 opened by vbergeron

1m 20s claude/benchmark-0.1.6-visibility-kreo3a

claude/benchmark-0.1.6-visibility-kreo3a

1m 20s

Merge pull request #24 from vbergeron/claude/zen-babbage-72xoce CI #17: Commit 352ad39 pushed by vbergeron

1m 23s main

main

1m 23s

Ship the reference Rocq extraction setup (rocq/, ExtrEncore.v) CI #16: Pull request #24 opened by vbergeron

1m 27s claude/zen-babbage-72xoce

claude/zen-babbage-72xoce

1m 27s

Merge pull request #23 from vbergeron/claude/relaxed-pasteur-ljcdsf CI #15: Commit ba55ebb pushed by vbergeron

1m 15s main

main

1m 15s

Add load-time bytecode validation pass CI #14: Pull request #23 synchronize by vbergeron

29s claude/relaxed-pasteur-ljcdsf

claude/relaxed-pasteur-ljcdsf

29s

Merge pull request #22 from vbergeron/claude/festive-goodall-tfsu0g CI #13: Commit 4a451b6 pushed by vbergeron

27s main

main

27s

Add division, bitwise, shift ops and support >256 globals CI #12: Pull request #22 synchronize by vbergeron

41s claude/festive-goodall-tfsu0g

claude/festive-goodall-tfsu0g

41s

Merge pull request #21 from vbergeron/claude/compassionate-noether-61… CI #11: Commit 1821b72 pushed by vbergeron

24s main

main

24s

Add integer overflow detection to VM and compiler CI #10: Pull request #21 opened by vbergeron

30s claude/compassionate-noether-617s68

claude/compassionate-noether-617s68

30s

Merge pull request #15 from vbergeron/claude/brave-galileo-x97dr3 Publish #8: Commit 14230b1 pushed by vbergeron

8s v0.1.6

v0.1.6

8s

Merge pull request #15 from vbergeron/claude/brave-galileo-x97dr3 CI #9: Commit 14230b1 pushed by vbergeron

21s main

main

21s

encore_vm: clear registers when a call returns CI #8: Pull request #15 opened by vbergeron

34s claude/brave-galileo-x97dr3

claude/brave-galileo-x97dr3

34s

Merge pull request #14 from vbergeron/claude/adoring-noether-llngwq Publish #7: Commit 0db53b2 pushed by vbergeron

2m 51s v0.1.5

v0.1.5

2m 51s

Merge pull request #14 from vbergeron/claude/adoring-noether-llngwq CI #7: Commit 0db53b2 pushed by vbergeron

59s main

main

59s

chore: bump version to 0.1.5 CI #6: Pull request #14 opened by vbergeron

24s claude/adoring-noether-llngwq

claude/adoring-noether-llngwq

24s

examples/eval: shift down after beta substitution (#11) Publish #6: Commit 82ba1a3 pushed by vbergeron

9s v0.1.5

v0.1.5

9s

examples/eval: shift down after beta substitution (#11) CI #5: Commit 82ba1a3 pushed by vbergeron

52s main

main

52s

Simplify curried function calls to use uncurried syntax CI #4: Pull request #12 synchronize by vbergeron

32s claude/determined-pasteur-96rgdu

claude/determined-pasteur-96rgdu

32s

Merge pull request #13 from vbergeron/claude/intelligent-tesla-t6m9qq CI #3: Commit 891a696 pushed by vbergeron

29s main

main

29s

Add CI workflow for automated testing CI #2: Pull request #13 opened by vbergeron

34s claude/intelligent-tesla-t6m9qq

claude/intelligent-tesla-t6m9qq

34s

Publish Publish #5: by vbergeron

2m 53s v0.1.4

v0.1.4

2m 53s

chore: rename CLI crate to encore-toolchain, bump to 0.1.3 Publish #4: Commit a3157b9 pushed by vbergeron

2m 56s v0.1.3

v0.1.3

2m 56s

chore: bump to 0.1.2 Publish #3: Commit 73ec130 pushed by vbergeron

2m 49s v0.1.2

v0.1.2

2m 49s