Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,695 workflow runs
9,695 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 5 to 6 Run full tests #794: Pull request #1404 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1s
Bump actions/checkout from 5 to 6 Run full tests #793: Pull request #1404 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1s
Bump actions/checkout from 5 to 6 Run full tests #792: Pull request #1404 opened by dependabot bot
1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1s
Bump actions/checkout from 5 to 6 Rocq #325: Pull request #1404 opened by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
Bump actions/checkout from 5 to 6 Build and test Lean backend #1793: Pull request #1404 opened by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
Bump actions/checkout from 5 to 6 CI #479: Pull request #1404 opened by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
Bump actions/checkout from 5 to 6 Run full tests #791: Pull request #1404 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1s
Bump actions/checkout from 5 to 6 Run full tests #790: Pull request #1404 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1s
Bump actions/checkout from 5 to 6 Rocq #324: Commit 48082e3 pushed by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
Bump actions/checkout from 5 to 6 Build and test Lean backend #1792: Commit 48082e3 pushed by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
Bump actions/checkout from 5 to 6 CI #478: Commit 48082e3 pushed by dependabot bot
In progress dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
In progress
github_actions in /. - Update #1161804166 Dependabot Updates #9: by dependabot bot
38s master
master
38s
Add reserved_behaviour_strict config and strict mode check for AMOCAS… CI #477: Pull request #1403 opened by challenger1024
Action required challenger1024:amocas
challenger1024:amocas
Action required
Add reserved_behaviour_strict config and strict mode check for AMOCAS… Rocq #323: Pull request #1403 opened by challenger1024
Action required challenger1024:amocas
challenger1024:amocas
Action required
Add reserved_behaviour_strict config and strict mode check for AMOCAS… Run full tests #789: Pull request #1403 opened by challenger1024
Action required challenger1024:amocas
challenger1024:amocas
Action required
Add reserved_behaviour_strict config and strict mode check for AMOCAS… Build and test Lean backend #1791: Pull request #1403 opened by challenger1024
Action required challenger1024:amocas
challenger1024:amocas
Action required
Run full tests Run full tests #788: Scheduled
1h 19m 54s master
master
1h 19m 54s
Scatter termination.sail Run full tests #787: Pull request #1376 synchronize by Ptival
Action required GaloisInc:vr/scatter-termination
GaloisInc:vr/scatter-termination
Action required
Scatter termination.sail Build and test Lean backend #1790: Pull request #1376 synchronize by Ptival
Action required GaloisInc:vr/scatter-termination
GaloisInc:vr/scatter-termination
Action required
Scatter termination.sail CI #476: Pull request #1376 synchronize by Ptival
Action required GaloisInc:vr/scatter-termination
GaloisInc:vr/scatter-termination
Action required
Scatter termination.sail Rocq #322: Pull request #1376 synchronize by Ptival
Action required GaloisInc:vr/scatter-termination
GaloisInc:vr/scatter-termination
Action required
Publish test results Publish test results #4331: completed by trdthg
14s
14s
Publish test results Publish test results #4330: completed by trdthg
19s
19s
Publish test results Publish test results #4329: completed by trdthg
14s
14s
Publish test results Publish test results #4328: completed by github-merge-queue bot
18s
18s