Skip to content

Actions: jasmin-lang/coqword

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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
Release 3.4 .github/workflows/ci.yml #140: Commit cc1b739 pushed by vbgl
1h 2m 36s v3.4
v3.4
1h 2m 36s
Release 3.4 .github/workflows/ci.yml #139: Commit cc1b739 pushed by vbgl
31m 25s main
main
31m 25s
Less ring .github/workflows/ci.yml #138: Commit f21ecc8 pushed by vbgl
31m 54s main
main
31m 54s
Less ring .github/workflows/ci.yml #137: Pull request #37 opened by eponier
39m 44s no-ring-in-extraction
no-ring-in-extraction
39m 44s
Less ring .github/workflows/ci.yml #136: Commit 226a17f pushed by eponier
31m 31s no-ring-in-extraction
no-ring-in-extraction
31m 31s
Less ring .github/workflows/ci.yml #135: Commit d9a4663 pushed by eponier
30m 13s no-ring-in-extraction
no-ring-in-extraction
30m 13s
Release 3.3 .github/workflows/ci.yml #134: Commit 8a67772 pushed by vbgl
33m 36s v3.3
v3.3
33m 36s
Release 3.3 .github/workflows/ci.yml #133: Commit 8a67772 pushed by vbgl
32m 1s main
main
32m 1s
Performance improvements: no division in mkword .github/workflows/ci.yml #132: Commit 6941218 pushed by vbgl
29m 49s main
main
29m 49s
Changelog: add note about supported Rocq & mathcomp versions .github/workflows/ci.yml #131: Commit c5f91db pushed by vbgl
34m 16s main
main
34m 16s
Three lemmas: sub_wordE, mulwE, and xorwE .github/workflows/ci.yml #130: Commit ab88e47 pushed by vbgl
32m 28s main
main
32m 28s
Mark compatible with MC 2.5 .github/workflows/ci.yml #129: Commit 3029fab pushed by vbgl
31m 10s main
main
31m 10s
Adapt to https://github.com/math-comp/math-comp/pull/1545 .github/workflows/ci.yml #128: Commit af3ae84 pushed by vbgl
30m 53s main
main
30m 53s
Adapt to https://github.com/math-comp/math-comp/pull/1545 .github/workflows/ci.yml #127: Pull request #36 opened by proux01
31m 24s proux01:mc1545
proux01:mc1545
31m 24s
CI: also run with Rocq (9.0, 9.1) .github/workflows/ci.yml #126: Commit bac304f pushed by vbgl
30m 37s main
main
30m 37s
Mark compatible with MC 2.4 .github/workflows/ci.yml #125: Commit feac350 pushed by vbgl
30m 30s main
main
30m 30s
Remove lemmas addP and mulP .github/workflows/ci.yml #124: Commit 95f0a6a pushed by vbgl
30m 39s main
main
30m 39s
Remove lemmas addP and mulP .github/workflows/ci.yml #123: Pull request #35 synchronize by vbgl
36m 18s vbgl:exit-addP
vbgl:exit-addP
36m 18s
CI: update actions .github/workflows/ci.yml #122: Commit c3de8b6 pushed by vbgl
29m 50s main
main
29m 50s
CI: run on ubuntu 24.04 .github/workflows/ci.yml #121: Commit 113c821 pushed by vbgl
29m 36s main
main
29m 36s
Remove lemmas addP and mulP .github/workflows/ci.yml #120: Pull request #35 opened by vbgl
1d 0h 0m 3s vbgl:exit-addP
vbgl:exit-addP
1d 0h 0m 3s
Mark compatible with MC 2.3 & Coq 8.20 .github/workflows/ci.yml #119: Commit a341079 pushed by vbgl
4m 14s main
main
4m 14s