Skip to content

Actions: seL4/l4v

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

c-parser: handle sed backup files uniformly in mkrelease Trigger #25: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 9s master
master
October 11, 2024 03:37 9s
c-parser: make table.ML depend on Makefile Trigger #24: Commit 6ab6513 pushed by corlewis
June 12, 2024 03:25 10s master
master
June 12, 2024 03:25 10s
clib+crefine+asmrefine: Simpl update Trigger #23: Commit 36c4a43 pushed by lsf37
March 15, 2024 12:13 11s master
master
March 15, 2024 12:13 11s
Ensure that umm_types.txt is saved relative to theory file. (#674) Trigger #22: Commit 99c79b5 pushed by lsf37
January 27, 2024 07:47 12s master
master
January 27, 2024 07:47 12s
If cpp_path is relative, make it relative to the current theory. (#676) Trigger #21: Commit c71c31d pushed by lsf37
January 27, 2024 07:41 9s master
master
January 27, 2024 07:41 9s
c-parser: turn README into main C-parser website Trigger #20: Commit c84bb14 pushed by lsf37
January 17, 2024 04:21 10s master
master
January 17, 2024 04:21 10s
autocorres: bring CONTRIBUTORS file up to date Trigger #19: Commit 03e4ef9 pushed by lsf37
November 3, 2023 03:00 17s master
master
November 3, 2023 03:00 17s
word lib: fix broken style introduced from AFP Trigger #18: Commit ad24d95 pushed by lsf37
October 6, 2023 04:21 13s master
master
October 6, 2023 04:21 13s