Skip to content

Actions: jzbor/lash

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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
December 1, 2024 17:58 3m 25s
Implement parser in pest
Cargo Build & Test #22: Commit d2c70b0 pushed by jzbor
December 1, 2024 17:58 54s pest
December 1, 2024 17:58 54s
Implement parser in pest
flake #18: Commit 60a2b3f pushed by jzbor
December 1, 2024 17:51 3m 15s pest
December 1, 2024 17:51 3m 15s
Implement parser in pest
Cargo Build & Test #21: Commit 60a2b3f pushed by jzbor
December 1, 2024 17:51 33s pest
December 1, 2024 17:51 33s
Implement parser in pest
flake #17: Commit 4485241 pushed by jzbor
November 30, 2024 19:18 3m 48s pest
November 30, 2024 19:18 3m 48s
Implement parser in pest
Cargo Build & Test #20: Commit 4485241 pushed by jzbor
November 30, 2024 19:18 1m 10s pest
November 30, 2024 19:18 1m 10s
Setting default strategy to 'normal'
flake #16: Commit 1301bfc pushed by jzbor
October 24, 2024 21:59 2m 37s master
October 24, 2024 21:59 2m 37s
Setting default strategy to 'normal'
Cargo Build & Test #19: Commit 1301bfc pushed by jzbor
October 24, 2024 21:59 51s master
October 24, 2024 21:59 51s
Enable church numerals and standard environment by default
flake #15: Commit e9e6cd4 pushed by jzbor
October 24, 2024 21:50 2m 27s master
October 24, 2024 21:50 2m 27s
Enable church numerals and standard environment by default
Cargo Build & Test #18: Commit e9e6cd4 pushed by jzbor
October 24, 2024 21:50 55s master
October 24, 2024 21:50 55s
Adding prefix for output statement
flake #14: Commit 0b173a2 pushed by jzbor
October 22, 2024 23:44 2m 27s master
October 22, 2024 23:44 2m 27s
Adding prefix for output statement
Cargo Build & Test #17: Commit 0b173a2 pushed by jzbor
October 22, 2024 23:44 49s master
October 22, 2024 23:44 49s
Renaming helper functions in examples
flake #13: Commit b3341d1 pushed by jzbor
October 20, 2024 19:55 2m 40s master
October 20, 2024 19:55 2m 40s
Renaming helper functions in examples
Cargo Build & Test #16: Commit b3341d1 pushed by jzbor
October 20, 2024 19:55 51s master
October 20, 2024 19:55 51s
Fixing no_std builds
flake #12: Commit 30e195e pushed by jzbor
October 20, 2024 16:22 2m 25s master
October 20, 2024 16:22 2m 25s
Fixing no_std builds
Cargo Build & Test #15: Commit 30e195e pushed by jzbor
October 20, 2024 16:22 53s master
October 20, 2024 16:22 53s
October 20, 2024 16:11 2m 42s
Use unambiguos prefixes as shortcuts for macros, instead of hardcoded…
Cargo Build & Test #14: Commit 572d13a pushed by jzbor
October 20, 2024 16:11 49s master
October 20, 2024 16:11 49s
October 20, 2024 16:09 2m 34s
Use unambiguos prefixes as shortcuts for macros, instead of hardcoded…
Cargo Build & Test #13: Commit 62f2f48 pushed by jzbor
October 20, 2024 16:09 59s master
October 20, 2024 16:09 59s
1000x speedup by evaluating branches lazily during beta reduction
flake #9: Commit ec3ac9d pushed by jzbor
October 20, 2024 15:55 2m 32s master
October 20, 2024 15:55 2m 32s
1000x speedup by evaluating branches lazily during beta reduction
Cargo Build & Test #12: Commit ec3ac9d pushed by jzbor
October 20, 2024 15:55 58s master
October 20, 2024 15:55 58s
Applying clippy suggestions
flake #8: Commit c5d6b67 pushed by jzbor
October 20, 2024 15:05 2m 55s master
October 20, 2024 15:05 2m 55s
Applying clippy suggestions
Cargo Build & Test #11: Commit c5d6b67 pushed by jzbor
October 20, 2024 15:05 1m 4s master
October 20, 2024 15:05 1m 4s
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