Skip to content

Actions: pulseengine/rules_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI CI #150: Scheduled
18m 15s main
main
18m 15s
CI CI #149: Scheduled
21m 12s main
main
21m 12s
[mutant 5/5] add(): unsafe raw-ptr deref (expect: translation failure) CI #148: Pull request #29 opened by avrabe
1h 25m 53s experiment/mutant-5-unsafe
experiment/mutant-5-unsafe
1h 25m 53s
[mutant 4/5] add(): commute operands (expect: survives, equivalent) CI #147: Pull request #28 opened by avrabe
1h 30m 32s experiment/mutant-4-commute
experiment/mutant-4-commute
1h 30m 32s
[mutant 3/5] identity(): +1 (expect: killed) CI #146: Pull request #27 opened by avrabe
1h 11m 30s experiment/mutant-3-const
experiment/mutant-3-const
1h 11m 30s
[mutant 2/5] add(): drop y term (expect: killed) CI #145: Pull request #26 opened by avrabe
1h 30m 48s experiment/mutant-2-drop-term
experiment/mutant-2-drop-term
1h 30m 48s
[mutant 1/5] add(): + -> - (expect: killed) CI #144: Pull request #25 opened by avrabe
1h 20m 32s experiment/mutant-1-arith-swap
experiment/mutant-1-arith-swap
1h 20m 32s
CI CI #143: Scheduled
16m 59s main
main
16m 59s
chore(deps): bump actions/cache from 4 to 6 (#22) CI #142: Commit f18e2e4 pushed by avrabe
30m 51s main
main
30m 51s
chore(deps): bump actions/checkout from 4 to 7 (#21) CI #141: Commit 4cc56d3 pushed by avrabe
20m 51s main
main
20m 51s
CI CI #140: Scheduled
32m 14s main
main
32m 14s
CI CI #139: Scheduled
23m 17s main
main
23m 17s
chore(deps): bump actions/cache from 4 to 6 CI #138: Pull request #22 opened by dependabot Bot
29m 18s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
29m 18s
chore(deps): bump actions/checkout from 4 to 7 CI #137: Pull request #21 opened by dependabot Bot
28m 35s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
28m 35s
github_actions in /. - Update #1484162324 Dependabot Updates #11: by dependabot Bot
32s main
main
32s
CI CI #136: Scheduled
20m 34s main
main
20m 34s
CI CI #135: Scheduled
17m 2s main
main
17m 2s
CI CI #134: Scheduled
19m 36s main
main
19m 36s
CI CI #133: Scheduled
3h 33m 1s main
main
3h 33m 1s
CI CI #132: Scheduled
54m 31s main
main
54m 31s
test(aeneas): coverage guard — real relay primitive (CRC32) (#20) CI #131: Commit 37293a6 pushed by avrabe
3h 8m 17s main
main
3h 8m 17s
test(aeneas): coverage guard — real relay primitive (CRC32) CI #130: Pull request #20 synchronize by avrabe
1h 49m 41s experiment/aeneas-relay-coverage
experiment/aeneas-relay-coverage
1h 49m 41s
CI CI #129: Scheduled
20m 1s main
main
20m 1s
CI CI #128: Scheduled
32m 0s main
main
32m 0s
github_actions in /. - Update #1466747227 Dependabot Updates #10: by dependabot Bot
37s main
main
37s