Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,986 workflow runs
2,986 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec zero/one simplifications Check for stage0 changes #254: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 31s
feat: add BitVec zero/one simplifications Check PR title for commit convention #284: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 12s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 12s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #257: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 13s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 13s
feat: add BitVec zero/one simplifications Nix CI #312: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 3m 21s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 3m 21s
feat: add BitVec zero/one simplifications Check for copyright header #257: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 31s
feat: add BitVec zero/one simplifications CI #619: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 20m 26s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 20m 26s
PR release PR release #618: completed by tobiasgrosser
October 27, 2024 15:08 2s
October 27, 2024 15:08 2s
PR release PR release #617: completed by tobiasgrosser
October 27, 2024 14:50 2s
October 27, 2024 14:50 2s
PR release PR release #616: completed by tobiasgrosser
October 27, 2024 14:47 2s
October 27, 2024 14:47 2s
feat: add BitVec zero/one simplifications CI #618: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 20m 45s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 20m 45s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #256: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 17s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 17s
feat: add BitVec zero/one simplifications Nix CI #311: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 33m 59s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 33m 59s
feat: add BitVec zero/one simplifications Check for stage0 changes #253: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 31s
feat: add BitVec zero/one simplifications Check PR title for commit convention #283: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 11s
feat: add BitVec zero/one simplifications Check for copyright header #256: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 28s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 28s
PR release PR release #615: completed by tobiasgrosser
October 27, 2024 14:41 2s
October 27, 2024 14:41 2s
feat: add BitVec zero/one simplifications Check PR title for commit convention #282: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 10s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 10s
feat: add BitVec zero/one simplifications CI #617: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 6m 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 6m 11s
feat: add BitVec zero/one simplifications Check for stage0 changes #252: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 36s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 36s
feat: add BitVec zero/one simplifications Nix CI #310: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 6m 9s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 6m 9s
feat: add BitVec zero/one simplifications Check for copyright header #255: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 30s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 30s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #255: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 14s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 14s
PR release PR release #614: completed by tobiasgrosser
October 27, 2024 14:31 1s
October 27, 2024 14:31 1s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #254: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 12s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 12s
feat: add BitVec zero/one simplifications Nix CI #309: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 10m 25s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 10m 25s