Skip to content

Actions: eneoli/alice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup Rust #66: Commit f1f7045 pushed by eneoli
September 5, 2024 00:07 48s main
main
September 5, 2024 00:07 48s
update contextIds of assumptions when merging trees or deleting a rule Rust #65: Commit d423a90 pushed by eneoli
September 4, 2024 23:54 40s main
main
September 4, 2024 23:54 40s
bind identifier in ForAllIntro body Rust #64: Commit c4808d4 pushed by eneoli
September 4, 2024 22:02 44s main
main
September 4, 2024 22:02 44s
fixed error where app crashed when combining tree with a selected node Rust #63: Commit fee68ff pushed by eneoli
September 4, 2024 20:18 44s main
main
September 4, 2024 20:18 44s
cleanup Rust #62: Commit edf9f79 pushed by eneoli
September 4, 2024 20:02 45s main
main
September 4, 2024 20:02 45s
fix error when deleting rule with selected node Rust #61: Commit 53d3faf pushed by eneoli
September 4, 2024 19:59 47s main
main
September 4, 2024 19:59 47s
improved editor highlighting Rust #60: Commit 40e0799 pushed by eneoli
September 4, 2024 17:22 59s main
main
September 4, 2024 17:22 59s
updated grammar Rust #59: Commit 9c80698 pushed by eneoli
September 3, 2024 10:52 41s main
main
September 3, 2024 10:52 41s
Create README.md Rust #58: Commit 2268e8d pushed by eneoli
August 23, 2024 00:54 1m 18s main
main
August 23, 2024 00:54 1m 18s
Create LICENSE Rust #57: Commit d73fc83 pushed by eneoli
August 23, 2024 00:42 54s main
main
August 23, 2024 00:42 54s
Merge pull request #32 from eneoli/feature/dsl-to-ui Rust #56: Commit 146a311 pushed by eneoli
August 22, 2024 14:26 58s main
main
August 22, 2024 14:26 58s
Feature/dsl to UI Rust #55: Pull request #32 opened by eneoli
August 22, 2024 14:21 1m 3s feature/dsl-to-ui
feature/dsl-to-ui
August 22, 2024 14:21 1m 3s
Merge pull request #30 from eneoli/feature/tutor Rust #54: Commit 5cea685 pushed by eneoli
August 19, 2024 11:35 1m 5s main
main
August 19, 2024 11:35 1m 5s
Some bugfixes Rust #53: Pull request #30 opened by eneoli
August 19, 2024 11:35 1m 4s feature/tutor
feature/tutor
August 19, 2024 11:35 1m 4s
Merge pull request #27 from eneoli/feature/tutor Rust #52: Commit fd9d49d pushed by eneoli
August 19, 2024 00:12 1m 4s main
main
August 19, 2024 00:12 1m 4s
Feature/tutor Rust #51: Pull request #27 synchronize by eneoli
August 19, 2024 00:09 1m 26s feature/tutor
feature/tutor
August 19, 2024 00:09 1m 26s
Feature/tutor Rust #50: Pull request #27 opened by eneoli
August 18, 2024 21:56 56s feature/tutor
feature/tutor
August 18, 2024 21:56 56s
Merge pull request #26 from eneoli/ui/generate-proof-terms Rust #49: Commit 838fccd pushed by eneoli
August 12, 2024 18:23 1m 3s main
main
August 12, 2024 18:23 1m 3s
UI/generate proof terms Rust #48: Pull request #26 opened by eneoli
August 12, 2024 18:23 1m 1s ui/generate-proof-terms
ui/generate-proof-terms
August 12, 2024 18:23 1m 1s
Merge pull request #25 from eneoli/ui/prop-prompts-with-params Rust #47: Commit c6fc6f1 pushed by eneoli
August 10, 2024 11:22 1m 1s main
main
August 10, 2024 11:22 1m 1s
reapaired tests Rust #46: Pull request #25 opened by eneoli
August 10, 2024 11:22 1m 5s ui/prop-prompts-with-params
ui/prop-prompts-with-params
August 10, 2024 11:22 1m 5s
Merge pull request #23 from eneoli/ui/prop-prompts-with-params Rust #45: Commit 1891a99 pushed by eneoli
August 10, 2024 10:15 1m 2s main
main
August 10, 2024 10:15 1m 2s
UI/prop prompts with params Rust #44: Pull request #23 opened by eneoli
August 10, 2024 10:15 1m 1s ui/prop-prompts-with-params
ui/prop-prompts-with-params
August 10, 2024 10:15 1m 1s
Merge pull request #22 from eneoli/type-annotations-with-params Rust #43: Commit 04f3f5c pushed by eneoli
August 7, 2024 10:25 1m 0s main
main
August 7, 2024 10:25 1m 0s
Type annotations with params Rust #42: Pull request #22 opened by eneoli
August 7, 2024 10:23 1m 5s type-annotations-with-params
type-annotations-with-params
August 7, 2024 10:23 1m 5s