8000 Workflow runs · huynhtrankhanh/CoqCP · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: huynhtrankhanh/CoqCP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,003 workflow runs
1,003 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove optimality of knapsack Prettify Code #698: Commit 99e9fa5 pushed by huynhtrankhanh
March 28, 2025 17:14 18s main
main
March 28, 2025 17:14 18s
Progress Prettify Code #697: Commit be5c32f pushed by huynhtrankhanh
March 28, 2025 10:32 21s main
main
March 28, 2025 10:32 21s
Progress Coq Axiom Check #492: Commit be5c32f pushed by huynhtrankhanh
March 28, 2025 10:32 4m 24s main
main
March 28, 2025 10:32 4m 24s
Fix knapsack code Prettify Code #696: Commit 8ec165e pushed by huynhtrankhanh
March 27, 2025 15:45 21s main
main
March 27, 2025 15:45 21s
Fix knapsack code Coq Axiom Check #491: Commit 8ec165e pushed by huynhtrankhanh
March 27, 2025 15:45 4m 25s main
main
March 27, 2025 15:45 4m 25s
Update Knapsack.v Coq Axiom Check #490: Commit 2626732 pushed by huynhtrankhanh
March 27, 2025 11:35 4m 4s main
main
March 27, 2025 11:35 4m 4s
Update Knapsack.v Prettify Code #695: Commit 2626732 pushed by huynhtrankhanh
March 27, 2025 11:35 21s main
main
March 27, 2025 11:35 21s
Create Knapsack.v Coq Axiom Check #489: Commit 4d855bc pushed by huynhtrankhanh
March 27, 2025 11:26 4m 35s main
main
March 27, 2025 11:26 4m 35s
Create Knapsack.v Prettify Code #694: Commit 4d855bc pushed by huynhtrankhanh
March 27, 2025 11:26 24s main
main
March 27, 2025 11:26 24s
Finish DSU proof Coq Axiom Check #488: Commit a326b41 pushed by huynhtrankhanh
March 26, 2025 09:47 4m 13s main
main
March 26, 2025 09:47 4m 13s
Finish DSU proof Prettify Code #693: Commit a326b41 pushed by huynhtrankhanh
March 26, 2025 09:47 23s main
main
March 26, 2025 09:47 23s
Prove unitePreservesLeafCount Coq Axiom Check #487: Commit 86d65c4 pushed by huynhtrankhanh
March 25, 2025 17:45 2m 13s main
main
March 25, 2025 17:45 2m 13s
Prove unitePreservesLeafCount Prettify Code #692: Commit 86d65c4 pushed by huynhtrankhanh
March 25, 2025 17:45 21s main
main
March 25, 2025 17:45 21s
Add outOfBoundsInteractionNAC and outOfBoundsInteractionNBC Prettify Code #691: Commit 8107ecb pushed by huynhtrankhanh
March 25, 2025 07:54 18s main
main
March 25, 2025 07:54 18s
Add outOfBoundsInteractionNAC and outOfBoundsInteractionNBC Coq Axiom Check #486: Commit 8107ecb pushed by huynhtrankhanh
March 25, 2025 07:54 2m 36s main
main
March 25, 2025 07:54 2m 36s
Lay the groundwork Prettify Code #690: Commit 8ef596e pushed by huynhtrankhanh
March 24, 2025 18:11 23s main
main
March 24, 2025 18:11 23s
Lay the groundwork Coq Axiom Check #485: Commit 8ef596e pushed by huynhtrankhanh
March 24, 2025 18:11 2m 54s main
main
March 24, 2025 18:11 2m 54s
Finish both branches Prettify Code #689: Commit 7679b39 pushed by huynhtrankhanh
March 21, 2025 12:59 19s main
main
March 21, 2025 12:59 19s
Finish both branches Coq Axiom Check #484: Commit 7679b39 pushed by huynhtrankhanh
March 21, 2025 12:59 3m 56s main
main
March 21, 2025 12:59 3m 56s
Complete one branch Coq Axiom Check #483: Commit eab0c6c pushed by huynhtrankhanh
March 21, 2025 12:51 1m 49s main
main
March 21, 2025 12:51 1m 49s
Complete one branch Prettify Code #688: Commit eab0c6c pushed by huynhtrankhanh
Ma 9849 rch 21, 2025 12:51 33s main
main
March 21, 2025 12:51 33s
Finish performMergePreservesWithoutCycles Prettify Code #687: Commit 7c8d932 pushed by huynhtrankhanh
March 20, 2025 08:55 22s main
main
March 20, 2025 08:55 22s
Finish performMergePreservesWithoutCycles Coq Axiom Check #482: Commit 7c8d932 pushed by huynhtrankhanh
March 20, 2025 08:55 1m 43s main
main
March 20, 2025 08:55 1m 43s
Work on finishing up DSU proof Prettify Code #686: Commit 00dd815 pushed by huynhtrankhanh
March 18, 2025 15:09 35s main
main
March 18, 2025 15:09 35s
Work on finishing up DSU proof Coq Axiom Check #481: Commit 00dd815 pushed by huynhtrankhanh
March 18, 2025 15:09 2m 8s main
main
March 18, 2025 15:09 2m 8s
0