Skip to content

Actions: GaloisInc/bv-sized

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Bump haskell-ci from v1.2 to v1.7 (via v1 tag)
Test #11: Commit 45b302f pushed by langston-barrett
April 17, 2025 19:37 6m 13s master
April 17, 2025 19:37 6m 13s
ci: Bump haskell-ci from v1.2 to v1.7 (via v1 tag)
Test #10: Pull request #37 synchronize by langston-barrett
April 17, 2025 19:37 6m 28s bump-haskell-ci
April 17, 2025 19:37 6m 28s
ci: Bump haskell-ci from v1.2 to v1.7 (via v1 tag)
Test #9: Pull request #37 opened by langston-barrett
April 17, 2025 19:35 6m 29s bump-haskell-ci
April 17, 2025 19:35 6m 29s
ci: Use haskell-ci reusable workflow
Test #8: Commit cf29ee8 pushed by langston-barrett
April 9, 2025 16:57 6m 51s master
April 9, 2025 16:57 6m 51s
ci: Use haskell-ci reusable workflow
Test #7: Pull request #36 opened by langston-barrett
April 9, 2025 15:40 6m 42s haskell-ci
April 9, 2025 15:40 6m 42s
README: Cleanup
Test #6: Commit e43b4d3 pushed by langston-barrett
March 27, 2025 16:44 2m 35s master
March 27, 2025 16:44 2m 35s
README: Cleanup
Test #5: Pull request #35 synchronize by langston-barrett
March 27, 2025 16:44 2m 43s readme-cleanup
March 27, 2025 16:44 2m 43s
README: Cleanup
Test #4: Pull request #35 opened by langston-barrett
March 27, 2025 14:59 2m 41s readme-cleanup
March 27, 2025 14:59 2m 41s
March 27, 2025 13:52 7m 7s
ci: Initial GitHub Actions configuration
Test #2: Pull request #34 synchronize by langston-barrett
March 27, 2025 13:48 3m 6s gh-actions
March 27, 2025 13:48 3m 6s
ci: Initial GitHub Actions configuration
Test #1: Pull request #34 opened by langston-barrett
March 27, 2025 13:24 7m 5s gh-actions
March 27, 2025 13:24 7m 5s