Skip to content

Actions: openmls/validation.dhall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #25 from openmls/keks/fix-build Build and Deploy HTML Dashboard #30: Commit 7e8b11b pushed by franziskuskiefer
January 16, 2025 18:16 1m 17s main
main
January 16, 2025 18:16 1m 17s
Merge pull request #24 from openmls/keks/add-more-checks Build and Deploy HTML Dashboard #29: Commit a2ac576 pushed by keks
January 16, 2025 15:21 1m 28s main
main
January 16, 2025 15:21 1m 28s
Merge pull request #20 from openmls/keks/add-checks Build and Deploy HTML Dashboard #28: Commit 26bfc99 pushed by keks
December 19, 2024 13:50 1m 4s main
main
December 19, 2024 13:50 1m 4s
Merge pull request #19 from openmls/keks/more-updates Build and Deploy HTML Dashboard #27: Commit a10876c pushed by keks
November 28, 2024 12:34 58s main
main
November 28, 2024 12:34 58s
Merge pull request #18 from openmls/keks/update-valn0110 Build and Deploy HTML Dashboard #26: Commit 2416434 pushed by franziskuskiefer
September 28, 2024 06:03 1m 15s main
main
September 28, 2024 06:03 1m 15s
Merge pull request #17 from openmls/keks/move-rfc-links Build and Deploy HTML Dashboard #25: Commit aa7b2b6 pushed by keks
September 27, 2024 13:55 1m 22s main
main
September 27, 2024 13:55 1m 22s
Merge pull request #16 from openmls/keks/add-checkset-html-id Build and Deploy HTML Dashboard #24: Commit b02a7ae pushed by keks
September 27, 2024 12:47 1m 16s main
main
September 27, 2024 12:47 1m 16s
Merge pull request #14 from openmls/keks/update-valno0701 Build and Deploy HTML Dashboard #23: Commit dd018a7 pushed by franziskuskiefer
September 20, 2024 11:53 1m 33s main
main
September 20, 2024 11:53 1m 33s
Merge pull request #13 from openmls/keks/dashboard-more-links Build and Deploy HTML Dashboard #22: Commit dd4c34a pushed by franziskuskiefer
September 20, 2024 11:53 2m 6s main
main
September 20, 2024 11:53 2m 6s
Merge pull request #12 from openmls/keks/assemble-code-refs Build and Deploy HTML Dashboard #21: Commit 76b8fae pushed by keks
September 5, 2024 12:48 1m 22s main
main
September 5, 2024 12:48 1m 22s
Merge pull request #8 from openmls/keks/mirror-1599 Build and Deploy HTML Dashboard #20: Commit 4f87423 pushed by keks
August 6, 2024 12:45 1m 3s main
main
August 6, 2024 12:45 1m 3s
Merge pull request #10 from openmls/keks/pragmatice-code-refs Build and Deploy HTML Dashboard #19: Commit 22b548d pushed by franziskuskiefer
July 4, 2024 19:11 1m 9s main
main
July 4, 2024 19:11 1m 9s
Merge pull request #7 from openmls/keks/update-308 Build and Deploy HTML Dashboard #18: Commit aaca7c8 pushed by keks
June 27, 2024 11:34 1m 17s main
main
June 27, 2024 11:34 1m 17s
Merge pull request #6 from openmls/keks/documentation Build and Deploy HTML Dashboard #17: Commit 85c2e1d pushed by franziskuskiefer
June 5, 2024 08:36 51s main
main
June 5, 2024 08:36 51s
fix dashboard Build and Deploy HTML Dashboard #16: Commit aa20b61 pushed by keks
March 6, 2024 11:55 44s main
main
March 6, 2024 11:55 44s
Merge pull request #2 from openmls/keks/highlighting-bookmarklet Build and Deploy HTML Dashboard #15: Commit 98311ad pushed by keks
March 6, 2024 11:52 30s main
main
March 6, 2024 11:52 30s
refactor file structure Build and Deploy HTML Dashboard #14: Commit afe9834 pushed by keks
March 6, 2024 11:50 1m 20s main
main
March 6, 2024 11:50 1m 20s
fix rfc reference Build and Deploy HTML Dashboard #13: Commit 6c0c6ef pushed by keks
February 22, 2024 09:47 46s main
main
February 22, 2024 09:47 46s
add commit validation checkset Build and Deploy HTML Dashboard #12: Commit d31c469 pushed by keks
February 22, 2024 09:44 1m 19s main
main
February 22, 2024 09:44 1m 19s
fix note; improve notes; fix scaling in css Build and Deploy HTML Dashboard #11: Commit bdc2c75 pushed by keks
February 22, 2024 08:28 1m 23s main
main
February 22, 2024 08:28 1m 23s
pages: rename output file to index.html Build and Deploy HTML Dashboard #10: Commit a8b72b9 pushed by keks
February 19, 2024 12:58 44s main
main
February 19, 2024 12:58 44s
enable pages Build and Deploy HTML Dashboard #9: Commit 48701c9 pushed by keks
February 19, 2024 12:54 1m 17s main
main
February 19, 2024 12:54 1m 17s
make github happy again Build and Deploy HTML Dashboard #8: Commit 43fcdec pushed by keks
February 15, 2024 18:21 30s main
main
February 15, 2024 18:21 30s
embed css in html file Build and Deploy HTML Dashboard #7: Commit f981249 pushed by keks
February 15, 2024 18:20 1m 7s main
main
February 15, 2024 18:20 1m 7s
maybe fix workflow Build and Deploy HTML Dashboard #6: Commit fb168e5 pushed by keks
February 15, 2024 18:10 1m 20s main
main
February 15, 2024 18:10 1m 20s