10000 Workflow runs · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: seL4/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,129 workflow runs
8,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Deploy #897: Repository dispatch triggered by seL4-ci
July 15, 2025 15:10 34m 26s
July 15, 2025 15:10 34m 26s
deps-update Deploy #896: Repository dispatch triggered by seL4-ci
July 15, 2025 13:53 2h 35m 12s
July 15, 2025 13:53 2h 35m 12s
deps-update Deploy #895: Repository dispatch triggered by seL4-ci
July 15, 2025 07:19 2h 43m 25s
July 15, 2025 07:19 2h 43m 25s
change link to Resources ot setup page CI #6598: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 43s master
master
July 14, 2025 23:07 43s
change link to Resources ot setup page Compile #6507: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 1m 17s master
master
July 14, 2025 23:07 1m 17s
change link to Resources ot setup page C Parser #5594: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 1m 40s master
master
July 14, 2025 23:07 1m 40s
change link to Resources ot setup page RefMan #5698: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 1m 21s master
master
July 14, 2025 23:07 1m 21s
change link to Resources ot setup page Proof Sync #557: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 2m 1s master
master
July 14, 2025 23:07 2m 1s
change link to Resources ot setup page Trigger #536: Commit acbe30b pushed by lsf37
July 14, 2025 23:07 12s master
master
July 14, 2025 23:07 12s
change link to Resources ot setup page CI #6597: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 2m 41s fix-link-resources
fix-link-resources
July 14, 2025 22:22 2m 41s
change link to Resources ot setup page PR #5870: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 3m 33s fix-link-resources
fix-link-resources
July 14, 2025 22:22 3m 33s
10000
change link to Resources ot setup page HW #292: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 1s
July 14, 2025 22:22 1s
change link to Resources ot setup page RefMan #5697: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 1m 29s fix-link-resources
fix-link-resources
July 14, 2025 22:22 1m 29s
change link to Resources ot setup page Proofs #5001: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 1s
July 14, 2025 22:22 1s
change link to Resources ot setup page Compile #6506: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 3m 2s fix-link-resources
fix-link-resources
July 14, 2025 22:22 3m 2s
change link to Resources ot setup page C Parser #5593: Pull request #1493 synchronize by lsf37
July 14, 2025 22:22 44m 56s fix-link-resources
fix-link-resources
July 14, 2025 22:22 44m 56s
parse_doxygen_xml: non-breaking space for types CI #6596: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 38s master
master
July 14, 2025 22:20 38s
parse_doxygen_xml: non-breaking space for types C Parser #5592: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 1m 30s master
master
July 14, 2025 22:20 1m 30s
parse_doxygen_xml: non-breaking space for types Compile #6505: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 1m 8s master
master
July 14, 2025 22:20 1m 8s
parse_doxygen_xml: non-breaking space for types Proof Sync #556: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 2m 6s master
master
July 14, 2025 22:20 2m 6s
parse_doxygen_xml: non-breaking space for types Deploy #894: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 31m 27s master
master
July 14, 2025 22:20 31m 27s
parse_doxygen_xml: non-breaking space for types Trigger #535: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 14s master
master
July 14, 2025 22:20 14s
parse_doxygen_xml: non-breaking space for types RefMan #5696: Commit f44f103 pushed by lsf37
July 14, 2025 22:20 1m 37s master
master
July 14, 2025 22:20 1m 37s
deps-update Deploy #893: Repository dispatch triggered by seL4-ci
July 14, 2025 10:44 1h 6m 5s
July 14, 2025 10:44 1h 6m 5s
manual: markdown generation tweaks CI #6595: Pull request #1494 synchronize by lsf37
July 14, 2025 01:45 37s lsf37/manual-markdown
lsf37/manual-markdown
July 14, 2025 01:45 37s
0