Skip to content

Actions: argumentcomputer/LSpec

Actions

CI Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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