Skip to content

Actions: thibautbenjamin/catt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

artifacts for the eh paper Check All #297: Commit 6863cea pushed by thibautbenjamin
32s eh-artifacts
eh-artifacts
32s
artifacts for the eh paper Check All #296: Commit 6863cea pushed by thibautbenjamin
34s eckmann-hilton-article
eckmann-hilton-article
34s
Merge pull request #96 from thibautbenjamin/features/improvements Check All #295: Commit 86f0744 pushed by thibautbenjamin
1m 47s eckmann-hilton-article
eckmann-hilton-article
1m 47s
[bugfix] fix test for the rocq plugin Check All #294: Commit 0f4de54 pushed by thibautbenjamin
46s refactor/architecture
refactor/architecture
46s
add tests for invertibility Check All #293: Commit b40294d pushed by thibautbenjamin
49s refactor/architecture
refactor/architecture
49s
[internals] add support for multiple theories Check All #292: Commit e497794 pushed by thibautbenjamin
50s refactor/architecture
refactor/architecture
50s
[misc] review Check All #291: Commit 5adb974 pushed by thibautbenjamin
1m 33s eckmann-hilton
eckmann-hilton
1m 33s
[refactor] split the sources into directories Check All #290: Commit 1ab9705 pushed by thibautbenjamin
48s refactor/architecture
refactor/architecture
48s
[refactor] split the sources into directories Check All #289: Commit 58d0c69 pushed by thibautbenjamin
1m 41s refactor/architecture
refactor/architecture
1m 41s
[rocq] rename coq to rocq Check All #288: Commit 545e786 pushed by thibautbenjamin
51s coq->rocq
coq->rocq
51s
[rocq] use anonymous variable names Check All #287: Commit c059ace pushed by thibautbenjamin
1m 27s coq->rocq
coq->rocq
1m 27s
[rocq] use anonymous variable names Check All #286: Commit 9dcb9e6 pushed by thibautbenjamin
1m 0s coq->rocq
coq->rocq
1m 0s
[printing] fix printing issue Check All #285: Commit 32b39cd pushed by thibautbenjamin
1m 36s feature/kolmogorov-printing
feature/kolmogorov-printing
1m 36s
[Printing] add test file Check All #284: Commit 3c11cc7 pushed by thibautbenjamin
1m 37s feature/kolmogorov-printing
feature/kolmogorov-printing
1m 37s
[Printing] add test file Check All #283: Commit 20b2bc7 pushed by thibautbenjamin
1m 29s feature/kolmogorov-printing
feature/kolmogorov-printing
1m 29s
add demo for the rocqshop 2025 Check All #282: Commit 56507b4 pushed by thibautbenjamin
1m 31s coq->rocq
coq->rocq
1m 31s
[misc] review Check All #281: Commit b4f8546 pushed by thibautbenjamin
2m 5s eckmann-hilton
eckmann-hilton
2m 5s
[misc] review Check All #280: Commit 54f8d94 pushed by thibautbenjamin
1m 29s eckmann-hilton
eckmann-hilton
1m 29s
pages build and deployment pages-build-deployment #48: by github-pages bot
52s gh-pages
gh-pages
52s
Merge pull request #96 from thibautbenjamin/features/improvements Publish to GitHub Pages #73: Commit 86f0744 pushed by thibautbenjamin
54s master
master
54s
Merge pull request #96 from thibautbenjamin/features/improvements Check All #279: Commit 86f0744 pushed by thibautbenjamin
1m 16s master
master
1m 16s
[misc] review Check All #278: Commit dad68e0 pushed by thibautbenjamin
1m 28s eckmann-hilton
eckmann-hilton
1m 28s
[misc] review Check All #277: Commit 1a32b70 pushed by thibautbenjamin
1m 57s eckmann-hilton
eckmann-hilton
1m 57s
add tests Check All #276: Commit b2cc7e7 pushed by thibautbenjamin
1m 36s eckmann-hilton
eckmann-hilton
1m 36s
add tests Check All #275: Commit 1aed1c0 pushed by thibautbenjamin
1m 29s eckmann-hilton
eckmann-hilton
1m 29s