Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rounding, test fix Kani Format Check #261: Commit 7769fff pushed by tautschnig
March 15, 2024 10:33 2m 1s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 10:33 2m 1s
Quote benchmark name Kani Format Check #260: Commit a6ec298 pushed by tautschnig
March 15, 2024 10:18 2m 10s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 10:18 2m 10s
Add optional scatterplot to benchcomp output Kani Format Check #259: Commit f47914f pushed by tautschnig
March 15, 2024 08:54 2m 34s benchcomp-scatterplot
benchcomp-scatterplot
March 15, 2024 08:54 2m 34s
More whitespace Kani Format Check #258: Commit d1069cb pushed by tautschnig
March 14, 2024 23:32 3m 6s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:32 3m 6s
Whitespace Kani Format Check #257: Commit 12946c7 pushed by tautschnig
March 14, 2024 23:25 2m 38s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:25 2m 38s
Debug test, again Kani Format Check #256: Commit 456cc14 pushed by tautschnig
March 14, 2024 23:09 1m 56s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:09 1m 56s
Test, whitespace Kani Format Check #255: Commit a87006f pushed by tautschnig
March 14, 2024 23:04 2m 7s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 23:04 2m 7s
Debug test Kani Format Check #254: Commit 34ec46c pushed by tautschnig
March 14, 2024 22:54 3m 13s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:54 3m 13s
Fix syntax Kani Format Check #253: Commit d8cd86f pushed by tautschnig
March 14, 2024 22:48 2m 6s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:48 2m 6s
Don't do all metrics Kani Format Check #252: Commit 5b2ca09 pushed by tautschnig
March 14, 2024 22:41 2m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:41 2m 44s
Fix name Kani Format Check #251: Commit 907e49e pushed by tautschnig
March 14, 2024 22:12 2m 3s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 22:12 2m 3s
Rearrange dict Kani Format Check #250: Commit a1a3f9f pushed by tautschnig
March 14, 2024 21:44 2m 0s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:44 2m 0s
Fix lookup Kani Format Check #249: Commit 624431c pushed by tautschnig
March 14, 2024 21:08 2m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 21:08 2m 44s
Fix syntax error Kani Format Check #248: Commit 4e5fdb3 pushed by tautschnig
March 14, 2024 20:54 1m 58s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 20:54 1m 58s
Add optional scatterplot to benchcomp output Kani Format Check #247: Commit 2fab78e pushed by tautschnig
March 14, 2024 17:43 2m 34s benchcomp-scatterplot
benchcomp-scatterplot
March 14, 2024 17:43 2m 34s
More precise bounds Kani Format Check #246: Commit bc5ef1f pushed by tautschnig
February 7, 2024 18:23 2m 33s float-intrinsics
float-intrinsics
February 7, 2024 18:23 2m 33s
Temporarily disable mdbook-graphviz Kani Format Check #245: Commit 9f4db53 pushed by tautschnig
February 7, 2024 16:09 1m 59s update-deps
update-deps
February 7, 2024 16:09 1m 59s
Fix bookrunner Kani Format Check #244: Commit 3649d21 pushed by tautschnig
February 7, 2024 12:27 3m 20s update-deps
update-deps
February 7, 2024 12:27 3m 20s
Update cargo dependencies Kani Format Check #243: Commit c241e62 pushed by tautschnig
February 7, 2024 11:39 1m 29s update-deps
update-deps
February 7, 2024 11:39 1m 29s
Enable fma* intrinsics Kani Format Check #242: Commit 641e110 pushed by tautschnig
February 7, 2024 10:50 2m 9s fma-intrinsics
fma-intrinsics
February 7, 2024 10:50 2m 9s
Enable log2*, log10* intrinsics Kani Format Check #241: Commit 3fa6a18 pushed by tautschnig
February 7, 2024 10:45 2m 20s log2-log10-intrinsics
log2-log10-intrinsics
February 7, 2024 10:45 2m 20s
Enable sqrt* intrinsics Kani Format Check #240: Commit cd236fa pushed by tautschnig
February 7, 2024 10:39 2m 39s sqrt-intrinsics
sqrt-intrinsics
February 7, 2024 10:39 2m 39s
Enable powif* intrinsics Kani Format Check #239: Commit ea28adf pushed by tautschnig
February 7, 2024 10:21 1m 53s powi-intrinsics
powi-intrinsics
February 7, 2024 10:21 1m 53s
No sqrt just yet Kani Format Check #238: Commit fa2ac24 pushed by tautschnig
February 7, 2024 10:18 2m 29s float-intrinsics
float-intrinsics
February 7, 2024 10:18 2m 29s
Syntax fixes Kani Format Check #237: Commit a044577 pushed by tautschnig
February 6, 2024 21:42 2m 14s float-intrinsics
float-intrinsics
February 6, 2024 21:42 2m 14s