Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] update wasm_of_ocaml (#2074) CI (Coq, Debian) #64: Commit b4f94a2 pushed by JasonGross
April 8, 2025 15:47 24m 54s master
master
April 8, 2025 15:47 24m 54s
temp PR to list warnings on CI CI (Coq, Debian) #63: Pull request #75 opened by JasonGross
April 8, 2025 15:46 23s JasonGross-patch-1
JasonGross-patch-1
April 8, 2025 15:46 23s
CI (Coq, Debian) CI (Coq, Debian) #62: Scheduled
April 1, 2025 01:08 3h 3m 31s master
master
April 1, 2025 01:08 3h 3m 31s
Merge pull request #2047 from JasonGross/directives CI (Coq, Debian) #61: Commit 2872ecd pushed by JasonGross
March 12, 2025 01:06 3h 5m 18s master
master
March 12, 2025 01:06 3h 5m 18s
Don't print the report too early CI (Coq, Debian) #60: Commit 76d6deb pushed by JasonGross
March 10, 2025 22:51 3h 7m 4s master
master
March 10, 2025 22:51 3h 7m 4s
Don't die on missing fetch CI (Coq, Debian) #59: Commit ef4dd8a pushed by JasonGross
March 5, 2025 06:37 3h 19m 0s master
master
March 5, 2025 06:37 3h 19m 0s
Full timing diff for: Use Listable to prove equality of registers and… CI (Coq, Debian) #58: Commit ee8fca9 pushed by JasonGross
March 5, 2025 04:35 3h 10m 43s master
master
March 5, 2025 04:35 3h 10m 43s
Don't die if fetch fails CI (Coq, Debian) #57: Commit d619376 pushed by JasonGross
March 5, 2025 04:09 3h 31m 24s master
master
March 5, 2025 04:09 3h 31m 24s
Adjust coq-timing-diff action CI (Coq, Debian) #56: Commit d1e8f0b pushed by JasonGross
March 4, 2025 23:50 2h 59m 53s master
master
March 4, 2025 23:50 2h 59m 53s
Update coq-timing-diff.yml CI (Coq, Debian) #55: Commit d3c2af5 pushed by JasonGross
March 4, 2025 21:39 3h 2m 17s master
master
March 4, 2025 21:39 3h 2m 17s
Update coq-timing-diff.yml with optional build target CI (Coq, Debian) #54: Commit 3dd45e7 pushed by JasonGross
March 4, 2025 16:25 3h 35m 44s master
master
March 4, 2025 16:25 3h 35m 44s
Update coq-timing-diff.yml CI (Coq, Debian) #53: Commit 3845b15 pushed by JasonGross
March 4, 2025 16:15 3h 2m 57s master
master
March 4, 2025 16:15 3h 2m 57s
Rework timing diff workflog CI (Coq, Debian) #52: Commit b8e499e pushed by JasonGross
March 4, 2025 06:34 4h 49m 55s master
master
March 4, 2025 06:34 4h 49m 55s
Rework timing diff workflog CI (Coq, Debian) #51: Commit 5a8f095 pushed by JasonGross
March 4, 2025 06:34 4h 50m 14s master
master
March 4, 2025 06:34 4h 50m 14s
Add a workflow_dispatch for running timing diffs on CI (#2022) CI (Coq, Debian) #50: Commit 3878d76 pushed by JasonGross
March 3, 2025 23:17 3h 1m 31s master
master
March 3, 2025 23:17 3h 1m 31s
Better display of HTML CI (Coq, Debian) #49: Commit 847d6a7 pushed by JasonGross
March 1, 2025 05:27 6h 14m 41s master
master
March 1, 2025 05:27 6h 14m 41s
Better placeholder and button CI (Coq, Debian) #48: Commit a25e4c5 pushed by JasonGross
March 1, 2025 01:25 9h 44m 39s master
master
March 1, 2025 01:25 9h 44m 39s
CI (Coq, Debian) CI (Coq, Debian) #47: Scheduled
March 1, 2025 01:01 10h 1m 11s master
master
March 1, 2025 01:01 10h 1m 11s
Update .gitignore CI (Coq, Debian) #46: Commit 64ca6ea pushed by JasonGross
March 1, 2025 00:49 7h 56m 20s master
master
March 1, 2025 00:49 7h 56m 20s
Update .gitignore CI (Coq, Debian) #45: Commit 85cc0da pushed by JasonGross
March 1, 2025 00:49 7h 56m 37s master
master
March 1, 2025 00:49 7h 56m 37s
[HTML] Add support for input and output files (#2014) CI (Coq, Debian) #44: Commit 337a125 pushed by JasonGross
February 28, 2025 17:07 3h 1m 35s master
master
February 28, 2025 17:07 3h 1m 35s
CI (Coq, Debian) CI (Coq, Debian) #43: Scheduled
February 1, 2025 00:58 2h 57m 31s master
master
February 1, 2025 00:58 2h 57m 31s
CI (Coq, Debian) CI (Coq, Debian) #42: Scheduled
January 1, 2025 01:01 25s master
master
January 1, 2025 01:01 25s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 CI (Coq, Debian) #41: Pull request #70 opened by dependabot bot
December 4, 2024 05:01 3h 3m 40s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
December 4, 2024 05:01 3h 3m 40s
CI (Coq, Debian) CI (Coq, Debian) #40: Scheduled
December 1, 2024 01:10 3h 3m 20s master
master
December 1, 2024 01:10 3h 3m 20s