Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Edwards point doubling for X25519 CI (Coq, Debian) #68: Pull request #1642 opened by bMacSwigg
August 25, 2023 18:39 8h 29m 12s bMacSwigg:double
bMacSwigg:double
August 25, 2023 18:39 8h 29m 12s
Pipe through carry_sub function CI (Coq, Debian) #67: Pull request #1641 opened by bMacSwigg
August 25, 2023 18:11 7h 40m 28s bMacSwigg:carry_sub
bMacSwigg:carry_sub
August 25, 2023 18:11 7h 40m 28s
Bump rupicola from 3cd33c8 to 1c6bef7 (#1639) CI (Coq, Debian) #66: Commit 5978c17 pushed by dependabot bot
August 25, 2023 05:18 8h 12m 14s master
master
August 25, 2023 05:18 8h 12m 14s
Bump rupicola from 3cd33c8 to 1c6bef7 CI (Coq, Debian) #65: Pull request #1639 opened by dependabot bot
August 24, 2023 21:21 7h 57m 8s dependabot/submodules/rupicola-1c6bef7
dependabot/submodules/rupicola-1c6bef7
August 24, 2023 21:21 7h 57m 8s
Saturated arithmetic experiment CI (Coq, Debian) #64: Pull request #1609 synchronize by andres-erbsen
August 23, 2023 21:29 31s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 23, 2023 21:29 31s
Saturated arithmetic experiment CI (Coq, Debian) #63: Pull request #1609 synchronize by andres-erbsen
August 23, 2023 12:27 34s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 23, 2023 12:27 34s
Saturated arithmetic experiment CI (Coq, Debian) #62: Pull request #1609 synchronize by andres-erbsen
August 22, 2023 12:16 32s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 22, 2023 12:16 32s
Rust: Create newtype structs for typedefs CI (Coq, Debian) #61: Pull request #1623 synchronize by divergentdave
August 22, 2023 02:21 8h 4m 22s divergentdave:rust-typedef-newtypes
divergentdave:rust-typedef-newtypes
August 22, 2023 02:21 8h 4m 22s
Rust: Create newtype structs for typedefs CI (Coq, Debian) #59: Pull request #1623 synchronize by divergentdave
August 22, 2023 01:52 15s divergentdave:rust-typedef-newtypes
divergentdave:rust-typedef-newtypes
August 22, 2023 01:52 15s
Saturated arithmetic experiment CI (Coq, Debian) #58: Pull request #1609 synchronize by andres-erbsen
August 21, 2023 21:04 32s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 21, 2023 21:04 32s
Saturated arithmetic experiment CI (Coq, Debian) #57: Pull request #1609 synchronize by andres-erbsen
August 21, 2023 19:02 40s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 21, 2023 19:02 40s
Use carry_add in AddPrecomputed CI (Coq, Debian) #56: Commit 42e5455 pushed by andres-erbsen
August 19, 2023 00:25 9h 1m 2s master
master
August 19, 2023 00:25 9h 1m 2s
Use carry_add in AddPrecomputed CI (Coq, Debian) #55: Pull request #1638 opened by bMacSwigg
August 18, 2023 16:48 7h 36m 49s bMacSwigg:add
bMacSwigg:add
August 18, 2023 16:48 7h 36m 49s
Bump rupicola from 3cd33c8 to 1ba5c2e CI (Coq, Debian) #54: Pull request #1637 opened by dependabot bot
August 18, 2023 16:12 7h 3m 0s dependabot/submodules/rupicola-1ba5c2e
dependabot/submodules/rupicola-1ba5c2e
August 18, 2023 16:12 7h 3m 0s
Pipe through carry_add function (#1635) CI (Coq, Debian) #53: Commit b9bf8fe pushed by andres-erbsen
August 18, 2023 14:05 8h 6m 7s master
master
August 18, 2023 14:05 8h 6m 7s
Pipe through carry_add function CI (Coq, Debian) #52: Pull request #1635 synchronize by bMacSwigg
August 17, 2023 15:46 8h 14m 37s bMacSwigg:carry_add
bMacSwigg:carry_add
August 17, 2023 15:46 8h 14m 37s
Bump actions/setup-java from 3.11.0 to 3.12.0 (#1624) CI (Coq, Debian) #51: Commit 248bf0c pushed by dependabot bot
August 17, 2023 06:03 8h 13m 26s master
master
August 17, 2023 06:03 8h 13m 26s
Bump actions/setup-java from 3.11.0 to 3.12.0 CI (Coq, Debian) #50: Pull request #1624 synchronize by dependabot bot
August 16, 2023 21:50 8h 12m 59s dependabot/github_actions/actions/setup-java-3.12.0
dependabot/github_actions/actions/setup-java-3.12.0
August 16, 2023 21:50 8h 12m 59s
Pipe through carry_add function CI (Coq, Debian) #49: Pull request #1635 synchronize by bMacSwigg
August 16, 2023 18:16 2h 36m 38s bMacSwigg:carry_add
bMacSwigg:carry_add
August 16, 2023 18:16 2h 36m 38s
Saturated arithmetic experiment CI (Coq, Debian) #48: Pull request #1609 synchronize by andres-erbsen
August 15, 2023 21:33 30s andres-erbsen:saturated-experiment
andres-erbsen:saturated-experiment
August 15, 2023 21:33 30s
Merge pull request #1631 from samuelgruetter/bedrock2_complete_wp CI (Coq, Debian) #47: Commit d0f0305 pushed by andres-erbsen
August 15, 2023 16:20 8h 8m 48s master
master
August 15, 2023 16:20 8h 8m 48s
Print more casts when stringification fails (#1634) CI (Coq, Debian) #46: Commit 07de4cf pushed by JasonGross
August 15, 2023 02:27 8h 9m 42s master
master
August 15, 2023 02:27 8h 9m 42s
Print more casts when stringification fails CI (Coq, Debian) #45: Pull request #1634 opened by JasonGross
August 14, 2023 21:33 7h 2m 1s JasonGross:more-casts
JasonGross:more-casts
August 14, 2023 21:33 7h 2m 1s
update to a rupicola/bedrock2 where wp is complete wrt exec CI (Coq, Debian) #44: Pull request #1631 synchronize by samuelgruetter
August 14, 2023 19:52 8h 27m 39s samuelgruetter:bedrock2_complete_wp
samuelgruetter:bedrock2_complete_wp
August 14, 2023 19:52 8h 27m 39s
update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian CI (Coq, Debian) #43: Commit eb9e5bc pushed by samuelgruetter
August 14, 2023 19:45 8h 5m 12s master
master
August 14, 2023 19:45 8h 5m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.