Skip to content

Actions: opencompl/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #293: Pull request #26 synchronize by bollu
October 21, 2024 07:54 2m 30s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 2m 30s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #292: Pull request #26 synchronize by bollu
October 21, 2024 07:40 14m 46s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:40 14m 46s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #291: Pull request #26 synchronize by bollu
October 21, 2024 07:34 5m 46s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:34 5m 46s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #290: Pull request #26 synchronize by bollu
October 21, 2024 07:27 7m 6s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:27 7m 6s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #289: Pull request #26 synchronize by bollu
October 21, 2024 07:20 7m 23s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:20 7m 23s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #288: Pull request #26 synchronize by bollu
October 21, 2024 07:19 1m 45s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:19 1m 45s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #287: Pull request #26 synchronize by bollu
October 21, 2024 07:10 9m 28s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:10 9m 28s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #286: Pull request #26 synchronize by bollu
October 21, 2024 07:04 5m 57s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:04 5m 57s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #285: Pull request #26 synchronize by bollu
October 21, 2024 07:00 3m 45s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:00 3m 45s
feat: add BitVec.toInt_sub Nix CI #284: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 18:20 29m 39s toInt_sub
toInt_sub
October 19, 2024 18:20 29m 39s
feat: add BitVec.toInt_sub Nix CI #283: Pull request #27 synchronize by alexkeizer
October 19, 2024 18:15 5m 14s toInt_sub
toInt_sub
October 19, 2024 18:15 5m 14s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #282: Pull request #26 synchronize by bollu
October 19, 2024 15:37 33m 16s lean4-toint-abs
lean4-toint-abs
October 19, 2024 15:37 33m 16s
feat: add BitVec.toInt_sub Nix CI #281: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:29 31m 22s toInt_sub
toInt_sub
October 19, 2024 14:29 31m 22s
feat: add BitVec.toInt_sub Nix CI #280: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:28 52s toInt_sub
toInt_sub
October 19, 2024 14:28 52s
feat: add BitVec.toInt_sub Nix CI #279: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:48 30m 38s toInt_sub
toInt_sub
October 19, 2024 13:48 30m 38s
feat: add BitVec.toInt_sub Nix CI #278: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:47 1m 5s toInt_sub
toInt_sub
October 19, 2024 13:47 1m 5s
feat: add BitVec.toInt_sub Nix CI #277: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:36 11m 34s toInt_sub
toInt_sub
October 19, 2024 13:36 11m 34s
feat: add BitVec.toInt_sub Nix CI #276: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:33 3m 3s toInt_sub
toInt_sub
October 19, 2024 13:33 3m 3s
feat: add BitVec.toInt_sub Nix CI #275: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 12:00 31m 3s toInt_sub
toInt_sub
October 19, 2024 12:00 31m 3s
feat: add BitVec.toInt_sub Nix CI #274: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:49 11m 30s toInt_sub
toInt_sub
October 19, 2024 11:49 11m 30s
feat: add BitVec.toInt_sub Nix CI #273: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:08 2m 5s toInt_sub
toInt_sub
October 19, 2024 11:08 2m 5s
feat: add BitVec.toInt_sub Nix CI #272: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:03 1m 44s toInt_sub
toInt_sub
October 19, 2024 11:03 1m 44s
feat: add BitVec.toInt_sub Nix CI #271: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:00 2m 12s toInt_sub
toInt_sub
October 19, 2024 11:00 2m 12s
feat: add BitVec.toInt_sub Nix CI #270: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 10:23 2m 10s toInt_sub
toInt_sub
October 19, 2024 10:23 2m 10s
feat: add BitVec.toInt_sub Nix CI #269: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 08:34 1m 48s toInt_sub
toInt_sub
October 19, 2024 08:34 1m 48s