Skip to content

Actions: watchthelight/HypergraphGo

Actions

CI (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-linux.yml
211 workflow runs
211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(ci): disambiguate fuzz test pattern for FuzzLoadJSON CI (Linux) #211: Commit ea4a2d1 pushed by watchthelight
57s main
main
57s
docs(changelog): document audit & repair implementation CI (Linux) #210: Commit ec40b3f pushed by watchthelight
1m 8s main
main
1m 8s
docs: add Phase 9 plan CI (Linux) #209: Commit f390d80 pushed by watchthelight
1m 2s main
main
1m 2s
chore: ignore asset template file CI (Linux) #208: Commit 40d19b3 pushed by watchthelight
58s main
main
58s
ci: bump docker/build-push-action from 5 to 6 CI (Linux) #207: Pull request #21 opened by dependabot bot
1m 36s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
1m 36s
ci: bump docker/build-push-action from 5 to 6 CI (Linux) #206: Commit aba3b5e pushed by dependabot bot
59s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
59s
ci: bump github/codeql-action from 3 to 4 CI (Linux) #205: Pull request #20 opened by dependabot bot
53s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
53s
ci: bump github/codeql-action from 3 to 4 CI (Linux) #204: Commit 138f889 pushed by dependabot bot
53s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
53s
ci: bump actions/checkout from 4 to 6 CI (Linux) #203: Pull request #19 opened by dependabot bot
56s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
56s
ci: bump actions/checkout from 4 to 6 CI (Linux) #202: Commit e45d014 pushed by dependabot bot
54s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
54s
ci: bump actions/setup-go from 5 to 6 CI (Linux) #201: Pull request #18 opened by dependabot bot
52s dependabot/github_actions/actions/setup-go-6
dependabot/github_actions/actions/setup-go-6
52s
ci: bump actions/setup-go from 5 to 6 CI (Linux) #200: Commit 3d269e1 pushed by dependabot bot
55s dependabot/github_actions/actions/setup-go-6
dependabot/github_actions/actions/setup-go-6
55s
chore: update badges for v1.8.2 CI (Linux) #199: Commit 30ac247 pushed by watchthelight
53s main
main
53s
release: v1.8.2 - Phase 8 soundness fixes CI (Linux) #198: Commit e3544ac pushed by watchthelight
54s v1.8.2
v1.8.2
54s
release: v1.8.2 - Phase 8 soundness fixes CI (Linux) #197: Commit e3544ac pushed by watchthelight
56s main
main
56s
chore: update badges for v1.8.1 CI (Linux) #196: Commit 549b4f0 pushed by watchthelight
53s main
main
53s
chore: update badges for v1.8.1 CI (Linux) #195: Commit 549b4f0 pushed by watchthelight
1m 7s v1.8.1
v1.8.1
1m 7s
chore: update badges with improved coverage (68.9%) CI (Linux) #194: Commit 3a37570 pushed by watchthelight
55s main
main
55s
test: improve coverage for elab and tactics packages CI (Linux) #193: Commit dd390e8 pushed by watchthelight
57s main
main
57s
chore: update badges for 25 releases CI (Linux) #192: Commit 0945640 pushed by watchthelight
52s main
main
52s
docs: add comprehensive ROADMAP.md and link TODO badge CI (Linux) #191: Commit cab4dfe pushed by watchthelight
50s main
main
50s
chore: update version to 1.8.0-pre and regenerate badges CI (Linux) #190: Commit d80f259 pushed by watchthelight
1m 1s main
main
1m 1s
release: v1.8.0-pre - Elaboration and Tactics CI (Linux) #189: Commit 3d313da pushed by watchthelight
57s main
main
57s
release: v1.8.0-pre - Elaboration and Tactics CI (Linux) #188: Commit 3d313da pushed by watchthelight
55s v1.8.0-pre
v1.8.0-pre
55s
release: v1.7.1 - Testing and Documentation CI (Linux) #187: Commit b2a8a7c pushed by watchthelight
51s v1.7.1
v1.7.1
51s