Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a test-suite target so swe bench can uniformly test different com… CI (Coq) #643: Commit 841fa96 pushed by JasonGross
December 27, 2023 21:53 20s xxx-swe-bench-4000-millenia
xxx-swe-bench-4000-millenia
December 27, 2023 21:53 20s
Remove checked-in logs that are present in expected form CI (Coq) #642: Commit 1f475fa pushed by JasonGross
December 27, 2023 21:44 20s xxx-swe-bench-4000-millenia
xxx-swe-bench-4000-millenia
December 27, 2023 21:44 20s
Add processed build logs CI (Coq) #641: Commit 77e409c pushed by JasonGross
December 27, 2023 21:27 23s xxx-swe-bench-4000-millenia
xxx-swe-bench-4000-millenia
December 27, 2023 21:27 23s
Try adjusting syntax?? CI (Coq) #640: Commit 6a02291 pushed by JasonGross
December 25, 2023 08:47 Failure unify-ci
unify-ci
December 25, 2023 08:47 Failure
Unify Coq CI into a single .yml file CI (Coq) #639: Commit 5d1a041 pushed by JasonGross
December 25, 2023 08:44 Failure unify-ci
unify-ci
December 25, 2023 08:44 Failure
Unify Coq CI into a single .yml file CI (Coq) #638: Commit 7761c2c pushed by JasonGross
December 25, 2023 08:44 Failure unify-ci
unify-ci
December 25, 2023 08:44 Failure
Unify Coq CI into a single .yml file CI (Coq) #637: Commit 5c7a90f pushed by JasonGross
December 25, 2023 08:42 Failure unify-ci
unify-ci
December 25, 2023 08:42 Failure