Skip to content

Actions: argumentcomputer/lean4-nix

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes (#6) Nix CI #18: Commit 29b86ca pushed by samuelburnham
March 5, 2025 12:17 3m 55s dev
dev
March 5, 2025 12:17 3m 55s
Cache v4.16.0 Nix CI #17: Commit a3a7d01 pushed by samuelburnham
March 5, 2025 01:42 32m 30s v4.16.0
v4.16.0
March 5, 2025 01:42 32m 30s
fix: Nixpkgs versions Nix CI #16: Commit 1b3593e pushed by samuelburnham
March 5, 2025 01:40 4m 11s fixes
fixes
March 5, 2025 01:40 4m 11s
Test workflow Nix CI #15: Commit a9b5011 pushed by samuelburnham
March 5, 2025 01:31 3m 57s fixes
fixes
March 5, 2025 01:31 3m 57s
Nix CI Nix CI #14: Manually run by samuelburnham
March 5, 2025 00:37 3m 46s dev
dev
March 5, 2025 00:37 3m 46s
Nix CI Nix CI #13: Manually run by samuelburnham
March 4, 2025 23:19 10m 48s dev
dev
March 4, 2025 23:19 10m 48s
Nix CI Nix CI #12: Manually run by samuelburnham
March 4, 2025 22:55 14m 50s dev
dev
March 4, 2025 22:55 14m 50s
chore: Build on dev (#5) Nix CI #11: Commit 17e862c pushed by samuelburnham
March 4, 2025 22:23 16m 50s dev
dev
March 4, 2025 22:23 16m 50s
Nix CI Nix CI #10: Manually run by samuelburnham
March 4, 2025 18:37 14m 28s dev
dev
March 4, 2025 18:37 14m 28s
chore: Release v4.17.0 (#2) Nix CI #9: Commit c4ebb18 pushed by samuelburnham
March 4, 2025 17:18 18m 58s main
main
March 4, 2025 17:18 18m 58s
chore: Add LSpec template Nix CI #8: Pull request #1 synchronize by samuelburnham
February 28, 2025 05:29 22s lake-template
lake-template
February 28, 2025 05:29 22s
chore: Add LSpec template Nix CI #7: Pull request #1 synchronize by samuelburnham
February 28, 2025 05:27 32s lake-template
lake-template
February 28, 2025 05:27 32s
chore: Add LSpec template Nix CI #6: Pull request #1 synchronize by samuelburnham
February 25, 2025 20:29 2m 28s lake-template
lake-template
February 25, 2025 20:29 2m 28s
chore: Add LSpec template Nix CI #5: Pull request #1 synchronize by samuelburnham
February 21, 2025 21:04 1m 23s lake-template
lake-template
February 21, 2025 21:04 1m 23s
chore: Add LSpec template Nix CI #4: Pull request #1 synchronize by samuelburnham
February 21, 2025 20:42 1m 57s lake-template
lake-template
February 21, 2025 20:42 1m 57s
chore: Add LSpec template Nix CI #3: Pull request #1 synchronize by samuelburnham
February 21, 2025 20:41 1m 5s lake-template
lake-template
February 21, 2025 20:41 1m 5s
chore: Add LSpec template Nix CI #2: Pull request #1 synchronize by samuelburnham
February 21, 2025 20:29 3m 14s lake-template
lake-template
February 21, 2025 20:29 3m 14s
ci: Cache Lean packages in Cachix Nix CI #1: Commit 056fc02 pushed by samuelburnham
February 19, 2025 21:42 4m 23s main
main
February 19, 2025 21:42 4m 23s