Skip to content

Actions: epfl-systemf/ppx_rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: test Camltac with examples (#12) Build #51: Commit 21895c0 pushed by dhalilov
6m 10s main
main
6m 10s
ci: test Camltac with examples (#12) Camltac #8: Commit 21895c0 pushed by dhalilov
14m 57s main
main
14m 57s
ci: test Camltac with examples Camltac #7: Pull request #12 synchronize by dhalilov
12m 18s dhalilov:camltac-ci
dhalilov:camltac-ci
12m 18s
ci: test Camltac with examples Build #50: Pull request #12 synchronize by dhalilov
3m 43s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 43s
ci: test Camltac with examples Build #49: Pull request #12 synchronize by dhalilov
2m 52s dhalilov:camltac-ci
dhalilov:camltac-ci
2m 52s
ci: test Camltac with examples Camltac #6: Pull request #12 synchronize by dhalilov
3m 24s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 24s
ci: test Camltac with examples Camltac #5: Pull request #12 synchronize by dhalilov
2m 31s dhalilov:camltac-ci
dhalilov:camltac-ci
2m 31s
ci: test Camltac with examples Build #48: Pull request #12 synchronize by dhalilov
2m 50s dhalilov:camltac-ci
dhalilov:camltac-ci
2m 50s
ci: test Camltac with examples Camltac #4: Pull request #12 synchronize by dhalilov
3m 5s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 5s
ci: test Camltac with examples Build #47: Pull request #12 synchronize by dhalilov
3m 9s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 9s
ci: test Camltac with examples Camltac #3: Pull request #12 synchronize by dhalilov
2m 48s dhalilov:camltac-ci
dhalilov:camltac-ci
2m 48s
ci: test Camltac with examples Build #46: Pull request #12 synchronize by dhalilov
3m 52s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 52s
ci: test Camltac with examples Camltac #2: Pull request #12 synchronize by dhalilov
2m 55s dhalilov:camltac-ci
dhalilov:camltac-ci
2m 55s
ci: test Camltac with examples Build #45: Pull request #12 synchronize by dhalilov
3m 7s dhalilov:camltac-ci
dhalilov:camltac-ci
3m 7s
ci: test Camltac with examples Camltac #1: Pull request #12 opened by dhalilov
14m 41s dhalilov:camltac-ci
dhalilov:camltac-ci
14m 41s
ci: test Camltac with examples Build #44: Pull request #12 opened by dhalilov
4m 39s dhalilov:camltac-ci
dhalilov:camltac-ci
4m 39s
feat: hide hoisted elements in inferred signatures (#11) Build #43: Commit 4d35770 pushed by dhalilov
2m 51s main
main
2m 51s
feat: hide hoisted elements in inferred signatures Build #42: Pull request #11 opened by dhalilov
2m 52s dhalilov:hide-hoisted-elements-in-signature
dhalilov:hide-hoisted-elements-in-signature
2m 52s
perf: memoize constr quotations (#10) Build #41: Commit 4dbf88c pushed by dhalilov
2m 55s main
main
2m 55s
perf: memoize constr quotations Build #40: Pull request #10 opened by dhalilov
2m 56s dhalilov:memoize-constrs
dhalilov:memoize-constrs
2m 56s
readme: update README (#9) Build #39: Commit c681864 pushed by dhalilov
2m 51s main
main
2m 51s
readme: update README Build #38: Pull request #9 opened by dhalilov
3m 0s dhalilov:update-readme
dhalilov:update-readme
3m 0s
fix: fix globalization for Camltac (#8) Build #37: Commit 91959bf pushed by dhalilov
2m 57s main
main
2m 57s
fix: fix globalization for Camltac Build #36: Pull request #8 opened by dhalilov
5m 21s dhalilov:fix-globalization
dhalilov:fix-globalization
5m 21s
feat: support Rocq 9.0 and 9.1 (#7) Build #35: Commit 983c598 pushed by dhalilov
3m 16s main
main
3m 16s