Skip to content

Actions: ljedrz/lambda_calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix the free variable names
tests #22: Pull request #51 synchronize by hiratara
September 16, 2023 12:21 51s hiratara:free-variable-context
September 16, 2023 12:21 51s
fix the free variable names
basics #22: Pull request #51 synchronize by hiratara
September 16, 2023 12:21 22s hiratara:free-variable-context
September 16, 2023 12:21 22s
fix the free variable names
tests #21: Pull request #51 opened by hiratara
September 16, 2023 12:14 46s hiratara:free-variable-context
September 16, 2023 12:14 46s
fix the free variable names
basics #21: Pull request #51 opened by hiratara
September 16, 2023 12:14 4m 14s hiratara:free-variable-context
September 16, 2023 12:14 4m 14s
release: bump version to 3.2.1
basics #20: Commit 104ceab pushed by ljedrz
August 17, 2023 14:10 36s master
August 17, 2023 14:10 36s
release: bump version to 3.2.1
tests #20: Commit 104ceab pushed by ljedrz
August 17, 2023 14:10 55s master
August 17, 2023 14:10 55s
Merge pull request #50 from hiratara/fix-free-vars
basics #19: Commit dfcf4e7 pushed by ljedrz
August 17, 2023 10:49 22s master
August 17, 2023 10:49 22s
Merge pull request #50 from hiratara/fix-free-vars
tests #19: Commit dfcf4e7 pushed by ljedrz
August 17, 2023 10:49 38s master
August 17, 2023 10:49 38s
[BUG] Fix convert_classic_tokens
tests #18: Pull request #50 synchronize by hiratara
August 12, 2023 01:59 37s hiratara:fix-free-vars
August 12, 2023 01:59 37s
[BUG] Fix convert_classic_tokens
basics #18: Pull request #50 synchronize by hiratara
August 12, 2023 01:59 19s hiratara:fix-free-vars
August 12, 2023 01:59 19s
[BUG] Fix convert_classic_tokens
basics #17: Pull request #50 synchronize by hiratara
August 9, 2023 23:59 31s hiratara:fix-free-vars
August 9, 2023 23:59 31s
[BUG] Fix convert_classic_tokens
tests #17: Pull request #50 synchronize by hiratara
August 9, 2023 23:59 54s hiratara:fix-free-vars
August 9, 2023 23:59 54s
[BUG] Fix convert_classic_tokens
basics #16: Pull request #50 opened by hiratara
August 9, 2023 23:56 30s hiratara:fix-free-vars
August 9, 2023 23:56 30s
[BUG] Fix convert_classic_tokens
tests #16: Pull request #50 opened by hiratara
August 9, 2023 23:56 44s hiratara:fix-free-vars
August 9, 2023 23:56 44s
chore: fix formatting in CHANGELOG
tests #15: Commit a369ffd pushed by ljedrz
August 5, 2023 11:14 56s master
August 5, 2023 11:14 56s
chore: fix formatting in CHANGELOG
basics #15: Commit a369ffd pushed by ljedrz
August 5, 2023 11:14 28s master
August 5, 2023 11:14 28s
release: bump version to 3.2.0
tests #14: Commit 32bc08f pushed by ljedrz
August 5, 2023 11:11 55s master
August 5, 2023 11:11 55s
release: bump version to 3.2.0
basics #14: Commit 32bc08f pushed by ljedrz
August 5, 2023 11:11 29s master
August 5, 2023 11:11 29s
Merge pull request #49 from hiratara/support-anyhow
tests #13: Commit 5791e67 pushed by ljedrz
August 5, 2023 11:05 49s master
August 5, 2023 11:05 49s
Merge pull request #49 from hiratara/support-anyhow
basics #13: Commit 5791e67 pushed by ljedrz
August 5, 2023 11:05 25s master
August 5, 2023 11:05 25s
Support anyhow crate
basics #12: Pull request #49 synchronize by ljedrz
August 5, 2023 11:03 35s hiratara:support-anyhow
August 5, 2023 11:03 35s
Support anyhow crate
tests #12: Pull request #49 synchronize by ljedrz
August 5, 2023 11:03 52s hiratara:support-anyhow
August 5, 2023 11:03 52s
Support anyhow crate
tests #11: Pull request #49 synchronize by ljedrz
August 5, 2023 11:01 52s hiratara:support-anyhow
August 5, 2023 11:01 52s
Support anyhow crate
basics #11: Pull request #49 synchronize by ljedrz
August 5, 2023 11:01 30s hiratara:support-anyhow
August 5, 2023 11:01 30s
Support anyhow crate
tests #10: Pull request #49 opened by hiratara
August 5, 2023 00:26 56s hiratara:support-anyhow
August 5, 2023 00:26 56s