Skip to content

Actions: jzbor/lash

Actions

flake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flake.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement parser in pest flake #19: Commit d2c70b0 pushed by jzbor
December 1, 2024 17:58 3m 25s pest
pest
December 1, 2024 17:58 3m 25s
Implement parser in pest flake #18: Commit 60a2b3f pushed by jzbor
December 1, 2024 17:51 3m 15s pest
pest
December 1, 2024 17:51 3m 15s
Implement parser in pest flake #17: Commit 4485241 pushed by jzbor
November 30, 2024 19:18 3m 48s pest
pest
November 30, 2024 19:18 3m 48s
Setting default strategy to 'normal' flake #16: Commit 1301bfc pushed by jzbor
October 24, 2024 21:59 2m 37s master
master
October 24, 2024 21:59 2m 37s
Enable church numerals and standard environment by default flake #15: Commit e9e6cd4 pushed by jzbor
October 24, 2024 21:50 2m 27s master
master
October 24, 2024 21:50 2m 27s
Adding prefix for output statement flake #14: Commit 0b173a2 pushed by jzbor
October 22, 2024 23:44 2m 27s master
master
October 22, 2024 23:44 2m 27s
Renaming helper functions in examples flake #13: Commit b3341d1 pushed by jzbor
October 20, 2024 19:55 2m 40s master
master
October 20, 2024 19:55 2m 40s
Fixing no_std builds flake #12: Commit 30e195e pushed by jzbor
October 20, 2024 16:22 2m 25s master
master
October 20, 2024 16:22 2m 25s
Use unambiguos prefixes as shortcuts for macros, instead of hardcoded… flake #11: Commit 572d13a pushed by jzbor
October 20, 2024 16:11 2m 42s master
master
October 20, 2024 16:11 2m 42s
Use unambiguos prefixes as shortcuts for macros, instead of hardcoded… flake #10: Commit 62f2f48 pushed by jzbor
October 20, 2024 16:09 2m 34s master
master
October 20, 2024 16:09 2m 34s
1000x speedup by evaluating branches lazily during beta reduction flake #9: Commit ec3ac9d pushed by jzbor
October 20, 2024 15:55 2m 32s master
master
October 20, 2024 15:55 2m 32s
Applying clippy suggestions flake #8: Commit c5d6b67 pushed by jzbor
October 20, 2024 15:05 2m 55s master
master
October 20, 2024 15:05 2m 55s
Applying clippy suggestions flake #7: Commit c5d6b67 pushed by jzbor
October 20, 2024 15:04 3m 3s lib
lib
October 20, 2024 15:04 3m 3s
Adding fibonacci example flake #6: Commit d40bd61 pushed by jzbor
October 20, 2024 14:36 2m 21s tests
tests
October 20, 2024 14:36 2m 21s
Adding fibonacci example flake #5: Commit d40bd61 pushed by jzbor
October 20, 2024 14:35 2m 19s master
master
October 20, 2024 14:35 2m 19s
Implementing conversion to DeBruijn term flake #4: Commit fb6dafa pushed by jzbor
October 19, 2024 23:56 2m 21s master
master
October 19, 2024 23:56 2m 21s
Updating flake flake #3: Commit d0c1e5c pushed by jzbor
October 9, 2024 14:26 3m 40s master
master
October 9, 2024 14:26 3m 40s
Adding binary cache hint flake #2: Commit 15e374e pushed by jzbor
September 2, 2024 22:35 2m 1s master
master
September 2, 2024 22:35 2m 1s
Improving flake workflow flake #1: Commit 2e4e43f pushed by jzbor
September 2, 2024 17:52 2m 39s master
master
September 2, 2024 17:52 2m 39s