Skip to content

Actions: CatalaLang/catala-formalization

Actions

Coq latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

definition of trans_state Coq latest #65: Commit dbd8633 pushed by adelaett
January 12, 2024 16:20 8m 36s continuation-hole
continuation-hole
January 12, 2024 16:20 8m 36s
Continuation hole Coq latest #64: Pull request #6 synchronize by adelaett
January 12, 2024 16:19 1m 4s continuation-hole
continuation-hole
January 12, 2024 16:19 1m 4s
trans with continuation: easy cases delt with. Coq latest #63: Commit f8292eb pushed by adelaett
January 12, 2024 16:19 1m 19s continuation-hole
continuation-hole
January 12, 2024 16:19 1m 19s
Continuation hole Coq latest #62: Pull request #6 synchronize by adelaett
January 12, 2024 11:12 9m 22s continuation-hole
continuation-hole
January 12, 2024 11:12 9m 22s
finished to correct the synchronization proofs Coq latest #61: Commit efaf28e pushed by adelaett
January 12, 2024 11:12 8m 40s continuation-hole
continuation-hole
January 12, 2024 11:12 8m 40s
Continuation hole Coq latest #60: Pull request #6 synchronize by adelaett
January 9, 2024 16:44 6m 47s continuation-hole
continuation-hole
January 9, 2024 16:44 6m 47s
fixing sred_to_cred: initialzation step done. Coq latest #59: Commit f0016da pushed by adelaett
January 9, 2024 16:43 6m 48s continuation-hole
continuation-hole
January 9, 2024 16:43 6m 48s
Continuation hole Coq latest #58: Pull request #6 opened by adelaett
January 9, 2024 08:50 6m 35s continuation-hole
continuation-hole
January 9, 2024 08:50 6m 35s
fixing sred_to_cred: fixing definition & gathering information on wha… Coq latest #57: Commit fe62df7 pushed by adelaett
January 9, 2024 08:49 6m 51s continuation-hole
continuation-hole
January 9, 2024 08:49 6m 51s
apply_CDefault must be changed Coq latest #56: Commit f2feda3 pushed by adelaett
January 9, 2024 08:26 6m 24s continuation-hole
continuation-hole
January 9, 2024 08:26 6m 24s
apply_CDefault must be changed Coq latest #55: Commit e93c1db pushed by adelaett
January 9, 2024 08:25 6m 38s continuation-hole
continuation-hole
January 9, 2024 08:25 6m 38s
removed non-passing files. Coq latest #54: Commit 5161e6f pushed by adelaett
January 8, 2024 15:44 6m 27s main
main
January 8, 2024 15:44 6m 27s
ci Coq latest #53: Commit 70f4702 pushed by adelaett
January 8, 2024 15:36 6m 19s main
main
January 8, 2024 15:36 6m 19s
ci Coq latest #52: Commit 4ab91fc pushed by adelaett
January 8, 2024 15:24 6m 51s main
main
January 8, 2024 15:24 6m 51s
ci Coq latest #51: Commit 08af8fe pushed by adelaett
January 8, 2024 15:23 1s main
main
January 8, 2024 15:23 1s
ci Coq latest #50: Commit 2ce1f22 pushed by adelaett
January 8, 2024 15:23 Failure main
main
January 8, 2024 15:23 Failure
tenative at translation correction Coq latest #49: Commit 85b61cb pushed by adelaett
August 7, 2023 10:13 5m 12s main
main
August 7, 2023 10:13 5m 12s
tentative to a optimization theorem Coq latest #48: Commit 9b0d75a pushed by adelaett
August 7, 2023 08:15 7m 6s main
main
August 7, 2023 08:15 7m 6s