Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
251 workflow run results
251 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into fma-intrinsics Kani CI #417: Commit 022396e pushed by tautschnig
August 2, 2024 17:59 44m 36s fma-intrinsics
fma-intrinsics
August 2, 2024 17:59 44m 36s
Merge branch 'main' into merge-queue Kani CI #416: Commit f6f9466 pushed by tautschnig
August 2, 2024 15:45 41m 38s merge-queue
merge-queue
August 2, 2024 15:45 41m 38s
Merge branch 'main' into merge-queue Kani CI #415: Commit 2049796 pushed by feliperodri
August 2, 2024 14:57 50m 53s merge-queue
merge-queue
August 2, 2024 14:57 50m 53s
Merge branch 'main' into fma-intrinsics Kani CI #414: Commit b7547f6 pushed by feliperodri
August 2, 2024 14:51 42m 13s fma-intrinsics
fma-intrinsics
August 2, 2024 14:51 42m 13s
Merge remote-tracking branch 'origin/main' into sqrt-intrinsics Kani CI #413: Commit f29f28c pushed by tautschnig
August 2, 2024 14:33 34m 22s sqrt-intrinsics
sqrt-intrinsics
August 2, 2024 14:33 34m 22s
Remove unnecessary check Kani CI #412: Commit af32ddd pushed by tautschnig
August 2, 2024 14:05 37m 14s powi-intrinsics
powi-intrinsics
August 2, 2024 14:05 37m 14s
fixme test no longer is a fixme-test Kani CI #411: Commit 75fefa9 pushed by tautschnig
August 2, 2024 14:01 38m 10s powi-intrinsics
powi-intrinsics
August 2, 2024 14:01 38m 10s
Merge remote-tracking branch 'origin/main' into powi-intrinsics Kani CI #410: Commit ac3dd18 pushed by tautschnig
August 2, 2024 13:19 28m 40s powi-intrinsics
powi-intrinsics
August 2, 2024 13:19 28m 40s
Adjust precision Kani CI #409: Commit 9c567a7 pushed by tautschnig
August 2, 2024 12:21 42m 1s log2-log10-intrinsics
log2-log10-intrinsics
August 2, 2024 12:21 42m 1s
Prepare use of GitHub merge queues Kani CI #408: Commit 0e9afbd pushed by tautschnig
August 2, 2024 12:10 32m 17s merge-queue
merge-queue
August 2, 2024 12:10 32m 17s
Merge branch 'main' into no-need-for-unwind Kani CI #407: Commit e621c4e pushed by tautschnig
August 1, 2024 21:25 44m 3s no-need-for-unwind
no-need-for-unwind
August 1, 2024 21:25 44m 3s
Remove unwind attributes that are no longer needed with CBMC v6 Kani CI #406: Commit d064cc0 pushed by tautschnig
August 1, 2024 16:17 40m 12s no-need-for-unwind
no-need-for-unwind
August 1, 2024 16:17 40m 12s
Merge remote-tracking branch 'origin/main' into powi-intrinsics Kani CI #405: Commit c8d8e75 pushed by tautschnig
August 1, 2024 15:36 26m 23s powi-intrinsics
powi-intrinsics
August 1, 2024 15:36 26m 23s
Merge remote-tracking branch 'origin/main' into log2-log10-intrinsics Kani CI #404: Commit 86e7f8e pushed by tautschnig
August 1, 2024 15:35 24m 58s log2-log10-intrinsics
log2-log10-intrinsics
August 1, 2024 15:35 24m 58s
Merge branch 'main' into fma-intrinsics Kani CI #403: Commit 0dc4a74 pushed by tautschnig
August 1, 2024 11:47 47m 41s fma-intrinsics
fma-intrinsics
August 1, 2024 11:47 47m 41s
Merge branch 'main' into sqrt-intrinsics Kani CI #402: Commit 96ad019 pushed by tautschnig
August 1, 2024 11:46 24m 12s sqrt-intrinsics
sqrt-intrinsics
August 1, 2024 11:46 24m 12s
Merge branch 'main' into fix-cbmc-nightly Kani CI #401: Commit c15eabf pushed by tautschnig
July 31, 2024 16:00 41m 20s fix-cbmc-nightly
fix-cbmc-nightly
July 31, 2024 16:00 41m 20s
Fix cbmc-nightly for macOS Kani CI #400: Commit 29140a8 pushed by tautschnig
July 31, 2024 15:35 33m 53s fix-cbmc-nightly
fix-cbmc-nightly
July 31, 2024 15:35 33m 53s
Merge branch 'main' into lower-cbmc-verbosity Kani CI #399: Commit 3cbe135 pushed by tautschnig
July 31, 2024 15:14 57m 21s lower-cbmc-verbosity
lower-cbmc-verbosity
July 31, 2024 15:14 57m 21s
Reduce memory consumption of cell_stub.rs test Kani CI #398: Commit bf54b29 pushed by tautschnig
July 31, 2024 14:18 6h 0m 27s use-minisat
use-minisat
July 31, 2024 14:18 6h 0m 27s
Reduce CBMC verbosity to CBMC's default Kani CI #397: Commit 754dc57 pushed by tautschnig
July 31, 2024 09:59 25m 48s lower-cbmc-verbosity
lower-cbmc-verbosity
July 31, 2024 09:59 25m 48s
Use verbosity 9 by default Kani CI #396: Commit f878fd9 pushed by tautschnig
July 31, 2024 08:21 37m 31s cbmc-6
cbmc-6
July 31, 2024 08:21 37m 31s
Revert "Test performance with CBMC using CaDiCaL 2.0.0" Kani CI #395: Commit 2de6464 pushed by tautschnig
July 31, 2024 07:46 25m 55s cbmc-6
cbmc-6
July 31, 2024 07:46 25m 55s
Merge branch 'main' into cbmc-6 Kani CI #394: Commit 007b1e9 pushed by tautschnig
July 30, 2024 20:58 42m 46s cbmc-6
cbmc-6
July 30, 2024 20:58 42m 46s
Update .github/workflows/verify-std-check.yml Kani CI #393: Commit a71fdaa pushed by celinval
July 29, 2024 18:30 36m 1s toolchain-2024-07-29-manual
toolchain-2024-07-29-manual
July 29, 2024 18:30 36m 1s