Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #244: Pull request #26 synchronize by bollu
October 21, 2024 08:18 24s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:18 24s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #243: Pull request #26 synchronize by bollu
October 21, 2024 08:14 23s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 23s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #242: Pull request #26 synchronize by bollu
October 21, 2024 08:08 25s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 25s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #241: Pull request #26 synchronize by bollu
October 21, 2024 07:57 23s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 23s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #240: Pull request #26 synchronize by bollu
October 21, 2024 07:54 27s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 27s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #239: Pull request #26 synchronize by bollu
October 21, 2024 07:40 26s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:40 26s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #238: Pull request #26 synchronize by bollu
October 21, 2024 07:34 24s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:34 24s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #237: Pull request #26 synchronize by bollu
October 21, 2024 07:27 29s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:27 29s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #236: Pull request #26 synchronize by bollu
October 21, 2024 07:20 25s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:20 25s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #235: Pull request #26 synchronize by bollu
October 21, 2024 07:19 25s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:19 25s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #234: Pull request #26 synchronize by bollu
October 21, 2024 07:10 26s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:10 26s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #233: Pull request #26 synchronize by bollu
October 21, 2024 07:04 25s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:04 25s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #232: Pull request #26 synchronize by bollu
October 21, 2024 07:00 26s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:00 26s
feat: add BitVec.toInt_sub Check for copyright header #231: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 18:20 24s toInt_sub
toInt_sub
October 19, 2024 18:20 24s
feat: add BitVec.toInt_sub Check for copyright header #230: Pull request #27 synchronize by alexkeizer
October 19, 2024 18:15 28s toInt_sub
toInt_sub
October 19, 2024 18:15 28s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #229: Pull request #26 synchronize by bollu
October 19, 2024 15:37 24s lean4-toint-abs
lean4-toint-abs
October 19, 2024 15:37 24s
feat: add BitVec.toInt_sub Check for copyright header #228: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:29 27s toInt_sub
toInt_sub
October 19, 2024 14:29 27s
feat: add BitVec.toInt_sub Check for copyright header #227: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:28 27s toInt_sub
toInt_sub
October 19, 2024 14:28 27s
feat: add BitVec.toInt_sub Check for copyright header #226: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:48 26s toInt_sub
toInt_sub
October 19, 2024 13:48 26s
feat: add BitVec.toInt_sub Check for copyright header #225: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:47 25s toInt_sub
toInt_sub
October 19, 2024 13:47 25s
feat: add BitVec.toInt_sub Check for copyright header #224: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:36 24s toInt_sub
toInt_sub
October 19, 2024 13:36 24s
feat: add BitVec.toInt_sub Check for copyright header #223: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:33 24s toInt_sub
toInt_sub
October 19, 2024 13:33 24s
feat: add BitVec.toInt_sub Check for copyright header #222: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 12:00 24s toInt_sub
toInt_sub
October 19, 2024 12:00 24s
feat: add BitVec.toInt_sub Check for copyright header #221: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:49 26s toInt_sub
toInt_sub
October 19, 2024 11:49 26s
feat: add BitVec.toInt_sub Check for copyright header #220: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:08 24s toInt_sub
toInt_sub
October 19, 2024 11:08 24s