Skip to content

Actions: tokiwa-software/fuzion

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
4,619 workflow runs
4,619 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lib: ensure Sequence.equality with infinite sequences terminates whenever possible CodeQL #5617: Pull request #4021 synchronize by simonvonhackewitz
October 25, 2024 11:33 3m 38s simonvonhackewitz:comparison_with_finite_sequence
simonvonhackewitz:comparison_with_finite_sequence
October 25, 2024 11:33 3m 38s
lib: ensure Sequence.equality with infinite sequences terminates whenever possible CodeQL #5616: Pull request #4021 opened by simonvonhackewitz
October 25, 2024 11:14 3m 33s simonvonhackewitz:comparison_with_finite_sequence
simonvonhackewitz:comparison_with_finite_sequence
October 25, 2024 11:14 3m 33s
lib: change Sequence.finite to return infinite, infinite, unknown. CodeQL #5615: Pull request #4020 opened by michaellilltokiwa
October 25, 2024 10:43 2m 54s michaellilltokiwa:lib--change-Sequence.finite-to-return-infinite,-infinite,-unknown
michaellilltokiwa:lib--change-Sequence.finite-to-return-infinite,-infinite,-unknown
October 25, 2024 10:43 2m 54s
tests: add reg test #1741 CodeQL #5614: Pull request #3999 synchronize by michaellilltokiwa
October 25, 2024 09:44 3m 39s michaellilltokiwa:issue/1741
michaellilltokiwa:issue/1741
October 25, 2024 09:44 3m 39s
lib: change Sequence.first/last to return options CodeQL #5613: Pull request #4018 opened by michaellilltokiwa
October 25, 2024 09:41 3m 39s michaellilltokiwa:lib--change-Sequence.first/last-to-return-options
michaellilltokiwa:lib--change-Sequence.first/last-to-return-options
October 25, 2024 09:41 3m 39s
lib: add type.equality to array, list, Linked_List CodeQL #5612: Pull request #4016 opened by michaellilltokiwa
October 25, 2024 08:37 3m 47s michaellilltokiwa:lib--add-type.equality-to-array,-list,-Linked_List
michaellilltokiwa:lib--add-type.equality-to-array,-list,-Linked_List
October 25, 2024 08:37 3m 47s
lib: fix dead-lock in thread_pool CodeQL #5611: Pull request #3992 synchronize by michaellilltokiwa
October 25, 2024 08:17 3m 30s michaellilltokiwa:issue/3831
michaellilltokiwa:issue/3831
October 25, 2024 08:17 3m 30s
lib: remove FALSE TRUE CodeQL #5610: Pull request #4014 opened by michaellilltokiwa
October 25, 2024 07:37 3m 32s michaellilltokiwa:remove_FALSE_TRUE
michaellilltokiwa:remove_FALSE_TRUE
October 25, 2024 07:37 3m 32s
Merge pull request #3917 from michaellilltokiwa/ast--simplify-logic-o… CodeQL #5609: Commit f550081 pushed by michaellilltokiwa
October 25, 2024 06:52 3m 40s main
main
October 25, 2024 06:52 3m 40s
Merge pull request #4002 from michaellilltokiwa/issue/2967 CodeQL #5608: Commit aa80618 pushed by michaellilltokiwa
October 25, 2024 06:52 3m 42s main
main
October 25, 2024 06:52 3m 42s
tests: add reg tests #2967 CodeQL #5607: Pull request #4002 synchronize by michaellilltokiwa
October 25, 2024 06:52 3m 44s michaellilltokiwa:issue/2967
michaellilltokiwa:issue/2967
October 25, 2024 06:52 3m 44s
Merge pull request #4003 from michaellilltokiwa/issue/3160 CodeQL #5606: Commit 8279807 pushed by michaellilltokiwa
October 25, 2024 06:52 3m 52s main
main
October 25, 2024 06:52 3m 52s
tests: add reg test #3160 CodeQL #5605: Pull request #4003 synchronize by michaellilltokiwa
October 25, 2024 06:51 3m 56s michaellilltokiwa:issue/3160
michaellilltokiwa:issue/3160
October 25, 2024 06:51 3m 56s
Merge pull request #4005 from michaellilltokiwa/issue/3769 CodeQL #5604: Commit 585f7d9 pushed by michaellilltokiwa
October 25, 2024 06:51 3m 32s main
main
October 25, 2024 06:51 3m 32s
tests: add reg test #3769 CodeQL #5603: Pull request #4005 synchronize by michaellilltokiwa
October 25, 2024 06:51 4m 7s michaellilltokiwa:issue/3769
michaellilltokiwa:issue/3769
October 25, 2024 06:51 4m 7s
Merge pull request #4001 from michaellilltokiwa/fuir--remove-dead-cod… CodeQL #5602: Commit fb9da17 pushed by michaellilltokiwa
October 25, 2024 06:51 3m 34s main
main
October 25, 2024 06:51 3m 34s
Merge pull request #4010 from michaellilltokiwa/tests_ctrie_remove_NYI CodeQL #5601: Commit 8a66a39 pushed by michaellilltokiwa
October 25, 2024 06:51 3m 40s main
main
October 25, 2024 06:51 3m 40s
Merge pull request #4011 from tokiwa-software/fix_3990 CodeQL #5600: Commit fd274f1 pushed by michaellilltokiwa
October 25, 2024 06:50 3m 46s main
main
October 25, 2024 06:50 3m 46s
Merge pull request #4012 from tokiwa-software/fuir_implement_declarat… CodeQL #5599: Commit 8a512dd pushed by michaellilltokiwa
October 25, 2024 06:50 3m 32s main
main
October 25, 2024 06:50 3m 32s
Merge pull request #4009 from michaellilltokiwa/lib--move-time.durati… CodeQL #5598: Commit 91c4bb7 pushed by fridis
October 25, 2024 05:41 3m 25s main
main
October 25, 2024 05:41 3m 25s
Merge pull request #4007 from michaellilltokiwa/fe--remove-unused-code CodeQL #5597: Commit 9eb4843 pushed by fridis
October 25, 2024 05:39 3m 32s main
main
October 25, 2024 05:39 3m 32s
Merge pull request #4006 from michaellilltokiwa/issue/3905 CodeQL #5596: Commit 9b05e66 pushed by fridis
October 25, 2024 05:38 3m 42s main
main
October 25, 2024 05:38 3m 42s
Merge pull request #4004 from michaellilltokiwa/issue/3355 CodeQL #5595: Commit ef46d67 pushed by fridis
October 25, 2024 05:33 3m 36s main
main
October 25, 2024 05:33 3m 36s
Merge pull request #4000 from michaellilltokiwa/issue/2086 CodeQL #5594: Commit 086a3a9 pushed by fridis
October 25, 2024 05:05 3m 42s main
main
October 25, 2024 05:05 3m 42s
Merge pull request #3998 from michaellilltokiwa/cleanup--remove-unuse… CodeQL #5593: Commit 5042ffe pushed by fridis
October 25, 2024 05:02 3m 29s main
main
October 25, 2024 05:02 3m 29s