Skip to content

Actions: secure-foundations/leaf

Actions

Build CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more core rules cleanup Build CI #13: Commit d0d657b pushed by tjhance
November 27, 2024 01:27 12m 24s main
main
November 27, 2024 01:27 12m 24s
support Iris 4.3.0, Coq 8.20.0 Build CI #12: Commit 7a43302 pushed by tjhance
October 31, 2024 20:29 12m 14s main
main
October 31, 2024 20:29 12m 14s
support Iris 4.3.0, Coq 8.20.0 Build CI #11: Commit 6c1a157 pushed by tjhance
October 31, 2024 17:02 12m 18s main
main
October 31, 2024 17:02 12m 18s
sp_own_and Build CI #10: Commit fe82fc7 pushed by tjhance
October 4, 2024 21:20 12m 6s main
main
October 4, 2024 21:20 12m 6s
add wp_load_shared for HeapLang Build CI #9: Commit f873eae pushed by tjhance
September 15, 2024 21:14 12m 24s main
main
September 15, 2024 21:14 12m 24s
unify and cleanup the protocol interfaces Build CI #8: Commit 0b35ec3 pushed by tjhance
September 15, 2024 01:26 10m 56s main
main
September 15, 2024 01:26 10m 56s
Create ci.yml Build CI #7: Commit 649b8c1 pushed by tjhance
September 14, 2024 15:00 10m 44s main
main
September 14, 2024 15:00 10m 44s
Create ci.yml Build CI #6: Commit f068d37 pushed by tjhance
September 14, 2024 14:41 9m 33s main
main
September 14, 2024 14:41 9m 33s
Create ci.yml Build CI #5: Commit 33ddad3 pushed by tjhance
September 14, 2024 14:27 9m 13s main
main
September 14, 2024 14:27 9m 13s
Create ci.yml Build CI #4: Commit 041acff pushed by tjhance
September 14, 2024 14:23 1m 27s main
main
September 14, 2024 14:23 1m 27s
Create ci.yml Build CI #3: Commit 605b6bf pushed by tjhance
September 14, 2024 14:20 1m 22s main
main
September 14, 2024 14:20 1m 22s
Create ci.yml Build CI #2: Commit 9647b2a pushed by tjhance
September 14, 2024 14:18 32s main
main
September 14, 2024 14:18 32s
Create ci.yml Build CI #1: Commit ad75c99 pushed by tjhance
September 14, 2024 14:16 11s main
main
September 14, 2024 14:16 11s