Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,195 workflow runs
5,195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #395: Scheduled
March 24, 2025 02:07 10s master
master
March 24, 2025 02:07 10s
PR release PR release #994: completed by alexkeizer
March 23, 2025 07:01 2s
March 23, 2025 07:01 2s
CI CI #994: Scheduled
March 23, 2025 07:00 23s master
master
March 23, 2025 07:00 23s
Label stale PRs Label stale PRs #394: Scheduled
March 23, 2025 02:09 12s master
master
March 23, 2025 02:09 12s
PR release PR release #993: completed by alexkeizer
March 22, 2025 07:01 2s
March 22, 2025 07:01 2s
CI CI #993: Scheduled
March 22, 2025 07:01 19s master
master
March 22, 2025 07:01 19s
Label stale PRs Label stale PRs #393: Scheduled
March 22, 2025 02:03 9s master
master
March 22, 2025 02:03 9s
feat: BitVec.(toFin, toInt)_(rotateLeft, rotateRight) Backport #38: Pull request #50 closed by luisacicolini
March 21, 2025 09:18 2s
March 21, 2025 09:18 2s
PR release PR release #992: completed by alexkeizer
March 21, 2025 07:01 2s
March 21, 2025 07:01 2s
CI CI #992: Scheduled
March 21, 2025 07:01 19s master
master
March 21, 2025 07:01 19s
Label stale PRs Label stale PRs #392: Scheduled
March 21, 2025 02:05 12s master
master
March 21, 2025 02:05 12s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Backport #37: Pull request #46 closed by luisacicolini
March 20, 2025 17:08 2s
March 20, 2025 17:08 2s
PR release PR release #991: completed by luisacicolini
March 20, 2025 10:41 2s
March 20, 2025 10:41 2s
chore: revert "perf: avoid taking mutex on task deactivation" (#7590) CI #991: Commit f42a28f pushed by luisacicolini
March 20, 2025 09:31 1h 10m 3s master
master
March 20, 2025 09:31 1h 10m 3s
chore: revert "perf: avoid taking mutex on task deactivation" (#7590) Update stage0 #65: Commit f42a28f pushed by luisacicolini
March 20, 2025 09:31 41s master
master
March 20, 2025 09:31 41s
chore: revert "perf: avoid taking mutex on task deactivation" (#7590) Nix CI #540: Commit f42a28f pushed by luisacicolini
March 20, 2025 09:31 1h 0m 38s master
master
March 20, 2025 09:31 1h 0m 38s
PR release PR release #990: completed by alexkeizer
March 20, 2025 07:01 2s
March 20, 2025 07:01 2s
CI CI #990: Scheduled
March 20, 2025 07:01 20s master
master
March 20, 2025 07:01 20s
Label stale PRs Label stale PRs #391: Scheduled
March 20, 2025 02:04 11s master
master
March 20, 2025 02:04 11s
PR release PR release #989: completed by alexkeizer
March 19, 2025 07:01 3s
March 19, 2025 07:01 3s
CI CI #989: Scheduled
March 19, 2025 07:01 18s master
master
March 19, 2025 07:01 18s
Label stale PRs Label stale PRs #390: Scheduled
March 19, 2025 02:05 12s master
master
March 19, 2025 02:05 12s
PR release PR release #988: completed by luisacicolini
March 18, 2025 16:08 3s
March 18, 2025 16:08 3s
perf: async optimizations for Init.Data.BitVec.Lemmas (#7546) Nix CI #539: Commit 53fcae0 pushed by luisacicolini
March 18, 2025 14:55 27m 9s master
master
March 18, 2025 14:55 27m 9s
perf: async optimizations for Init.Data.BitVec.Lemmas (#7546) Update stage0 #64: Commit 53fcae0 pushed by luisacicolini
March 18, 2025 14:55 45s master
master
March 18, 2025 14:55 45s