Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1014188000 Dependabot Updates #9: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1010340153 Dependabot Updates #8: by dependabot Bot
38s main
main
38s
Position independent code (#18) CI #38: Commit 0e60b1d pushed by gabriel-barrett
1m 14s main
main
1m 14s
Position independent code CI #37: Pull request #18 opened by gabriel-barrett
3m 31s fPIC
fPIC
3m 31s
github_actions in /. - Update #1005619223 Dependabot Updates #7: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1005598283 Dependabot Updates #6: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1001801005 Dependabot Updates #5: by dependabot Bot
40s main
main
40s
github_actions in /. - Update #997978638 Dependabot Updates #4: by dependabot Bot
35s main
main
35s
chore: Bump Blake3 to v1.8.1 CI #36: Pull request #17 opened by samuelburnham
1m 58s blake3-1.8.1
blake3-1.8.1
1m 58s
chore: Bump Lean to v4.18.0 (#16) CI #35: Commit 7ebac27 pushed by samuelburnham
1m 31s main
main
1m 31s
chore: Bump Lean to v4.18.0 CI #34: Pull request #16 synchronize by samuelburnham
2m 10s lean-4.18.0
lean-4.18.0
2m 10s
chore: Bump Lean to v4.18.0 CI #33: Pull request #16 opened by samuelburnham
2m 5s lean-4.18.0
lean-4.18.0
2m 5s
github_actions in /. - Update #994120915 Dependabot Updates #3: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #993114575 Dependabot Updates #2: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #993114560 Dependabot Updates #1: by dependabot Bot
33s main
main
33s
chore: Simplify Nix build (#15) CI #32: Commit 929682f pushed by samuelburnham
1m 21s main
main
1m 21s
chore: Simplify Nix build CI #31: Pull request #15 synchronize by samuelburnham
2m 1s nix-flake
nix-flake
2m 1s
chore: Simplify Nix build CI #30: Pull request #15 synchronize by samuelburnham
24s nix-flake
nix-flake
24s
chore: Simplify Nix build CI #29: Pull request #15 opened by samuelburnham
33s nix-flake
nix-flake
33s
add precompile flag to build (#14) CI #28: Commit a5478a8 pushed by johnchandlerburnham
1m 27s main
main
1m 27s
add precompile flag to build CI #27: Pull request #14 opened by johnchandlerburnham
2m 46s jcb/precompile
jcb/precompile
2m 46s