Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't die on missing fetch CI (Coq, opam) #68: Commit ef4dd8a pushed by JasonGross
March 5, 2025 06:37 1h 55m 15s master
master
March 5, 2025 06:37 1h 55m 15s
Full timing diff for: Use Listable to prove equality of registers and… CI (Coq, opam) #67: Commit ee8fca9 pushed by JasonGross
March 5, 2025 04:35 2h 26m 26s master
master
March 5, 2025 04:35 2h 26m 26s
Don't die if fetch fails CI (Coq, opam) #66: Commit d619376 pushed by JasonGross
March 5, 2025 04:09 1h 36m 19s master
master
March 5, 2025 04:09 1h 36m 19s
Adjust coq-timing-diff action CI (Coq, opam) #65: Commit d1e8f0b pushed by JasonGross
March 4, 2025 23:50 1h 58m 9s master
master
March 4, 2025 23:50 1h 58m 9s
Update coq-timing-diff.yml CI (Coq, opam) #64: Commit d3c2af5 pushed by JasonGross
March 4, 2025 21:39 1h 36m 31s master
master
March 4, 2025 21:39 1h 36m 31s
Update coq-timing-diff.yml with optional build target CI (Coq, opam) #63: Commit 3dd45e7 pushed by JasonGross
March 4, 2025 16:25 2h 39m 22s master
master
March 4, 2025 16:25 2h 39m 22s
Update coq-timing-diff.yml CI (Coq, opam) #62: Commit 3845b15 pushed by JasonGross
March 4, 2025 16:15 1h 36m 22s master
master
March 4, 2025 16:15 1h 36m 22s
Rework timing diff workflog CI (Coq, opam) #61: Commit b8e499e pushed by JasonGross
March 4, 2025 06:34 2h 0m 38s master
master
March 4, 2025 06:34 2h 0m 38s
Rework timing diff workflog CI (Coq, opam) #60: Commit 5a8f095 pushed by JasonGross
March 4, 2025 06:34 1h 37m 11s master
master
March 4, 2025 06:34 1h 37m 11s
Add a workflow_dispatch for running timing diffs on CI (#2022) CI (Coq, opam) #59: Commit 3878d76 pushed by JasonGross
March 3, 2025 23:17 1h 37m 24s master
master
March 3, 2025 23:17 1h 37m 24s
Better display of HTML CI (Coq, opam) #58: Commit 847d6a7 pushed by JasonGross
March 1, 2025 05:27 3h 37m 51s master
master
March 1, 2025 05:27 3h 37m 51s
CI (Coq, opam) CI (Coq, opam) #57: Scheduled
March 1, 2025 01:47 3h 42m 41s master
master
March 1, 2025 01:47 3h 42m 41s
Better placeholder and button CI (Coq, opam) #56: Commit a25e4c5 pushed by JasonGross
March 1, 2025 01:25 3h 38m 16s master
master
March 1, 2025 01:25 3h 38m 16s
Update .gitignore CI (Coq, opam) #55: Commit 64ca6ea pushed by JasonGross
March 1, 2025 00:49 3h 1m 40s master
master
March 1, 2025 00:49 3h 1m 40s
Update .gitignore CI (Coq, opam) #54: Commit 85cc0da pushed by JasonGross
March 1, 2025 00:49 1h 36m 49s master
master
March 1, 2025 00:49 1h 36m 49s
[HTML] Add support for input and output files (#2014) CI (Coq, opam) #53: Commit 337a125 pushed by JasonGross
February 28, 2025 17:07 1h 41m 50s master
master
February 28, 2025 17:07 1h 41m 50s
CI (Coq, opam) CI (Coq, opam) #52: Scheduled
February 1, 2025 01:41 1h 44m 17s master
master
February 1, 2025 01:41 1h 44m 17s
CI (Coq, opam) CI (Coq, opam) #51: Scheduled
January 1, 2025 01:46 1h 43m 55s master
master
January 1, 2025 01:46 1h 43m 55s
CI (Coq, opam) CI (Coq, opam) #50: Scheduled
December 1, 2024 02:00 1h 42m 26s master
master
December 1, 2024 02:00 1h 42m 26s
Bump rewriter from e4d987c to edd0611 (#1981) CI (Coq, opam) #49: Commit c43d00d pushed by JasonGross
November 11, 2024 04:29 1h 42m 31s master
master
November 11, 2024 04:29 1h 42m 31s
CI (Coq, opam) CI (Coq, opam) #48: Scheduled
November 1, 2024 01:46 1h 42m 13s master
master
November 1, 2024 01:46 1h 42m 13s
CI (Coq, opam) CI (Coq, opam) #47: Scheduled
October 1, 2024 01:46 1h 35m 13s master
master
October 1, 2024 01:46 1h 35m 13s
Bump rupicola from d55f2d7 to e7771d9 (#1968) CI (Coq, opam) #46: Commit 3b30a35 pushed by JasonGross
September 30, 2024 18:41 1h 46m 18s master
master
September 30, 2024 18:41 1h 46m 18s
Merge pull request #1953 from andres-erbsen/weier2 CI (Coq, opam) #45: Commit d3af796 pushed by JasonGross
September 5, 2024 08:32 2h 14m 59s master
master
September 5, 2024 08:32 2h 14m 59s
Pin Zig to the current stable version instead of master (#1951) CI (Coq, opam) #44: Commit 95ea54c pushed by JasonGross
September 3, 2024 07:26 1h 38m 57s master
master
September 3, 2024 07:26 1h 38m 57s