Test compilation · Workflow runs · uds-psl/smpl · GitHub

Actions

Test compilation

Actions

Loading...
Loading

16 workflow runs

16 workflow runs

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