Skip to content

Actions: argumentcomputer/LSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Update Lean to v4.21.0 (#61) CI Tests #24: Commit db76512 pushed by samuelburnham
August 8, 2025 20:48 2m 14s main
main
August 8, 2025 20:48 2m 14s
chore: Update Lean to v4.21.0 CI Tests #23: Pull request #61 synchronize by samuelburnham
August 8, 2025 20:32 2m 14s lenianiva:version/4.21.0
lenianiva:version/4.21.0
August 8, 2025 20:32 2m 14s
chore: Update Lean to v4.21.0 CI Tests #22: Pull request #61 synchronize by samuelburnham
August 8, 2025 20:29 1m 59s lenianiva:version/4.21.0
lenianiva:version/4.21.0
August 8, 2025 20:29 1m 59s
Update flake.lock CI Tests #21: Commit 3a0db66 pushed by samuelburnham
August 8, 2025 20:24 2m 28s 61-lean4-nix
61-lean4-nix
August 8, 2025 20:24 2m 28s
Accept flake config CI Tests #20: Commit 358061d pushed by samuelburnham
August 8, 2025 13:44 1m 47s 61-lean4-nix
61-lean4-nix
August 8, 2025 13:44 1m 47s
Test CI CI Tests #19: Commit ceaba89 pushed by samuelburnham
August 8, 2025 13:35 8m 18s 61-lean4-nix
61-lean4-nix
August 8, 2025 13:35 8m 18s
chore: Update Lean to v4.21.0 CI Tests #18: Pull request #61 synchronize by lenianiva
August 7, 2025 22:56 30m 6s lenianiva:version/4.21.0
lenianiva:version/4.21.0
August 7, 2025 22:56 30m 6s
chore: Update Lean to v4.21.0 CI Tests #17: Pull request #61 synchronize by lenianiva
August 6, 2025 20:46 29s lenianiva:version/4.21.0
lenianiva:version/4.21.0
August 6, 2025 20:46 29s
chore: Bump Lean to v4.18.0 (#58) CI Tests #15: Commit 24cceb6 pushed by samuelburnham
April 9, 2025 14:01 1m 38s main
main
April 9, 2025 14:01 1m 38s
chore: Bump Lean to v4.18.0 CI Tests #14: Pull request #58 synchronize by samuelburnham
April 9, 2025 13:53 1m 28s lean-4.18.0
lean-4.18.0
April 9, 2025 13:53 1m 28s
chore: Bump Lean to v4.18.0 CI Tests #13: Pull request #58 opened by samuelburnham
April 9, 2025 13:18 1m 49s lean-4.18.0
lean-4.18.0
April 9, 2025 13:18 1m 49s
feat: Add Nix flake (#52) CI Tests #12: Commit a6652a4 pushed by samuelburnham
March 14, 2025 01:24 1m 34s main
main
March 14, 2025 01:24 1m 34s
feat: Add Nix flake CI Tests #11: Pull request #52 synchronize by samuelburnham
March 14, 2025 01:21 2m 9s sb/nix-flake
sb/nix-flake
March 14, 2025 01:21 2m 9s
feat: accept a configuration for property tests with SlimCheck (#57) CI Tests #10: Commit f9bb7ad pushed by arthurpaulino
March 13, 2025 16:05 25s main
main
March 13, 2025 16:05 25s
feat: Add Nix flake CI Tests #9: Pull request #52 synchronize by samuelburnham
March 13, 2025 15:20 1m 43s sb/nix-flake
sb/nix-flake
March 13, 2025 15:20 1m 43s
feat: accept a configuration for property tests with SlimCheck CI Tests #8: Pull request #57 opened by arthurpaulino
March 12, 2025 19:39 22s ap/proptest-with-cfg
ap/proptest-with-cfg
March 12, 2025 19:39 22s
fix: use correct bounds for oneOf and elements (#56) CI Tests #7: Commit 0f9008e pushed by arthurpaulino
March 6, 2025 18:47 25s main
main
March 6, 2025 18:47 25s
fix: use correct bounds for oneOf and elements CI Tests #6: Pull request #56 synchronize by arthurpaulino
March 6, 2025 16:05 24s ap/fix-gen
ap/fix-gen
March 6, 2025 16:05 24s
fix: use correct bounds for oneOf and elements CI Tests #5: Pull request #56 synchronize by arthurpaulino
March 6, 2025 16:02 26s ap/fix-gen
ap/fix-gen
March 6, 2025 16:02 26s
fix: use correct bounds for oneOf and elements CI Tests #4: Pull request #56 opened by arthurpaulino
March 6, 2025 15:56 27s ap/fix-gen
ap/fix-gen
March 6, 2025 15:56 27s
Merge pull request #54 from argumentcomputer/ap/bump-lean CI Tests #3: Commit 8ff5984 pushed by arthurpaulino
March 4, 2025 10:10 32s main
main
March 4, 2025 10:10 32s
chore: bump Lean to v4.17.0 CI Tests #2: Pull request #54 synchronize by arthurpaulino
March 3, 2025 23:19 26s ap/bump-lean
ap/bump-lean
March 3, 2025 23:19 26s
feat: Add Nix flake CI Tests #1: Pull request #52 opened by samuelburnham
February 28, 2025 05:21 1m 33s sb/nix-flake
sb/nix-flake
February 28, 2025 05:21 1m 33s