Skip to content

Actions: LLM4Rocq/pytanque

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add example of toc_element with non trivial children, migrate json to… Documentation #33: Commit 21e96eb pushed by gbdrt
34s main
main
34s
Add example of toc_element with non trivial children, migrate json to… Tests #33: Commit 21e96eb pushed by gbdrt
1m 48s main
main
1m 48s
pages build and deployment pages-build-deployment #20: by gbdrt
43s main
main
43s
Toc dataclass Tests #32: Pull request #12 opened by theostos
1m 53s toc_dataclass
toc_dataclass
1m 53s
Toc dataclass Documentation #32: Pull request #12 opened by theostos
23s toc_dataclass
toc_dataclass
23s
Remove line to keep tests well aligned Documentation #31: Commit 4aeb584 pushed by gbdrt
1m 1s main
main
1m 1s
Remove line to keep tests well aligned Tests #31: Commit 4aeb584 pushed by gbdrt
2m 1s main
main
2m 1s
pages build and deployment pages-build-deployment #19: by gbdrt
1m 2s main
main
1m 2s
Change scope attribute to Optional[str] in NotationInfo Documentation #30: Pull request #11 reopened by gbdrt
18s theostos:main
theostos:main
18s
Change scope attribute to Optional[str] in NotationInfo Tests #30: Pull request #11 reopened by gbdrt
1m 55s theostos:main
theostos:main
1m 55s
Change scope attribute to Optional[str] in NotationInfo Documentation #29: Pull request #11 synchronize by theostos
17s theostos:main
theostos:main
17s
Change scope attribute to Optional[str] in NotationInfo Tests #29: Pull request #11 synchronize by theostos
2m 7s theostos:main
theostos:main
2m 7s
Change scope attribute to Optional[str] in NotationInfo Documentation #28: Pull request #11 synchronize by theostos
20s theostos:main
theostos:main
20s
Change scope attribute to Optional[str] in NotationInfo Tests #28: Pull request #11 synchronize by theostos
1m 36s theostos:main
theostos:main
1m 36s
Change scope attribute to Optional[str] in NotationInfo Documentation #27: Pull request #11 synchronize by theostos
16s theostos:main
theostos:main
16s
Change scope attribute to Optional[str] in NotationInfo Tests #27: Pull request #11 synchronize by theostos
1m 47s theostos:main
theostos:main
1m 47s
Change scope attribute to Optional[str] in NotationInfo Tests #26: Pull request #11 synchronize by theostos
1m 49s theostos:main
theostos:main
1m 49s
Change scope attribute to Optional[str] in NotationInfo Documentation #26: Pull request #11 synchronize by theostos
18s theostos:main
theostos:main
18s
Change scope attribute to Optional[str] in NotationInfo Documentation #25: Pull request #11 opened by theostos
18s theostos:main
theostos:main
18s
Change scope attribute to Optional[str] in NotationInfo Tests #25: Pull request #11 opened by theostos
1m 58s theostos:main
theostos:main
1m 58s
Complete goal method Tests #24: Commit c0ef626 pushed by gbdrt
7m 58s main
main
7m 58s
Complete goal method Documentation #24: Commit c0ef626 pushed by gbdrt
28s main
main
28s
pages build and deployment pages-build-deployment #18: by gbdrt
39s main
main
39s
Petanque v2 more commands Tests #23: Pull request #10 opened by JulesViennotFranca
11m 31s PetanqueV2-MoreCommands
PetanqueV2-MoreCommands
11m 31s
Petanque v2 more commands Documentation #23: Pull request #10 opened by JulesViennotFranca
17s PetanqueV2-MoreCommands
PetanqueV2-MoreCommands
17s