Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: tabareau/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #25: Scheduled
2s master
master
2s
fix ssr rewrite Check conflicts #99: Commit 1bb90fd pushed by tabareau
13s sortpoly-equality
sortpoly-equality
13s
fix ssr rewrite Github CI #98: Commit 1bb90fd pushed by tabareau
32m 17s sortpoly-equality
sortpoly-equality
32m 17s
remove level optimization Github CI #97: Commit 895b0b1 pushed by tabareau
10m 48s sortpoly-equality
sortpoly-equality
10m 48s
remove level optimization Check conflicts #98: Commit 895b0b1 pushed by tabareau
12s sortpoly-equality
sortpoly-equality
12s
remove level optimization Check conflicts #97: Commit b95c3d9 pushed by tabareau
14s sortpoly-equality
sortpoly-equality
14s
remove level optimization Github CI #96: Commit b95c3d9 pushed by tabareau
32m 20s sortpoly-equality
sortpoly-equality
32m 20s
clean up and more efficient Github CI #95: Commit d18eca0 pushed by tabareau
31m 40s sortpoly-equality
sortpoly-equality
31m 40s
clean up and more efficient Check conflicts #96: Commit d18eca0 pushed by tabareau
13s sortpoly-equality
sortpoly-equality
13s
Stale PRs Stale PRs #24: Scheduled
1s master
master
1s
use fast register version for eq Github CI #94: Commit a1b5bbf pushed by tabareau
32m 49s sortpoly-equality
sortpoly-equality
32m 49s
use fast register version for eq Check conflicts #95: Commit a1b5bbf pushed by tabareau
20s sortpoly-equality
sortpoly-equality
20s
use fast register version for eq Github CI #93: Commit 32830da pushed by tabareau
30m 51s sortpoly-equality
sortpoly-equality
30m 51s
use fast register version for eq Check conflicts #94: Commit 32830da pushed by tabareau
15s sortpoly-equality
sortpoly-equality
15s
use fast register version for eq Check conflicts #93: Commit 851d3c9 pushed by tabareau
12s sortpoly-equality
sortpoly-equality
12s
use fast register version for eq Github CI #92: Commit 851d3c9 pushed by tabareau
31m 41s sortpoly-equality
sortpoly-equality
31m 41s
avoid First-order approximation on cumulative inductive Github CI #91: Commit e078e5e pushed by tabareau
34m 1s sortpoly-equality
sortpoly-equality
34m 1s
avoid First-order approximation on cumulative inductive Check conflicts #92: Commit e078e5e pushed by tabareau
12s sortpoly-equality
sortpoly-equality
12s
avoid First-order approximation on cumulative inductive Check conflicts #91: Commit 66d8f09 pushed by tabareau
13s sortpoly-equality
sortpoly-equality
13s
avoid First-order approximation on cumulative inductive Github CI #90: Commit 66d8f09 pushed by tabareau
1m 34s sortpoly-equality
sortpoly-equality
1m 34s
Stale PRs Stale PRs #23: Scheduled
1s master
master
1s
Stale PRs Stale PRs #22: Scheduled
2s master
master
2s
reduce remaining eta-expansion Check conflicts #90: Commit 79fe723 pushed by tabareau
13s sortpoly-equality
sortpoly-equality
13s
reduce remaining eta-expansion Github CI #89: Commit 79fe723 pushed by tabareau
36m 6s sortpoly-equality
sortpoly-equality
36m 6s
Stale PRs Stale PRs #21: Scheduled
1s master
master
1s