Skip to content

Actions: jtcoolen/ocaml-pari

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip github pages #55: Commit 3de8dbf pushed by jtcoolen
June 10, 2024 21:21 13m 36s main
main
June 10, 2024 21:21 13m 36s
fix typing issue github pages #54: Commit a303608 pushed by jtcoolen
March 12, 2024 21:26 10m 40s main
main
March 12, 2024 21:26 10m 40s
fix typing issue Main workflow #136: Commit a303608 pushed by jtcoolen
March 12, 2024 21:26 14m 34s main
main
March 12, 2024 21:26 14m 34s
pages build and deployment pages-build-deployment #18: by github-pages bot
March 12, 2024 20:35 47s gh-pages
gh-pages
March 12, 2024 20:35 47s
fix typing issue Main workflow #135: Commit 8b6c50a pushed by jtcoolen
March 12, 2024 20:22 28m 41s main
main
March 12, 2024 20:22 28m 41s
fix typing issue github pages #53: Commit 8b6c50a pushed by jtcoolen
March 12, 2024 20:22 13m 27s main
main
March 12, 2024 20:22 13m 27s
fix typing issue Main workflow #134: Commit 562a076 pushed by jtcoolen
March 12, 2024 14:38 29m 57s macos-nix
macos-nix
March 12, 2024 14:38 29m 57s
. Main workflow #133: Commit 7b68531 pushed by jtcoolen
March 12, 2024 00:41 23m 22s macos-nix
macos-nix
March 12, 2024 00:41 23m 22s
. Main workflow #132: Commit f683209 pushed by jtcoolen
March 12, 2024 00:34 28m 47s macos-nix
macos-nix
March 12, 2024 00:34 28m 47s
pages build and deployment pages-build-deployment #17: by github-pages bot
March 3, 2024 16:05 47s gh-pages
gh-pages
March 3, 2024 16:05 47s
add ocamlformat in nix flake Main workflow #131: Commit 1a61d0f pushed by jtcoolen
March 3, 2024 16:05 33m 4s main
main
March 3, 2024 16:05 33m 4s
add ocamlformat in nix flake github pages #52: Commit 1a61d0f pushed by jtcoolen
March 3, 2024 16:05 10m 52s main
main
March 3, 2024 16:05 10m 52s
no flambda in nix flake+update broken link Main workflow #130: Commit 8147cbb pushed by jtcoolen
March 3, 2024 15:52 35m 44s main
main
March 3, 2024 15:52 35m 44s
no flambda in nix flake+update broken link github pages #51: Commit 8147cbb pushed by jtcoolen
March 3, 2024 15:52 13m 54s main
main
March 3, 2024 15:52 13m 54s
Pohlig-Hellman for solving discrete logs github pages #50: Commit 768b7c6 pushed by jtcoolen
December 27, 2023 13:37 9m 54s main
main
December 27, 2023 13:37 9m 54s
Pohlig-Hellman for solving discrete logs Main workflow #129: Commit 768b7c6 pushed by jtcoolen
December 27, 2023 13:37 19m 51s main
main
December 27, 2023 13:37 19m 51s
pages build and deployment pages-build-deployment #16: by github-pages bot
December 27, 2023 10:33 48s gh-pages
gh-pages
December 27, 2023 10:33 48s
Pohlig-Hellman for solving discrete logs Main workflow #128: Commit 12ab432 pushed by jtcoolen
December 27, 2023 10:31 33m 54s main
main
December 27, 2023 10:31 33m 54s
Pohlig-Hellman for solving discrete logs github pages #49: Commit 12ab432 pushed by jtcoolen
December 27, 2023 10:31 10m 31s main
main
December 27, 2023 10:31 10m 31s
Pohlig-Hellman for solving discrete logs Main workflow #127: Commit 0bfdaa4 pushed by jtcoolen
December 27, 2023 10:21 23m 53s main
main
December 27, 2023 10:21 23m 53s
Pohlig-Hellman for solving discrete logs github pages #48: Commit 0bfdaa4 pushed by jtcoolen
December 27, 2023 10:21 13m 27s main
main
December 27, 2023 10:21 13m 27s
Pohlig-Hellman for solving discrete logs github pages #47: Commit 06dd064 pushed by jtcoolen
December 27, 2023 10:19 13m 38s main
main
December 27, 2023 10:19 13m 38s
Pohlig-Hellman for solving discrete logs Main workflow #126: Commit 06dd064 pushed by jtcoolen
December 27, 2023 10:19 28m 3s main
main
December 27, 2023 10:19 28m 3s
pages build and deployment pages-build-deployment #15: by github-pages bot
December 7, 2023 11:32 54s gh-pages
gh-pages
December 7, 2023 11:32 54s
tiny clean-up Main workflow #125: Commit b879d3b pushed by jtcoolen
December 7, 2023 11:22 23m 35s main
main
December 7, 2023 11:22 23m 35s