Skip to content

Actions: xtclang/xvm

XVM Verification and Package Updates

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,116 workflow runs
1,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor edits from review with GG
XVM Verification and Package Updates #1361: Commit 7fffc59 pushed by cpurdy
November 25, 2024 14:59 6m 20s cpurdy/websec
November 25, 2024 14:59 6m 20s
Fix a TODO
XVM Verification and Package Updates #1360: Commit 67151ea pushed by ggleyzer
November 24, 2024 18:34 5m 43s cpurdy/websec
November 24, 2024 18:34 5m 43s
Fix a TODO
XVM Verification and Package Updates #1359: Commit 27475b5 pushed by ggleyzer
November 24, 2024 18:18 6m 53s cpurdy/websec
November 24, 2024 18:18 6m 53s
Fix digest challenge support for Safari
XVM Verification and Package Updates #1358: Commit 982f05c pushed by ggleyzer
November 24, 2024 17:16 5m 30s cpurdy/websec
November 24, 2024 17:16 5m 30s
Add support for https auto-redirect
XVM Verification and Package Updates #1357: Commit f2f6084 pushed by ggleyzer
November 24, 2024 00:40 6m 20s cpurdy/websec
November 24, 2024 00:40 6m 20s
WIP (some exceptions in test)
XVM Verification and Package Updates #1356: Commit 0e09082 pushed by cpurdy
November 22, 2024 23:25 5m 57s cpurdy/websec
November 22, 2024 23:25 5m 57s
WIP (it compiles!)
XVM Verification and Package Updates #1355: Commit a53a0a0 pushed by cpurdy
November 22, 2024 23:04 6m 29s cpurdy/websec
November 22, 2024 23:04 6m 29s
WIP
XVM Verification and Package Updates #1354: Commit 6c0fb22 pushed by cpurdy
November 22, 2024 22:34 4m 12s cpurdy/websec
November 22, 2024 22:34 4m 12s
Update the doc
XVM Verification and Package Updates #1353: Commit 7927c77 pushed by ggleyzer
November 22, 2024 22:33 1m 1s cpurdy/websec
November 22, 2024 22:33 1m 1s
Update @Restrict annotation as discussed this morning
XVM Verification and Package Updates #1352: Commit 4cd87a8 pushed by cpurdy
November 22, 2024 19:35 3m 7s cpurdy/websec
November 22, 2024 19:35 3m 7s
TODO GG
XVM Verification and Package Updates #1351: Commit 3ac9803 pushed by cpurdy
November 22, 2024 15:45 5m 52s cpurdy/websec
November 22, 2024 15:45 5m 52s
Simplify Hello test
XVM Verification and Package Updates #1350: Commit 72c6afe pushed by ggleyzer
November 21, 2024 22:46 5m 50s cpurdy/websec
November 21, 2024 22:46 5m 50s
Minor updates
XVM Verification and Package Updates #1349: Commit 75044d1 pushed by cpurdy
November 21, 2024 22:42 4m 18s cpurdy/websec
November 21, 2024 22:42 4m 18s
Remove obsolete TODO
XVM Verification and Package Updates #1348: Commit b305977 pushed by ggleyzer
November 21, 2024 22:10 5m 38s cpurdy/websec
November 21, 2024 22:10 5m 38s
Fix DigestAuthenticator (wip)
XVM Verification and Package Updates #1347: Commit d3a65c8 pushed by ggleyzer
November 21, 2024 22:01 5m 32s cpurdy/websec
November 21, 2024 22:01 5m 32s
Fix ChainBundle (temporary)
XVM Verification and Package Updates #1346: Commit a705f30 pushed by ggleyzer
November 21, 2024 19:58 5m 44s cpurdy/websec
November 21, 2024 19:58 5m 44s
Fix LoginRequired support
XVM Verification and Package Updates #1345: Commit e754b2d pushed by ggleyzer
November 21, 2024 17:26 6m 30s cpurdy/websec
November 21, 2024 17:26 6m 30s
Fix an assertion caused by a compilation error
XVM Verification and Package Updates #1344: Commit 0ddc63a pushed by ggleyzer
November 21, 2024 15:47 6m 1s cpurdy/websec
November 21, 2024 15:47 6m 1s
Create "webcli" module
XVM Verification and Package Updates #1343: Commit bd7dbdb pushed by ggleyzer
November 21, 2024 15:42 6m 26s gene/webcli
November 21, 2024 15:42 6m 26s
Fix an assertion in a case of a compilation error
XVM Verification and Package Updates #1342: Commit fc075a0 pushed by ggleyzer
November 21, 2024 15:39 3m 59s gene/webcli
November 21, 2024 15:39 3m 59s
Make Hello app working with new "sec" changes
XVM Verification and Package Updates #1341: Commit 62f78ed pushed by ggleyzer
November 20, 2024 22:59 6m 57s cpurdy/websec
November 20, 2024 22:59 6m 57s
Make web apps work with new "sec" changes
XVM Verification and Package Updates #1340: Commit 3059447 pushed by ggleyzer
November 20, 2024 22:54 5m 25s cpurdy/websec
November 20, 2024 22:54 5m 25s
Create "webcli" module
XVM Verification and Package Updates #1339: Commit bd7dbdb pushed by ggleyzer
November 20, 2024 16:16 8m 14s gene/webcli
November 20, 2024 16:16 8m 14s
Security updates: Create new security module, use that module in the …
XVM Verification and Package Updates #1338: Commit ca36fd0 pushed by cpurdy
November 20, 2024 15:59 5m 49s cpurdy/websec
November 20, 2024 15:59 5m 49s
Improve the support for typedefs pointing to mixins
XVM Verification and Package Updates #1337: Commit 0709d21 pushed by ggleyzer
November 20, 2024 15:56 11m 57s master
November 20, 2024 15:56 11m 57s