Skip to content

Actions: ychtao/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #17 from ychtao/pureeval Deploy Lean Documentation to Pages #7: Commit 65bc9a9 pushed by ychtao
10s main
main
10s
Removing translation functions from the CST evaluator and error collector Build and Test cedar-spec #8: Pull request #17 opened by ychtao
14m 12s pureeval
pureeval
14m 12s
Merge pull request #16 from ychtao/refactor Deploy Lean Documentation to Pages #6: Commit b34b3db pushed by ychtao
18s main
main
18s
Refactor Build and Test cedar-spec #7: Pull request #16 synchronize by ychtao
14m 21s refactor
refactor
14m 21s
Refactor Build and Test cedar-spec #6: Pull request #16 synchronize by ychtao
11m 17s refactor
refactor
11m 17s
Merge pull request #15 from ychtao/error-collector Deploy Lean Documentation to Pages #5: Commit bac10eb pushed by ychtao
10s main
main
10s
Running Copilot Code Review Copilot #14: by Copilot AI
5m 25s error-collector
error-collector
5m 25s
Strong completeness of CST to AST translation and error collector Build and Test cedar-spec #5: Pull request #15 synchronize by ychtao
15m 19s error-collector
error-collector
15m 19s
Strong completeness of CST to AST translation and error collector Build and Test cedar-spec #4: Pull request #15 synchronize by ychtao
20m 37s error-collector
error-collector
20m 37s
Strong completeness of CST to AST translation and error collector Build and Test cedar-spec #3: Pull request #15 synchronize by ychtao
19m 20s error-collector
error-collector
19m 20s
Strong completeness of CST to AST translation and error collector Build and Test cedar-spec #2: Pull request #15 synchronize by ychtao
19m 51s error-collector
error-collector
19m 51s
Strong completeness of CST to AST translation and error collector Build and Test cedar-spec #1: Pull request #15 opened by ychtao
20m 38s error-collector
error-collector
20m 38s
small change Deploy Lean Documentation to Pages #4: Commit 3754df0 pushed by ychtao
36s main
main
36s
added to json instance for cst error Deploy Lean Documentation to Pages #3: Commit df2cd2f pushed by ychtao
10s main
main
10s
fixed cyclic import by adding a new file for cst validation theorems Deploy Lean Documentation to Pages #2: Commit 68dc5bc pushed by ychtao
10s main
main
10s
rename to avoid reserved words in lean 4.31 Deploy Lean Documentation to Pages #1: Commit 49edc9b pushed by ychtao
13s main
main
13s
Running Copilot Code Review Copilot #13: by Copilot AI
3m 58s cleanup
cleanup
3m 58s
Running Copilot Code Review Copilot #12: by Copilot AI
3m 1s validator
validator
3m 1s
Running Copilot Code Review Copilot #11: by Copilot AI
11m 50s call
call
11m 50s
Running Copilot Code Review Copilot #10: by Copilot AI
3m 13s record
record
3m 13s
Running Copilot Code Review Copilot #9: by Copilot AI
5m 16s translation
translation
5m 16s
Running Copilot Code Review Copilot #8: by Copilot AI
5m 0s cst-to-ast
cst-to-ast
5m 0s
Running Copilot Code Review Copilot #7: by Copilot AI
3m 57s cst-to-ast
cst-to-ast
3m 57s
Running Copilot Code Review Copilot #6: by Copilot AI
3m 45s cst-to-ast
cst-to-ast
3m 45s
Running Copilot Code Review Copilot #5: by Copilot AI
3m 24s cst-to-ast
cst-to-ast
3m 24s