Skip to content

Actions: ecoricemon/logic-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 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
chore: Fix typos test #64: Commit 9b56af3 pushed by ecoricemon
56s main
main
56s
chore: Fix typos safety #59: Commit 9b56af3 pushed by ecoricemon
2m 9s main
main
2m 9s
chore: Fix typos check #66: Commit 9b56af3 pushed by ecoricemon
7m 4s main
main
7m 4s
chore: Add checkpoint/revert safety #58: Commit b4daaf5 pushed by ecoricemon
2m 17s main
main
2m 17s
chore: Add checkpoint/revert test #63: Commit b4daaf5 pushed by ecoricemon
42s main
main
42s
chore: Add checkpoint/revert check #65: Commit b4daaf5 pushed by ecoricemon
42s main
main
42s
Add checkpoint/revert check #64: Pull request #21 opened by ecoricemon
5m 39s checkpoint
checkpoint
5m 39s
Add checkpoint/revert test #62: Pull request #21 opened by ecoricemon
52s checkpoint
checkpoint
52s
Add checkpoint/revert safety #57: Pull request #21 opened by ecoricemon
2m 18s checkpoint
checkpoint
2m 18s
optimize: Database build safety #56: Commit 7327a37 pushed by ecoricemon
2m 17s main
main
2m 17s
optimize: Database build check #63: Commit 7327a37 pushed by ecoricemon
57s main
main
57s
optimize: Database build test #61: Commit 7327a37 pushed by ecoricemon
54s main
main
54s
optimize: Database build check #62: Pull request #20 opened by ecoricemon
43s optimize-build
optimize-build
43s
optimize: Database build test #60: Pull request #20 opened by ecoricemon
55s optimize-build
optimize-build
55s
optimize: Database build safety #55: Pull request #20 opened by ecoricemon
2m 18s optimize-build
optimize-build
2m 18s
optimize: Skip obvious incompatible clauses test #59: Commit 3ecc2d0 pushed by ecoricemon
49s main
main
49s
optimize: Skip obvious incompatible clauses check #61: Commit 3ecc2d0 pushed by ecoricemon
39s main
main
39s
optimize: Skip obvious incompatible clauses safety #54: Commit 3ecc2d0 pushed by ecoricemon
2m 19s main
main
2m 19s
Optimize check #60: Commit 7ca62cb pushed by ecoricemon
46s main
main
46s
Optimize safety #53: Commit 7ca62cb pushed by ecoricemon
2m 18s main
main
2m 18s
Optimize test #58: Commit 7ca62cb pushed by ecoricemon
1m 8s main
main
1m 8s
chore: Add a helper on Term safety #52: Commit 8ae1319 pushed by ecoricemon
10m 46s main
main
10m 46s
chore: Add a helper on Term check #59: Commit 8ae1319 pushed by ecoricemon
1m 13s main
main
1m 13s
chore: Add a helper on Term test #57: Commit 8ae1319 pushed by ecoricemon
1m 46s main
main
1m 46s
chore: Generalize some pub APIs check #58: Commit fa1f4ad pushed by ecoricemon
39s main
main
39s