Skip to content

Actions: JasonGross/fiat-crypto

Actions

Test opam package

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test opam package Test opam package #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) Test opam package #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 Test opam package #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) Test opam package #44: Commit 95ea54c pushed by JasonGross
September 3, 2024 07:26 1h 38m 57s master
master
September 3, 2024 07:26 1h 38m 57s
Test opam package Test opam package #43: Scheduled
September 1, 2024 01:45 1h 40m 23s master
master
September 1, 2024 01:45 1h 40m 23s
Bump windows version of ocaml in prep for moving to v3 Test opam package #42: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 5h 20m 44s master
master
August 5, 2024 23:37 5h 20m 44s
Test opam package Test opam package #41: Scheduled
August 1, 2024 00:49 1h 37m 59s master
master
August 1, 2024 00:49 1h 37m 59s
Test opam package Test opam package #40: Scheduled
July 1, 2024 00:48 1h 54m 29s master
master
July 1, 2024 00:48 1h 54m 29s
Test opam package Test opam package #39: Scheduled
June 1, 2024 00:43 1h 45m 25s master
master
June 1, 2024 00:43 1h 45m 25s
Test opam package Test opam package #38: Scheduled
May 1, 2024 00:42 1h 44m 2s master
master
May 1, 2024 00:42 1h 44m 2s
Test opam package Test opam package #37: Scheduled
April 1, 2024 00:41 1h 35m 43s master
master
April 1, 2024 00:41 1h 35m 43s
Test opam package Test opam package #36: Scheduled
March 1, 2024 00:41 1h 37m 27s master
master
March 1, 2024 00:41 1h 37m 27s
Test opam package Test opam package #35: Scheduled
February 1, 2024 00:39 1h 38m 36s master
master
February 1, 2024 00:39 1h 38m 36s
Test opam package Test opam package #34: Scheduled
January 1, 2024 00:43 1h 36m 19s master
master
January 1, 2024 00:43 1h 36m 19s
Test opam package Test opam package #33: Scheduled
December 1, 2023 00:42 1h 34m 3s master
master
December 1, 2023 00:42 1h 34m 3s
Deploy WASM integration to https://mit-plv.github.io/fiat-crypto (#1749) Test opam package #32: Commit ca174d7 pushed by JasonGross
November 25, 2023 00:22 1h 36m 53s master
master
November 25, 2023 00:22 1h 36m 53s
Statically link alpine binaries: -ccopt -static (#1718) Test opam package #31: Commit 2315109 pushed by JasonGross
November 14, 2023 04:53 2h 10m 16s master
master
November 14, 2023 04:53 2h 10m 16s