Skip to content

Actions: ejgallego/rocq-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
870 workflow runs
870 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[meta] Archive message and release notes. Github CI #3886: Commit bd6fb39 pushed by ejgallego
18m 13s main
main
18m 13s
Merge branch 'v9.0' into v8.20 Github CI #3885: Commit c4d0f89 pushed by ejgallego
15m 25s v8.20
v8.20
15m 25s
Merge branch 'v9.0' into v8.20 Github CI #3884: Commit 9d69cbd pushed by ejgallego
21m 45s v8.20
v8.20
21m 45s
Merge branch 'v9.1' into v9.0 Github CI #3883: Commit c1dc11b pushed by ejgallego
25m 54s v9.0
v9.0
25m 54s
Merge branch 'main' into v9.1 Github CI #3882: Commit c73fee2 pushed by ejgallego
21m 4s v9.1
v9.1
21m 4s
[meta] Release 0.2.5 candidate. Github CI #3881: Commit 108e0b2 pushed by ejgallego
15m 55s main
main
15m 55s
Merge branch 'v9.1' into v9.0 Github CI #3880: Commit f4d9f35 pushed by ejgallego
19m 44s v9.0
v9.0
19m 44s
Merge branch 'v9.0' into v8.20 Github CI #3879: Commit cc7539a pushed by ejgallego
25m 40s v8.20
v8.20
25m 40s
Merge pull request #1078 from ejgallego/timeout Github CI #3878: Commit 08dce31 pushed by ejgallego
17m 30s main
main
17m 30s
Merge branch 'v9.1' into v9.0 Github CI #3877: Commit 6ad206d pushed by ejgallego
5m 24s v9.0
v9.0
5m 24s
Merge branch 'main' into v9.1 Github CI #3876: Commit e668c1e pushed by ejgallego
19m 53s v9.1
v9.1
19m 53s
[wasm] Update interrupt patch to account for timeouts Github CI #3875: Pull request #1078 opened by ejgallego
18m 9s timeout
timeout
18m 9s
Merge pull request #1067 from Durbatuluk1701/message_limit Github CI #3874: Commit beecdb5 pushed by ejgallego
16m 46s main
main
16m 46s
[fleche] Fixup for OCaml 4.12 Github CI #3873: Commit 43bde38 pushed by ejgallego
2m 47s main
main
2m 47s
Add config manager and messages_limit configuration Github CI #3872: Pull request #1067 synchronize by ejgallego
17m 9s Durbatuluk1701:message_limit
Durbatuluk1701:message_limit
17m 9s
[symbols] Cleanup notations entry a bit to remove \' symbols Github CI #3871: Commit 0dbf40c pushed by ejgallego
2m 53s main
main
2m 53s
Merge pull request #1077 from ejgallego/vof Github CI #3870: Commit fe95d6a pushed by ejgallego
1m 30s main
main
1m 30s
[fcc] Allow to save a Fleche cache .vof file Github CI #3869: Pull request #1077 synchronize by ejgallego
18m 24s vof
vof
18m 24s
Add config manager and messages_limit configuration Github CI #3868: Pull request #1067 synchronize by ejgallego
13m 38s Durbatuluk1701:message_limit
Durbatuluk1701:message_limit
13m 38s
[fcc] Allow to save a Fleche cache .vof file Github CI #3867: Pull request #1077 opened by ejgallego
16m 12s vof
vof
16m 12s
Merge pull request #1076 from ejgallego/flame_fcc Github CI #3866: Commit 5a9658d pushed by ejgallego
16m 18s main
main
16m 18s
[fcc] New option --trace-file for flamegraph generation. Github CI #3865: Pull request #1076 synchronize by ejgallego
18m 8s flame_fcc
flame_fcc
18m 8s
[fcc] New option --trace-file for flamegraph generation. Github CI #3864: Pull request #1076 synchronize by ejgallego
7m 40s flame_fcc
flame_fcc
7m 40s
Adapt to rocq-prover/rocq#21195 (Constraints → UnivConstraints and ContextSet in PConstraints) Github CI #3863: Pull request #1068 synchronize by jrosain
17m 3s jrosain:elimination-constraints
jrosain:elimination-constraints
17m 3s
Merge pull request #1075 from ejgallego/metanejo Github CI #3862: Commit 436f1d0 pushed by ejgallego
18m 14s main
main
18m 14s