Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
122 workflow run results
122 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable debug Kani CI #265: Commit 099ec51 pushed by tautschnig
March 15, 2024 22:07 32m 18s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 22:07 32m 18s
Include axis range information Kani CI #264: Commit 1490250 pushed by tautschnig
March 15, 2024 22:07 34m 10s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 22:07 34m 10s
Fix init string Kani CI #263: Commit 25d856a pushed by tautschnig
March 15, 2024 13:18 43m 58s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 13:18 43m 58s
Don't produce 1.0 value Kani CI #262: Commit 37aea31 pushed by tautschnig
March 15, 2024 12:01 32m 4s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 12:01 32m 4s
Rounding, test fix Kani CI #261: Commit 7769fff pushed by tautschnig
March 15, 2024 10:33 51m 29s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 10:33 51m 29s
Quote benchmark name Kani CI #260: Commit a6ec298 pushed by tautschnig
March 15, 2024 10:18 34m 39s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 10:18 34m 39s
Add optional scatterplot to benchcomp output Kani CI #259: Commit f47914f pushed by tautschnig
March 15, 2024 08:54 30m 42s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 08:54 30m 42s
More whitespace Kani CI #258: Commit d1069cb pushed by tautschnig
March 14, 2024 23:32 29m 51s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:32 29m 51s
Whitespace Kani CI #257: Commit 12946c7 pushed by tautschnig
March 14, 2024 23:25 29m 10s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:25 29m 10s
Debug test, again Kani CI #256: Commit 456cc14 pushed by tautschnig
March 14, 2024 23:09 28m 53s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:09 28m 53s
Test, whitespace Kani CI #255: Commit a87006f pushed by tautschnig
March 14, 2024 23:04 28m 37s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:04 28m 37s
Debug test Kani CI #254: Commit 34ec46c pushed by tautschnig
March 14, 2024 22:54 29m 57s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:54 29m 57s
Fix syntax Kani CI #253: Commit d8cd86f pushed by tautschnig
March 14, 2024 22:48 37m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:48 37m 44s
Don't do all metrics Kani CI #252: Commit 5b2ca09 pushed by tautschnig
March 14, 2024 22:41 37m 47s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:41 37m 47s
Fix name Kani CI #251: Commit 907e49e pushed by tautschnig
March 14, 2024 22:12 50m 2s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:12 50m 2s
Rearrange dict Kani CI #250: Commit a1a3f9f pushed by tautschnig
March 14, 2024 21:44 28m 53s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:44 28m 53s
Fix lookup Kani CI #249: Commit 624431c pushed by tautschnig
March 14, 2024 21:08 42m 18s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:08 42m 18s
Fix syntax error Kani CI #248: Commit 4e5fdb3 pushed by tautschnig
March 14, 2024 20:54 29m 41s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 20:54 29m 41s
Add optional scatterplot to benchcomp output Kani CI #247: Commit 2fab78e pushed by tautschnig
March 14, 2024 17:43 36m 51s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 17:43 36m 51s
More precise bounds Kani CI #246: Commit bc5ef1f pushed by tautschnig
February 7, 2024 18:23 33m 43s float-intrinsics
float-intrinsics
February 7, 2024 18:23 33m 43s
Temporarily disable mdbook-graphviz Kani CI #245: Commit 9f4db53 pushed by tautschnig
February 7, 2024 16:09 40m 3s update-deps
update-deps
February 7, 2024 16:09 40m 3s
Fix bookrunner Kani CI #244: Commit 3649d21 pushed by tautschnig
February 7, 2024 12:27 34m 50s update-deps
update-deps
February 7, 2024 12:27 34m 50s
Update cargo dependencies Kani CI #243: Commit c241e62 pushed by tautschnig
February 7, 2024 11:39 32m 20s update-deps
update-deps
February 7, 2024 11:39 32m 20s
Enable fma* intrinsics Kani CI #242: Commit 641e110 pushed by tautschnig
February 7, 2024 10:50 28m 39s fma-intrinsics
fma-intrinsics
February 7, 2024 10:50 28m 39s
Enable log2*, log10* intrinsics Kani CI #241: Commit 3fa6a18 pushed by tautschnig
February 7, 2024 10:45 27m 26s log2-log10-intrinsics
log2-log10-intrinsics
February 7, 2024 10:45 27m 26s