Skip to content

Actions: LindenRegex/Warblre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add LLM-based tool for auditing Rocq spec–implementation consistency CI #69: Pull request #10 synchronize by Valentin889
5m 53s vs/autoformalization/comment-code-audit
vs/autoformalization/comment-code-audit
5m 53s
Add LLM-based tool for auditing Rocq spec–implementation consistency CI #68: Pull request #10 synchronize by Valentin889
8m 41s vs/autoformalization/comment-code-audit
vs/autoformalization/comment-code-audit
8m 41s
Add LLM-based tool for auditing Rocq spec–implementation consistency CI #67: Pull request #10 opened by Valentin889
5m 50s vs/autoformalization/comment-code-audit
vs/autoformalization/comment-code-audit
5m 50s
Merge pull request #9 from LindenRegex/vs/autoformalization/fix-seman… CI #66: Commit f616381 pushed by Aurele-Barriere
14m 11s main
main
14m 11s
Merge pull request #8 from LindenRegex/cpc/specification_check-cleanup CI #65: Commit cb79b54 pushed by Aurele-Barriere
14m 41s main
main
14m 41s
Align with spec: fix semantic issues and missing assertions CI #64: Pull request #9 opened by Valentin889
14m 18s vs/autoformalization/fix-semantics
vs/autoformalization/fix-semantics
14m 18s
Small cleanups in the specification checker CI #63: Pull request #8 opened by cpitclaudel
14m 16s cpc/specification_check-cleanup
cpc/specification_check-cleanup
14m 16s
Merge pull request #6 from LindenRegex/rocq-9 CI #62: Commit a5a3120 pushed by Aurele-Barriere
14m 27s main
main
14m 27s
Rocq 9.0.0 CI #61: Pull request #6 synchronize by shilangyu
5m 32s rocq-9
rocq-9
5m 32s
Rocq 9.0.0 CI #60: Pull request #6 synchronize by shilangyu
5m 26s rocq-9
rocq-9
5m 26s
Rocq 9.0.0 CI #59: Pull request #6 synchronize by shilangyu
11m 19s rocq-9
rocq-9
11m 19s
Rocq 9.0.0 CI #58: Pull request #6 synchronize by shilangyu
11m 15s rocq-9
rocq-9
11m 15s
Rocq 9.0.0 CI #57: Pull request #6 synchronize by shilangyu
5m 29s rocq-9
rocq-9
5m 29s
Rocq 9.0.0 CI #56: Pull request #6 synchronize by Ef55
5m 43s rocq-9
rocq-9
5m 43s
Rocq 9.0.0 CI #55: Pull request #6 synchronize by shilangyu
10m 40s rocq-9
rocq-9
10m 40s
Rocq 9.0.0 CI #54: Pull request #6 synchronize by shilangyu
7m 55s rocq-9
rocq-9
7m 55s
Rocq 9.0.0 CI #53: Pull request #6 synchronize by shilangyu
8m 16s rocq-9
rocq-9
8m 16s
Rocq 9.0.0 CI #52: Pull request #6 synchronize by shilangyu
8m 0s rocq-9
rocq-9
8m 0s
Rocq 9.0.0 CI #51: Pull request #6 synchronize by shilangyu
1m 34s rocq-9
rocq-9
1m 34s
Rocq 9.0.0 CI #50: Pull request #6 synchronize by shilangyu
1m 35s rocq-9
rocq-9
1m 35s
Rocq 9.0.0 CI #49: Pull request #6 synchronize by Ef55
53s rocq-9
rocq-9
53s
Rocq 9.0.0 CI #48: Pull request #6 synchronize by Ef55
1m 5s rocq-9
rocq-9
1m 5s
Rocq 9.0.0 CI #47: Pull request #6 synchronize by Ef55
57s rocq-9
rocq-9
57s
Rocq 9.0.0 CI #46: Pull request #6 synchronize by shilangyu
1m 1s rocq-9
rocq-9
1m 1s
Rocq 9.0.0 CI #45: Pull request #6 synchronize by shilangyu
3m 55s rocq-9
rocq-9
3m 55s