Skip to content

Actions: Iltotore/iron

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

ci.yml
281 workflow runs
281 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
docs: Add Marss as adopter (#223) CI #465: Commit 6bb6bfa pushed by Iltotore
February 13, 2024 16:00 2m 19s main
main
February 13, 2024 16:00 2m 19s
Add adopter CI #464: Pull request #223 synchronize by rayandfz
February 13, 2024 15:56 2m 14s rayandfz:main
rayandfz:main
February 13, 2024 15:56 2m 14s
feat: Support first order types CI #462: Pull request #222 synchronize by Iltotore
February 13, 2024 10:24 2m 15s feat/first-order-types
feat/first-order-types
February 13, 2024 10:24 2m 15s
docs: Add "Refining first order types" section CI #461: Commit 7d83d1f pushed by Iltotore
February 13, 2024 10:24 2m 16s feat/first-order-types
feat/first-order-types
February 13, 2024 10:24 2m 16s
feat: Support first order types CI #460: Pull request #222 opened by Iltotore
February 12, 2024 14:43 2m 18s feat/first-order-types
feat/first-order-types
February 12, 2024 14:43 2m 18s
feat: Add "all" refinement methods CI #459: Commit fdbc756 pushed by Iltotore
February 12, 2024 14:30 2m 26s feat/first-order-types
feat/first-order-types
February 12, 2024 14:30 2m 26s
dev: Add "all" refinement methods CI #458: Commit 3815159 pushed by Iltotore
February 12, 2024 06:28 51s feat/first-order-types
feat/first-order-types
February 12, 2024 06:28 51s
build(deps): bump actions/deploy-pages from 4.0.3 to 4.0.4 CI #457: Pull request #221 opened by dependabot bot
February 12, 2024 05:45 2m 15s dependabot/github_actions/actions/deploy-pages-4.0.4
dependabot/github_actions/actions/deploy-pages-4.0.4
February 12, 2024 05:45 2m 15s
build(deps): bump actions/deploy-pages from 4.0.3 to 4.0.4 CI #456: Commit 9397f0e pushed by dependabot bot
February 12, 2024 05:45 2m 16s dependabot/github_actions/actions/deploy-pages-4.0.4
dependabot/github_actions/actions/deploy-pages-4.0.4
February 12, 2024 05:45 2m 16s
build(deps): bump actions/upload-pages-artifact from 3.0.0 to 3.0.1 CI #455: Pull request #220 opened by dependabot bot
February 12, 2024 05:45 2m 14s dependabot/github_actions/actions/upload-pages-artifact-3.0.1
dependabot/github_actions/actions/upload-pages-artifact-3.0.1
February 12, 2024 05:45 2m 14s
build(deps): bump actions/upload-pages-artifact from 3.0.0 to 3.0.1 CI #454: Commit 6c38d72 pushed by dependabot bot
February 12, 2024 05:45 2m 38s dependabot/github_actions/actions/upload-pages-artifact-3.0.1
dependabot/github_actions/actions/upload-pages-artifact-3.0.1
February 12, 2024 05:45 2m 38s
feat: Improve performance of arbitraries (#207) CI #453: Commit 8eca597 pushed by Iltotore
February 5, 2024 16:01 2m 18s main
main
February 5, 2024 16:01 2m 18s
build(deps): bump actions/deploy-pages from 4.0.2 to 4.0.3 (#217) CI #452: Commit 725f269 pushed by Iltotore
February 5, 2024 10:29 2m 19s main
main
February 5, 2024 10:29 2m 19s
build(deps): bump actions/checkout from 2 to 4 (#218) CI #451: Commit e4ae8ca pushed by Iltotore
February 5, 2024 10:26 2m 20s main
main
February 5, 2024 10:26 2m 20s
build(deps): bump actions/checkout from 2 to 4 CI #450: Pull request #218 synchronize by dependabot bot
February 5, 2024 10:20 2m 20s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 5, 2024 10:20 2m 20s
build(deps): bump actions/checkout from 2 to 4 CI #449: Commit 89e47e9 pushed by dependabot bot
February 5, 2024 10:20 2m 20s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 5, 2024 10:20 2m 20s
build(deps): bump actions/setup-java from 3 to 4 (#219) CI #448: Commit a1ac1ae pushed by Iltotore
February 5, 2024 10:19 2m 13s main
main
February 5, 2024 10:19 2m 13s
build(deps): bump actions/setup-java from 3 to 4 CI #447: Pull request #219 opened by dependabot bot
February 5, 2024 10:16 2m 8s dependabot/github_actions/actions/setup-java-4
dependabot/github_actions/actions/setup-java-4
February 5, 2024 10:16 2m 8s
build(deps): bump actions/setup-java from 3 to 4 CI #446: Commit cbfdde5 pushed by dependabot bot
February 5, 2024 10:16 2m 19s dependabot/github_actions/actions/setup-java-4
dependabot/github_actions/actions/setup-java-4
February 5, 2024 10:16 2m 19s
build(deps): bump actions/checkout from 2 to 4 CI #445: Pull request #218 opened by dependabot bot
February 5, 2024 10:16 2m 10s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 5, 2024 10:16 2m 10s
build(deps): bump actions/checkout from 2 to 4 CI #444: Commit e7de1c9 pushed by dependabot bot
February 5, 2024 10:16 2m 11s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 5, 2024 10:16 2m 11s
build(deps): bump actions/deploy-pages from 4.0.2 to 4.0.3 CI #443: Pull request #217 opened by dependabot bot
February 5, 2024 10:16 2m 16s dependabot/github_actions/actions/deploy-pages-4.0.3
dependabot/github_actions/actions/deploy-pages-4.0.3
February 5, 2024 10:16 2m 16s
build(deps): bump actions/deploy-pages from 4.0.2 to 4.0.3 CI #442: Commit 5c90ef6 pushed by dependabot bot
February 5, 2024 10:16 2m 15s dependabot/github_actions/actions/deploy-pages-4.0.3
dependabot/github_actions/actions/deploy-pages-4.0.3
February 5, 2024 10:16 2m 15s
ci: Add dependabot.yml for update github actions (#216) CI #441: Commit 106db33 pushed by Iltotore
February 5, 2024 10:15 2m 14s main
main
February 5, 2024 10:15 2m 14s
add dependabot.yml for update github actions CI #440: Pull request #216 opened by xuwei-k
February 5, 2024 00:28 2m 23s xuwei-k:patch-1
xuwei-k:patch-1
February 5, 2024 00:28 2m 23s