Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow run results
141 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #43: completed by bollu
March 30, 2024 16:32 1s
March 30, 2024 16:32 1s
PR release PR release #42: completed by bollu
March 30, 2024 16:11 1s
March 30, 2024 16:11 1s
PR release PR release #41: completed by bollu
March 30, 2024 16:00 2s
March 30, 2024 16:00 2s
fix: Check whether a token is a scalar in interpreter Nix CI #7: Commit 97b88fd pushed by bollu
March 30, 2024 15:43 20m 57s 2024-03-30--15-19--tcg40
2024-03-30--15-19--tcg40
March 30, 2024 15:43 20m 57s
fix: Check whether a token is a scalar in interpreter CI #43: Commit 97b88fd pushed by bollu
March 30, 2024 15:43 48m 22s 2024-03-30--15-19--tcg40
2024-03-30--15-19--tcg40
March 30, 2024 15:43 48m 22s
feat: add latest run from yday Nix CI #6: Commit 1280c4b pushed by bollu
March 30, 2024 15:12 21m 22s 2024-borrowing-benching-baseline
2024-borrowing-benching-baseline
March 30, 2024 15:12 21m 22s
CI CI #41: by bollu
March 30, 2024 15:12 59m 42s 2024-borrowing-upstream-base
2024-borrowing-upstream-base
March 30, 2024 15:12 59m 42s
Nix CI Nix CI #5: by bollu
March 30, 2024 15:12 30m 24s 2024-borrowing-upstream-base
2024-borrowing-upstream-base
March 30, 2024 15:12 30m 24s
feat: add latest run from yday CI #42: Commit 1280c4b pushed by bollu
March 30, 2024 15:12 48m 7s 2024-borrowing-benching-baseline
2024-borrowing-benching-baseline
March 30, 2024 15:12 48m 7s
PR release PR release #40: completed by alexkeizer
March 30, 2024 07:01 2s
March 30, 2024 07:01 2s
CI CI #40: Scheduled
March 30, 2024 07:01 23s master
master
March 30, 2024 07:01 23s
Label stale PRs Label stale PRs #36: Scheduled
March 30, 2024 01:45 11s master
master
March 30, 2024 01:45 11s
PR release PR release #39: completed by alexkeizer
March 29, 2024 07:01 2s
March 29, 2024 07:01 2s
CI CI #39: Scheduled
March 29, 2024 07:00 20s master
master
March 29, 2024 07:00 20s
Label stale PRs Label stale PRs #35: Scheduled
March 29, 2024 01:46 10s master
master
March 29, 2024 01:46 10s
PR release PR release #38: completed by alexkeizer
March 28, 2024 07:01 2s
March 28, 2024 07:01 2s
CI CI #38: Scheduled
March 28, 2024 07:01 29s master
master
March 28, 2024 07:01 29s
Label stale PRs Label stale PRs #34: Scheduled
March 28, 2024 01:46 13s master
master
March 28, 2024 01:46 13s
PR release PR release #37: completed by alexkeizer
March 27, 2024 07:01 3s
March 27, 2024 07:01 3s
CI CI #37: Scheduled
March 27, 2024 07:01 20s master
master
March 27, 2024 07:01 20s
Label stale PRs Label stale PRs #33: Scheduled
March 27, 2024 01:46 14s master
master
March 27, 2024 01:46 14s
PR release PR release #36: completed by alexkeizer
March 26, 2024 07:01 2s
March 26, 2024 07:01 2s
CI CI #36: Scheduled
March 26, 2024 07:01 22s master
master
March 26, 2024 07:01 22s
Label stale PRs Label stale PRs #32: Scheduled
March 26, 2024 01:46 11s master
master
March 26, 2024 01:46 11s
PR release PR release #35: completed by alexkeizer
March 25, 2024 07:01 2s
March 25, 2024 07:01 2s