Skip to content

Actions: ku-sldg/rocq-json

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Docker CI Docker CI #27: Scheduled
2m 49s main
main
2m 49s
Docker CI Docker CI #26: Scheduled
2m 17s main
main
2m 17s
Docker CI Docker CI #25: Scheduled
2m 53s main
main
2m 53s
Merge pull request #2 from ku-sldg/improvements Docker CI #24: Commit a0bb458 pushed by Durbatuluk1701
2m 39s main
main
2m 39s
An initial example elpi tool "namer", helping demonstrate how to do it Docker CI #23: Commit 2a4ff2f pushed by Durbatuluk1701
2m 39s main
main
2m 39s
Docker CI Docker CI #22: Scheduled
3m 6s main
main
3m 6s
Docker CI Docker CI #21: Scheduled
2m 49s main
main
2m 49s
Docker CI Docker CI #20: Scheduled
3m 2s main
main
3m 2s
Docker CI Docker CI #19: Scheduled
2m 54s main
main
2m 54s
Docker CI Docker CI #18: Scheduled
2m 27s main
main
2m 27s
Merge pull request #2 from ku-sldg/improvements Docker CI #17: Commit a0bb458 pushed by Durbatuluk1701
2m 43s main
main
2m 43s
Various improvements and compat with rocq-candy 0.6.0 Docker CI #16: Pull request #2 reopened by Durbatuluk1701
3m 9s improvements
improvements
3m 9s
Docker CI Docker CI #15: Scheduled
12m 12s main
main
12m 12s
Docker CI Docker CI #14: Scheduled
12m 39s main
main
12m 39s
Docker CI Docker CI #13: Scheduled
12m 32s main
main
12m 32s
Docker CI Docker CI #12: Scheduled
12m 22s main
main
12m 22s
Docker CI Docker CI #11: Scheduled
12m 29s main
main
12m 29s
Docker CI Docker CI #10: Scheduled
12m 29s main
main
12m 29s
Docker CI Docker CI #9: Scheduled
12m 22s main
main
12m 22s
Docker CI Docker CI #8: Scheduled
12m 30s main
main
12m 30s
Docker CI Docker CI #7: Scheduled
3m 38s main
main
3m 38s
Docker CI Docker CI #6: Scheduled
3m 28s main
main
3m 28s
Updating meta to use new docker caching Docker CI #5: Commit 9776532 pushed by Durbatuluk1701
3m 26s main
main
3m 26s
Updating meta to use new docker caching Docker CI #4: Commit 687aae7 pushed by Durbatuluk1701
4m 1s main
main
4m 1s
Docker CI Docker CI #3: Scheduled
3m 4s main
main
3m 4s