Skip to content

Actions: CatalaLang/catala-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow runs
249 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

proof simplification Coq latest #273: Commit e77bc88 pushed by adelaett
January 6, 2025 14:51 9m 27s main-2024-04-08
main-2024-04-08
January 6, 2025 14:51 9m 27s
Coq latest Coq latest #272: Scheduled
January 6, 2025 02:15 9m 42s main
main
January 6, 2025 02:15 9m 42s
Coq latest Coq latest #271: Scheduled
December 30, 2024 02:13 9m 44s main
main
December 30, 2024 02:13 9m 44s
Coq latest Coq latest #270: Scheduled
December 23, 2024 02:13 9m 50s main
main
December 23, 2024 02:13 9m 50s
Coq latest Coq latest #269: Scheduled
December 16, 2024 02:25 9m 33s main
main
December 16, 2024 02:25 9m 33s
Coq latest Coq latest #268: Scheduled
December 9, 2024 02:25 9m 23s main
main
December 9, 2024 02:25 9m 23s
Coq latest Coq latest #267: Scheduled
December 2, 2024 02:23 9m 37s main
main
December 2, 2024 02:23 9m 37s
Coq latest Coq latest #266: Scheduled
November 25, 2024 02:19 9m 35s main
main
November 25, 2024 02:19 9m 35s
Coq latest Coq latest #265: Scheduled
November 18, 2024 02:20 9m 53s main
main
November 18, 2024 02:20 9m 53s
Coq latest Coq latest #264: Scheduled
November 11, 2024 02:11 9m 56s main
main
November 11, 2024 02:11 9m 56s
Coq latest Coq latest #263: Scheduled
November 4, 2024 02:14 9m 17s main
main
November 4, 2024 02:14 9m 17s
Coq latest Coq latest #262: Scheduled
October 28, 2024 02:16 9m 34s main
main
October 28, 2024 02:16 9m 34s
Coq latest Coq latest #261: Scheduled
October 21, 2024 02:14 9m 30s main
main
October 21, 2024 02:14 9m 30s
Coq latest Coq latest #260: Scheduled
October 14, 2024 02:14 9m 16s main
main
October 14, 2024 02:14 9m 16s
claims proofreading Coq latest #259: Commit 06691b8 pushed by adelaett
October 11, 2024 08:37 9m 39s artifact-prep
artifact-prep
October 11, 2024 08:37 9m 39s
ci ? Coq latest #258: Commit 2bc6392 pushed by adelaett
October 11, 2024 08:29 9m 57s artifact-prep
artifact-prep
October 11, 2024 08:29 9m 57s
Coq latest Coq latest #257: Scheduled
October 7, 2024 02:14 9m 17s main
main
October 7, 2024 02:14 9m 17s
Coq latest Coq latest #256: Scheduled
September 30, 2024 02:16 9m 33s main
main
September 30, 2024 02:16 9m 33s
Coq latest Coq latest #255: Scheduled
September 23, 2024 02:11 9m 34s main
main
September 23, 2024 02:11 9m 34s
Coq latest Coq latest #254: Scheduled
September 16, 2024 02:14 9m 31s main
main
September 16, 2024 02:14 9m 31s
Coq latest Coq latest #253: Scheduled
September 9, 2024 02:08 9m 18s main
main
September 9, 2024 02:08 9m 18s
Coq latest Coq latest #252: Scheduled
September 2, 2024 02:06 9m 24s main
main
September 2, 2024 02:06 9m 24s
Coq latest Coq latest #251: Scheduled
August 26, 2024 02:01 9m 23s main
main
August 26, 2024 02:01 9m 23s
Coq latest Coq latest #250: Scheduled
August 19, 2024 02:01 9m 24s main
main
August 19, 2024 02:01 9m 24s
Coq latest Coq latest #249: Scheduled
August 12, 2024 02:02 9m 24s main
main
August 12, 2024 02:02 9m 24s