Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: whonore/Coqtail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix RocqStop failing the second time, fix enable proof diffs Python Tests #116: Commit b3ed3e7 pushed by whonore
21s main
main
21s
Fix RocqStop failing the second time, fix enable proof diffs Coq Tests #109: Commit b3ed3e7 pushed by whonore
2m 9s main
main
2m 9s
Fix RocqStop failing the second time, fix enable proof diffs Vim Tests #108: Commit b3ed3e7 pushed by whonore
44s main
main
44s
Fix RocqStop failing the second time, fix enable proof diffs Lint #410: Commit b3ed3e7 pushed by whonore
37s main
main
37s
Fix RocqStop failing the second time, fix enable proof diffs Vim Tests #107: Pull request #409 synchronize by whonore
54s fix-stop
fix-stop
54s
Fix RocqStop failing the second time, fix enable proof diffs Vim Tests #106: Pull request #409 opened by whonore
47s fix-stop
fix-stop
47s
Support Rocq 9.1 Vim Tests #105: Commit b3d2b1e pushed by whonore
48s main
main
48s
Support Rocq 9.1 Python Tests #115: Commit b3d2b1e pushed by whonore
18s main
main
18s
Support Rocq 9.1 Lint #409: Commit b3d2b1e pushed by whonore
36s main
main
36s
Support Rocq 9.1 Coq Tests #108: Commit b3d2b1e pushed by whonore
2m 49s main
main
2m 49s
Support Rocq 9.1 Lint #408: Pull request #407 synchronize by whonore
31s 9.1
9.1
31s
Support Rocq 9.1 Python Tests #114: Pull request #407 synchronize by whonore
24s 9.1
9.1
24s
Support Rocq 9.1 Coq Tests #107: Pull request #407 synchronize by whonore
2m 16s 9.1
9.1
2m 16s
Support Rocq 9.1 Coq Tests #106: Pull request #407 synchronize by whonore
1m 26s 9.1
9.1
1m 26s
Support Rocq 9.1 Lint #407: Pull request #407 synchronize by whonore
31s 9.1
9.1
31s
Support Rocq 9.1 Python Tests #113: Pull request #407 synchronize by whonore
19s 9.1
9.1
19s
Support Rocq 9.1 Lint #406: Pull request #407 synchronize by whonore
34s 9.1
9.1
34s
Support Rocq 9.1 Python Tests #112: Pull request #407 synchronize by whonore
17s 9.1
9.1
17s
Support Rocq 9.1 Coq Tests #105: Commit e9f015c pushed by whonore
Failure 9.1
9.1
Failure
Support Rocq 9.1 Lint #405: Pull request #407 synchronize by whonore
56s 9.1
9.1
56s
Support Rocq 9.1 Python Tests #111: Pull request #407 synchronize by whonore
32s 9.1
9.1
32s
Support Rocq 9.1 Coq Tests #104: Pull request #407 synchronize by whonore
1m 59s 9.1
9.1
1m 59s
Pass UnmatchedError.__init__ args to super __init__ Vim Tests #104: Commit 17a06a4 pushed by whonore
1m 12s main
main
1m 12s
Pass UnmatchedError.__init__ args to super __init__ Python Tests #110: Commit 17a06a4 pushed by whonore
18s main
main
18s
Pass UnmatchedError.__init__ args to super __init__ Lint #404: Commit 17a06a4 pushed by whonore
49s main
main
49s