Skip to content

Actions: LPCIC/coq-elpi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

derive: put eqb ast into a namespace CI #114: Pull request #731 synchronize by gares
February 14, 2025 13:52 5m 14s eqtype-ns
eqtype-ns
February 14, 2025 13:52 5m 14s
Enable compilation without the coq shim on Rocq 9.0 CI #113: Pull request #771 synchronize by gares
February 11, 2025 15:27 6m 9s proux01:rocq
proux01:rocq
February 11, 2025 15:27 6m 9s
Enable compilation without the coq shim on Rocq 9.0 CI #112: Pull request #771 synchronize by proux01
February 11, 2025 14:55 4m 49s proux01:rocq
proux01:rocq
February 11, 2025 14:55 4m 49s
Enable compilation without the coq shim on Rocq 9.0 CI #111: Pull request #771 synchronize by proux01
February 11, 2025 14:05 11m 26s proux01:rocq
proux01:rocq
February 11, 2025 14:05 11m 26s
Enable compilation without the coq shim on Rocq 9.0 CI #110: Pull request #771 synchronize by proux01
February 11, 2025 13:30 5m 4s proux01:rocq
proux01:rocq
February 11, 2025 13:30 5m 4s
Enable compilation without the coq shim on Rocq 9.0 CI #109: Pull request #771 synchronize by proux01
February 11, 2025 13:16 4m 56s proux01:rocq
proux01:rocq
February 11, 2025 13:16 4m 56s
Enable compilation without the coq shim on Rocq 9.0 CI #108: Pull request #771 synchronize by proux01
February 11, 2025 10:48 4m 59s proux01:rocq
proux01:rocq
February 11, 2025 10:48 4m 59s
Enable compilation without the coq shim on Rocq 9.0 CI #107: Pull request #771 synchronize by proux01
February 11, 2025 09:27 5m 35s proux01:rocq
proux01:rocq
February 11, 2025 09:27 5m 35s
Enable compilation without the coq shim on Rocq 9.0 CI #106: Pull request #771 synchronize by proux01
February 11, 2025 09:13 6m 25s proux01:rocq
proux01:rocq
February 11, 2025 09:13 6m 25s
Enable compilation without the coq shim on Rocq 9.0 CI #105: Pull request #771 synchronize by proux01
February 11, 2025 09:07 2m 45s proux01:rocq
proux01:rocq
February 11, 2025 09:07 2m 45s
Enable compilation without the coq shim on Rocq 9.0 CI #104: Pull request #771 synchronize by proux01
February 11, 2025 09:04 4m 40s proux01:rocq
proux01:rocq
February 11, 2025 09:04 4m 40s
Enable compilation without the coq shim on Rocq 9.0 CI #103: Pull request #771 synchronize by proux01
February 11, 2025 08:50 4m 37s proux01:rocq
proux01:rocq
February 11, 2025 08:50 4m 37s
Merge pull request #768 from ppedrot/hint-opaque-modes CI #102: Commit a857b5b pushed by SkySkimmer
February 10, 2025 13:45 4m 41s master
master
February 10, 2025 13:45 4m 41s
Merge pull request #772 from LPCIC/gares-patch-1 CI #101: Commit ecd13d0 pushed by gares
February 10, 2025 10:41 4m 59s master
master
February 10, 2025 10:41 4m 59s
Update coq-elpi.opam CI #100: Pull request #772 opened by gares
February 10, 2025 10:25 4m 56s gares-patch-1
gares-patch-1
February 10, 2025 10:25 4m 56s
Merge pull request #732 from LPCIC/fix-opam CI #99: Commit 037d2b5 pushed by gares
February 10, 2025 09:40 5m 9s master
master
February 10, 2025 09:40 5m 9s
opam CI #98: Pull request #732 synchronize by gares
February 10, 2025 08:54 4m 52s fix-opam
fix-opam
February 10, 2025 08:54 4m 52s
opam CI #97: Pull request #732 synchronize by gares
February 10, 2025 08:48 4m 59s fix-opam
fix-opam
February 10, 2025 08:48 4m 59s
Enable compilation without the coq shim on Rocq 9.0 CI #96: Pull request #771 opened by proux01
February 7, 2025 15:46 4m 48s proux01:rocq
proux01:rocq
February 7, 2025 15:46 4m 48s
Merge pull request #767 from proux01/split-stdlib CI #95: Commit add2c2b pushed by gares
February 7, 2025 15:26 4m 57s master
master
February 7, 2025 15:26 4m 57s
Remove Stdlib dependency CI #94: Pull request #767 synchronize by proux01
February 7, 2025 13:54 4m 54s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 13:54 4m 54s
Remove Stdlib dependency CI #93: Pull request #767 synchronize by proux01
February 7, 2025 13:23 4m 52s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 13:23 4m 52s
Remove Stdlib dependency CI #92: Pull request #767 synchronize by gares
February 7, 2025 12:21 4m 53s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 12:21 4m 53s
Remove Stdlib dependency CI #91: Pull request #767 synchronize by gares
February 7, 2025 10:38 4m 39s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 10:38 4m 39s
Remove Stdlib dependency CI #90: Pull request #767 synchronize by gares
February 7, 2025 10:30 4m 47s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 10:30 4m 47s