Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,349 workflow run results
1,349 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #342: completed by alexkeizer
August 9, 2024 07:01 3s
August 9, 2024 07:01 3s
CI CI #343: Scheduled
August 9, 2024 07:01 21s master
master
August 9, 2024 07:01 21s
PR release PR release #341: completed by tobiasgrosser
August 9, 2024 03:41 1s
August 9, 2024 03:41 1s
feat: add sshiftRight/shiftLeft_*_distrib Check for copyright header #80: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 30s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 30s
feat: add sshiftRight/shiftLeft_*_distrib Check for stage0 changes #77: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 33s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 33s
feat: add sshiftRight/shiftLeft_*_distrib CI #342: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 19m 46s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 19m 46s
feat: add sshiftRight/shiftLeft_*_distrib Check for modules that should use `prelude` #80: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 12s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 12s
feat: add sshiftRight/shiftLeft_*_distrib Check PR title for commit convention #87: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 13s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 13s
feat: add sshiftRight/shiftLeft_*_distrib Nix CI #115: Pull request #13 synchronize by tobiasgrosser
August 9, 2024 03:21 18m 32s shift_distrib_2
shift_distrib_2
August 9, 2024 03:21 18m 32s
PR release PR release #340: completed by tobiasgrosser
August 9, 2024 03:00 2s
August 9, 2024 03:00 2s
PR release PR release #339: completed by tobiasgrosser
August 9, 2024 02:46 2s
August 9, 2024 02:46 2s
PR release PR release #338: completed by tobiasgrosser
August 9, 2024 02:32 2s
August 9, 2024 02:32 2s
feat: add BitVec.neg_neg CI #341: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 28m 33s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 28m 33s
feat: add BitVec.neg_neg Nix CI #114: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 29m 27s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 29m 27s
feat: add BitVec.neg_neg Check for modules that should use `prelude` #79: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 12s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 12s
feat: add BitVec.neg_neg Check PR title for commit convention #86: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 10s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 10s
feat: add BitVec.neg_neg Check for copyright header #79: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 29s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 29s
feat: add BitVec.neg_neg Check for stage0 changes #76: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:31 30s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:31 30s
PR release PR release #337: completed by tobiasgrosser
August 9, 2024 02:29 2s
August 9, 2024 02:29 2s
feat: add BitVec.neg_neg Check for copyright header #78: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 30s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 30s
feat: add BitVec.neg_neg Check for stage0 changes #75: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 32s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 32s
feat: add BitVec.neg_neg Check PR title for commit convention #85: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 12s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 12s
feat: add BitVec.neg_neg Nix CI #113: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 2m 55s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 2m 55s
feat: add BitVec.neg_neg CI #340: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 2m 58s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 2m 58s
feat: add BitVec.neg_neg Check for modules that should use `prelude` #78: Pull request #14 synchronize by tobiasgrosser
August 9, 2024 02:29 18s bitvec_neg_neg
bitvec_neg_neg
August 9, 2024 02:29 18s