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

Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #36: Pull request #53 synchronize by AgentElement
May 29, 2024 10:21 19s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 10:21 19s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. tests #35: Pull request #53 synchronize by AgentElement
May 29, 2024 09:50 24s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 09:50 24s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #35: Pull request #53 synchronize by AgentElement
May 29, 2024 09:50 31s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 09:50 31s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #34: Pull request #53 synchronize by AgentElement
May 29, 2024 08:42 25s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:42 25s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. tests #34: Pull request #53 synchronize by AgentElement
May 29, 2024 08:42 27s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:42 27s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. basics #33: Pull request #53 opened by AgentElement
May 29, 2024 08:38 30s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:38 30s
Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions. tests #33: Pull request #53 opened by AgentElement
May 29, 2024 08:38 24s AgentElement:equivalent-feat
AgentElement:equivalent-feat
May 29, 2024 08:38 24s
fix: tokenize alphanumeric strings correctly (#52) basics #32: Commit ef56824 pushed by ljedrz
May 27, 2024 18:05 32s master
master
May 27, 2024 18:05 32s
fix: tokenize alphanumeric strings correctly (#52) tests #32: Commit ef56824 pushed by ljedrz
May 27, 2024 18:05 31s master
master
May 27, 2024 18:05 31s
fix: tokenize alphanumeric strings correctly basics #31: Pull request #52 synchronize by AgentElement
May 27, 2024 17:59 24s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 27, 2024 17:59 24s
fix: tokenize alphanumeric strings correctly tests #31: Pull request #52 synchronize by AgentElement
May 27, 2024 17:59 26s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 27, 2024 17:59 26s
clippy: fix a new lint basics #29: Commit 78f5e75 pushed by ljedrz
May 27, 2024 08:55 18s master
master
May 27, 2024 08:55 18s
clippy: fix a new lint tests #29: Commit 78f5e75 pushed by ljedrz
May 27, 2024 08:55 49s master
master
May 27, 2024 08:55 49s
fix: tokenize alphanumeric strings correctly basics #28: Pull request #52 opened by AgentElement
May 26, 2024 11:35 23s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 26, 2024 11:35 23s
fix: tokenize alphanumeric strings correctly tests #28: Pull request #52 opened by AgentElement
May 26, 2024 11:35 38s AgentElement:alphanumeric-fix
AgentElement:alphanumeric-fix
May 26, 2024 11:35 38s
release: bump version to 3.2.2 basics #27: Commit 0a613d8 pushed by ljedrz
September 20, 2023 13:13 36s master
master
September 20, 2023 13:13 36s
release: bump version to 3.2.2 tests #27: Commit 0a613d8 pushed by ljedrz
September 20, 2023 13:13 48s master
master
September 20, 2023 13:13 48s
Merge pull request #51 from hiratara/free-variable-context basics #26: Commit 14fad22 pushed by ljedrz
September 20, 2023 13:08 38s master
master
September 20, 2023 13:08 38s
Merge pull request #51 from hiratara/free-variable-context tests #26: Commit 14fad22 pushed by ljedrz
September 20, 2023 13:08 48s master
master
September 20, 2023 13:08 48s
fix the free variable names tests #25: Pull request #51 synchronize by ljedrz
September 20, 2023 13:07 54s hiratara:free-variable-context
hiratara:free-variable-context
September 20, 2023 13:07 54s
fix the free variable names basics #25: Pull request #51 synchronize by ljedrz
September 20, 2023 13:07 49s hiratara:free-variable-context
hiratara:free-variable-context
September 20, 2023 13:07 49s
fix the free variable names basics #24: Pull request #51 synchronize by ljedrz
September 20, 2023 13:05 38s hiratara:free-variable-context
hiratara:free-variable-context
September 20, 2023 13:05 38s
fix the free variable names tests #24: Pull request #51 synchronize by ljedrz
September 20, 2023 13:05 1m 4s hiratara:free-variable-context
hiratara:free-variable-context
September 20, 2023 13:05 1m 4s
fix the free variable names basics #23: Pull request #51 synchronize by hiratara
September 16, 2023 12:30 29s hiratara:free-variable-context
hiratara:free-variable-context
September 16, 2023 12:30 29s
fix the free variable names tests #23: Pull request #51 synchronize by hiratara
September 16, 2023 12:30 1m 0s hiratara:free-variable-context
hiratara:free-variable-context
September 16, 2023 12:30 1m 0s