Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq, Arch Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-archlinux.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't die on missing fetch CI (Coq, Arch Linux) #37: Commit ef4dd8a pushed by JasonGross
March 5, 2025 06:37 3h 21m 14s master
master
March 5, 2025 06:37 3h 21m 14s
Full timing diff for: Use Listable to prove equality of registers and… CI (Coq, Arch Linux) #36: Commit ee8fca9 pushed by JasonGross
March 5, 2025 04:35 3h 18m 38s master
master
March 5, 2025 04:35 3h 18m 38s
Don't die if fetch fails CI (Coq, Arch Linux) #35: Commit d619376 pushed by JasonGross
March 5, 2025 04:09 3h 32m 7s master
master
March 5, 2025 04:09 3h 32m 7s
Adjust coq-timing-diff action CI (Coq, Arch Linux) #34: Commit d1e8f0b pushed by JasonGross
March 4, 2025 23:50 3h 9m 44s master
master
March 4, 2025 23:50 3h 9m 44s
Update coq-timing-diff.yml CI (Coq, Arch Linux) #33: Commit d3c2af5 pushed by JasonGross
March 4, 2025 21:39 3h 12m 33s master
master
March 4, 2025 21:39 3h 12m 33s
Update coq-timing-diff.yml with optional build target CI (Coq, Arch Linux) #32: Commit 3dd45e7 pushed by JasonGross
March 4, 2025 16:25 3h 50m 10s master
master
March 4, 2025 16:25 3h 50m 10s
Update coq-timing-diff.yml CI (Coq, Arch Linux) #31: Commit 3845b15 pushed by JasonGross
March 4, 2025 16:15 3h 8m 26s master
master
March 4, 2025 16:15 3h 8m 26s
Rework timing diff workflog CI (Coq, Arch Linux) #30: Commit b8e499e pushed by JasonGross
March 4, 2025 06:34 4h 50m 21s master
master
March 4, 2025 06:34 4h 50m 21s
Rework timing diff workflog CI (Coq, Arch Linux) #29: Commit 5a8f095 pushed by JasonGross
March 4, 2025 06:34 4h 50m 18s master
master
March 4, 2025 06:34 4h 50m 18s
Add a workflow_dispatch for running timing diffs on CI (#2022) CI (Coq, Arch Linux) #28: Commit 3878d76 pushed by JasonGross
March 3, 2025 23:17 3h 7m 4s master
master
March 3, 2025 23:17 3h 7m 4s
Better display of HTML CI (Coq, Arch Linux) #27: Commit 847d6a7 pushed by JasonGross
March 1, 2025 05:27 6h 16m 22s master
master
March 1, 2025 05:27 6h 16m 22s
Better placeholder and button CI (Coq, Arch Linux) #26: Commit a25e4c5 pushed by JasonGross
March 1, 2025 01:25 9h 48m 56s master
master
March 1, 2025 01:25 9h 48m 56s
Update .gitignore CI (Coq, Arch Linux) #25: Commit 64ca6ea pushed by JasonGross
March 1, 2025 00:49 10h 23m 54s master
master
March 1, 2025 00:49 10h 23m 54s
Update .gitignore CI (Coq, Arch Linux) #24: Commit 85cc0da pushed by JasonGross
March 1, 2025 00:49 7h 56m 49s master
master
March 1, 2025 00:49 7h 56m 49s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #23: Scheduled
March 1, 2025 00:38 7h 29m 8s master
master
March 1, 2025 00:38 7h 29m 8s
[HTML] Add support for input and output files (#2014) CI (Coq, Arch Linux) #22: Commit 337a125 pushed by JasonGross
February 28, 2025 17:07 3h 14m 43s master
master
February 28, 2025 17:07 3h 14m 43s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #21: Scheduled
February 1, 2025 00:36 3h 3m 9s master
master
February 1, 2025 00:36 3h 3m 9s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #20: Scheduled
January 1, 2025 00:38 3h 3m 35s master
master
January 1, 2025 00:38 3h 3m 35s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 CI (Coq, Arch Linux) #19: Pull request #70 opened by dependabot bot
December 4, 2024 05:01 3h 5m 31s 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 5m 31s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #18: Scheduled
December 1, 2024 00:44 3h 5m 58s master
master
December 1, 2024 00:44 3h 5m 58s
Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 CI (Coq, Arch Linux) #17: Pull request #69 opened by dependabot bot
November 29, 2024 04:06 3h 3m 17s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
November 29, 2024 04:06 3h 3m 17s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 CI (Coq, Arch Linux) #16: Pull request #68 opened by dependabot bot
November 12, 2024 04:35 3h 4m 37s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 12, 2024 04:35 3h 4m 37s
Bump rewriter from e4d987c to edd0611 (#1981) CI (Coq, Arch Linux) #15: Commit c43d00d pushed by JasonGross
November 11, 2024 04:29 3h 5m 17s master
master
November 11, 2024 04:29 3h 5m 17s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 CI (Coq, Arch Linux) #14: Pull request #67 opened by dependabot bot
November 11, 2024 04:17 2h 58m 25s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 04:17 2h 58m 25s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #13: Scheduled
November 1, 2024 00:37 2h 58m 14s master
master
November 1, 2024 00:37 2h 58m 14s