Skip to content

Actions: uds-psl/smpl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup: use Summary.ref Test compilation #52: Pull request #10 opened by SkySkimmer
Action required SkySkimmer:patch-1
SkySkimmer:patch-1
Action required
Fix VsRocq issue Test compilation #51: Pull request #9 opened by yforster
8m 16s patch-vsrocq-issue
patch-vsrocq-issue
8m 16s
Update smpl.mlg Test compilation #50: Commit 4294c57 pushed by yforster
8m 0s patch-vsrocq-issue
patch-vsrocq-issue
8m 0s
try update CI actions Test compilation #49: Commit 794baf8 pushed by kyoDralliam
8m 26s rocq-9.0
rocq-9.0
8m 26s
try update CI actions Test compilation #48: Commit 72600e6 pushed by kyoDralliam
Failure rocq-9.0
rocq-9.0
Failure
try update CI actions Test compilation #47: Commit 8359816 pushed by kyoDralliam
29s rocq-9.0
rocq-9.0
29s
try update CI actions Test compilation #46: Commit 8c808b8 pushed by kyoDralliam
4m 14s rocq-9.0
rocq-9.0
4m 14s
try update CI actions Test compilation #45: Commit 8a2a07e pushed by kyoDralliam
3m 49s rocq-9.0
rocq-9.0
3m 49s
try update CI actions Test compilation #44: Commit 152bcc8 pushed by kyoDralliam
14s rocq-9.0
rocq-9.0
14s
also need the stdlib for the demo file Test compilation #43: Commit 36b1446 pushed by kyoDralliam
4s v9.0
v9.0
4s
also need the stdlib for the demo file Test compilation #42: Commit 36b1446 pushed by kyoDralliam
7s rocq-9.0
rocq-9.0
7s
fix opam file Test compilation #41: Commit f2f2e01 pushed by kyoDralliam
5s v9.0
v9.0
5s
fix opam file Test compilation #40: Commit f2f2e01 pushed by kyoDralliam
5s rocq-9.0
rocq-9.0
5s
adapt to rocq-9.0 Test compilation #39: Commit f5b7669 pushed by kyoDralliam
6s v9.0
v9.0
6s
adapt to rocq-9.0 Test compilation #38: Commit f5b7669 pushed by kyoDralliam
6s rocq-9.0
rocq-9.0
6s
trivial update for coq 8.20 Test compilation #37: Commit ac72bf2 pushed by kyoDralliam
12m 26s v8.20
v8.20
12m 26s
trivial update for coq 8.20 Test compilation #36: Commit ac72bf2 pushed by kyoDralliam
11m 31s coq-8.20
coq-8.20
11m 31s