Skip to content

Actions: marcusrossel/lean-egg

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement type class specialization Build and Test #53: Commit 39a1128 pushed by marcusrossel
April 12, 2024 11:58 43s main
main
April 12, 2024 11:58 43s
Update toolchain to 4.7.0 release Build and Test #52: Commit 13ffcb8 pushed by marcusrossel
April 9, 2024 12:02 43s main
main
April 9, 2024 12:02 43s
Update test suite Build and Test #51: Commit acde82c pushed by marcusrossel
April 9, 2024 11:59 45s main
main
April 9, 2024 11:59 45s
Remove dead code Build and Test #50: Commit 466472c pushed by marcusrossel
April 9, 2024 07:36 42s main
main
April 9, 2024 07:36 42s
Remove EggResult type Build and Test #49: Commit a6696fb pushed by marcusrossel
April 8, 2024 16:06 38s main
main
April 8, 2024 16:06 38s
Use Egg.Request for FFI Build and Test #48: Commit 3d82a2d pushed by marcusrossel
April 8, 2024 16:04 1m 12s main
main
April 8, 2024 16:04 1m 12s
Pass Rewrites.Encoded directly via FFI Build and Test #47: Commit b900dbb pushed by marcusrossel
April 8, 2024 15:57 48s main
main
April 8, 2024 15:57 48s
Represent config options as a struct in the FFI Build and Test #46: Commit 0c9de1a pushed by marcusrossel
April 8, 2024 15:02 54s main
main
April 8, 2024 15:02 54s
Rename config option Build and Test #45: Commit b1c71fe pushed by marcusrossel
April 8, 2024 11:02 46s main
main
April 8, 2024 11:02 46s
Fix bvar capture avoidance (and more generally turn it into bvar inde… Build and Test #44: Commit 2b8f77e pushed by marcusrossel
April 8, 2024 10:45 45s main
main
April 8, 2024 10:45 45s
Remove old e-class substitution Build and Test #43: Commit 4a723da pushed by marcusrossel
April 5, 2024 12:07 1m 10s main
main
April 5, 2024 12:07 1m 10s
Allow bvars to be substituted by entire e-classes in 'subst' Build and Test #42: Commit 4480e15 pushed by marcusrossel
April 5, 2024 11:51 56s main
main
April 5, 2024 11:51 56s
Fix bug in substitution algorithm Build and Test #41: Commit a3d5313 pushed by marcusrossel
April 5, 2024 10:52 44s main
main
April 5, 2024 10:52 44s
Extend the notion of invalid matches by disallowing matching of local… Build and Test #40: Commit b2d3e98 pushed by marcusrossel
April 5, 2024 10:29 43s main
main
April 5, 2024 10:29 43s
Use new subst for eta Build and Test #39: Commit c11041d pushed by marcusrossel
April 4, 2024 18:17 46s main
main
April 4, 2024 18:17 46s
Add callback-based e-class substitution function Build and Test #38: Commit 64bfc86 pushed by marcusrossel
April 4, 2024 18:05 40s main
main
April 4, 2024 18:05 40s
Fix bug in substitution algorithm Build and Test #37: Commit ed90e63 pushed by marcusrossel
April 3, 2024 16:48 38s main
main
April 3, 2024 16:48 38s
Add basic tracing infrastructure for backend Build and Test #36: Commit 4e62404 pushed by marcusrossel
April 3, 2024 14:52 23s main
main
April 3, 2024 14:52 23s
Create LICENSE Build and Test #35: Commit c43d805 pushed by marcusrossel
April 1, 2024 14:37 2m 9s main
main
April 1, 2024 14:37 2m 9s
Implement todos in shifted_subst_for_pat_aux (still broken) Build and Test #34: Commit fdb1481 pushed by marcusrossel
March 27, 2024 18:07 2m 17s main
main
March 27, 2024 18:07 2m 17s
Impement blocking of invalid matches Build and Test #33: Commit 3a20fe7 pushed by marcusrossel
March 26, 2024 18:06 1m 58s main
main
March 26, 2024 18:06 1m 58s
Update invalid bvar capture code (incomplete) Build and Test #32: Commit 04a56a3 pushed by marcusrossel
March 26, 2024 14:01 1m 58s main
main
March 26, 2024 14:01 1m 58s
Add option for shifting captured bound variables to avoid invalid cap… Build and Test #31: Commit 6960e19 pushed by marcusrossel
March 26, 2024 10:20 1m 59s main
main
March 26, 2024 10:20 1m 59s
Fix test case Build and Test #30: Commit bee535f pushed by marcusrossel
March 14, 2024 09:27 2m 4s main
main
March 14, 2024 09:27 2m 4s
Fix test case Build and Test #29: Commit 424bf31 pushed by marcusrossel
March 14, 2024 09:23 1m 49s main
main
March 14, 2024 09:23 1m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-03-14 or the other filters available.