Skip to content

Actions: hyperpolymath/tangle

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
251 workflow runs
251 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… CodeQL Security Analysis #226: Commit c0a362f pushed by hyperpolymath
45s main
main
45s
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (#96) CodeQL Security Analysis #225: Pull request #101 opened by hyperpolymath
44s fix/twist-in-weave-96
fix/twist-in-weave-96
44s
feat(jeg): judgement evidence graph — reify derivations, and CHECK th… CodeQL Security Analysis #224: Commit 0366a8e pushed by hyperpolymath
40s main
main
40s
feat(jeg): judgement evidence graph — reify derivations, and CHECK them CodeQL Security Analysis #223: Pull request #100 opened by hyperpolymath
38s feat/judgement-evidence-graph
feat/judgement-evidence-graph
38s
feat(tg-11): surface syntax for epistemic types + fix a second statem… CodeQL Security Analysis #222: Commit 40e917d pushed by hyperpolymath
43s main
main
43s
feat(tg-11): surface syntax for epistemic types + fix a second statement-order bug CodeQL Security Analysis #221: Pull request #99 opened by hyperpolymath
41s feat/epistemic-surface-syntax
feat/epistemic-surface-syntax
41s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… CodeQL Security Analysis #220: Commit cf56397 pushed by hyperpolymath
18m 15s main
main
18m 15s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction CodeQL Security Analysis #219: Pull request #98 opened by hyperpolymath
5m 53s feat/epistemic-types
feat/epistemic-types
5m 53s
fix(corpus): run conformance programs, and correct a second false ass… CodeQL Security Analysis #218: Commit 1403f2a pushed by hyperpolymath
2m 58s main
main
2m 58s
fix(corpus): run conformance programs, and correct a second false assertion CodeQL Security Analysis #217: Pull request #97 opened by hyperpolymath
2m 27s fix/corpus-eval-and-false-claims
fix/corpus-eval-and-false-claims
2m 27s
feat(#92): widths need not agree for ==, and match arms join on wid… CodeQL Security Analysis #216: Commit 478857f pushed by hyperpolymath
1m 26s main
main
1m 26s
feat(#92): widths need not agree for ==, and match arms join on width CodeQL Security Analysis #215: Pull request #95 opened by hyperpolymath
49s feat/width-widening-92
feat/width-widening-92
49s
feat(parser): weave is an expression, not only a statement (#88 B) (#93) CodeQL Security Analysis #214: Commit 1223ea6 pushed by hyperpolymath
58s main
main
58s
feat(parser): weave is an expression, not only a statement (#88 B) CodeQL Security Analysis #213: Pull request #93 opened by hyperpolymath
45s feat/parser-weave-add-88
feat/parser-weave-add-88
45s
fix(typecheck): infer recursive functions' return type by fixpoint (#… CodeQL Security Analysis #212: Commit 4e6903f pushed by hyperpolymath
45s main
main
45s
fix(typecheck): infer recursive functions' return type by fixpoint (#88) CodeQL Security Analysis #211: Pull request #91 opened by hyperpolymath
51s feat/corpus-typing-88
feat/corpus-typing-88
51s
fix(rsr): finish template instantiation + enforce it (#56) (#90) CodeQL Security Analysis #210: Commit b53fc0e pushed by hyperpolymath
40s main
main
40s
fix(rsr): finish template instantiation + enforce it (#56) CodeQL Security Analysis #209: Pull request #90 synchronize by hyperpolymath
45s fix/rsr-instantiation-56
fix/rsr-instantiation-56
45s
fix(rsr): finish template instantiation + enforce it (#56) CodeQL Security Analysis #208: Pull request #90 opened by hyperpolymath
50s fix/rsr-instantiation-56
fix/rsr-instantiation-56
50s
feat(ci): gate the runnable corpus — examples/ and conformance/ (#89) CodeQL Security Analysis #207: Commit 12a32ce pushed by hyperpolymath
49s main
main
49s
feat(ci): gate the runnable corpus — examples/ and conformance/ CodeQL Security Analysis #206: Pull request #89 opened by hyperpolymath
46s feat/gate-conformance-examples
feat/gate-conformance-examples
46s
feat(tg-7): == on braids decides braid-group equivalence (#50 rulin… CodeQL Security Analysis #205: Commit f489211 pushed by hyperpolymath
51s main
main
51s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) CodeQL Security Analysis #204: Pull request #87 synchronize by hyperpolymath
38s feat/tg7-braid-equality
feat/tg7-braid-equality
38s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) CodeQL Security Analysis #203: Pull request #87 opened by hyperpolymath
46s feat/tg7-braid-equality
feat/tg7-braid-equality
46s
chore(ci): remove dormant push-email notification workflow (#86) CodeQL Security Analysis #202: Commit c595cd7 pushed by hyperpolymath
50s main
main
50s