Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
553 workflow runs
553 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monads: improve style and consistency of nondet and trace PR #2283: Pull request #672 opened by corlewis
October 5, 2023 02:20 1m 4s corlewis:monads_style
corlewis:monads_style
October 5, 2023 02:20 1m 4s
Progress on completing the trace monad rule set PR #2282: Pull request #667 synchronize by corlewis
October 5, 2023 00:28 59s corlewis:trace_more_rules
corlewis:trace_more_rules
October 5, 2023 00:28 59s
Remove uses of _tac methods from nondet PR #2281: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 1m 1s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 30, 2023 09:59 1m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-09-30 or the other filters available.