Skip to content

Actions: MasWag/FalCAuN

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
539 workflow runs
539 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1: by MasWag
May 30, 2024 10:08 43s gh-pages
gh-pages
May 30, 2024 10:08 43s
Create publish-javadoc.yml JUnit #380: Commit 6863522 pushed by MasWag
May 30, 2024 09:41 37s master
master
May 30, 2024 09:41 37s
Create publish-javadoc.yml Deploy Javadoc #1: Commit 6863522 pushed by MasWag
May 30, 2024 09:41 34s master
master
May 30, 2024 09:41 34s
Writing comments JUnit #379: Commit 233b748 pushed by MasWag
May 30, 2024 09:32 1m 10s master
master
May 30, 2024 09:32 1m 10s
Tried to support piecewise constant signals but not working well JUnit #378: Commit 08a5ac0 pushed by MasWag
May 23, 2024 08:39 43s raw_simulink_model
raw_simulink_model
May 23, 2024 08:39 43s
Tried to support piecewise constant signals but not working well JUnit #377: Commit e87015d pushed by MasWag
May 23, 2024 08:36 51s raw_simulink_model
raw_simulink_model
May 23, 2024 08:36 51s
Tried to support piecewise constant signals but not working well JUnit #376: Commit e79f8a3 pushed by MasWag
May 10, 2024 11:54 1m 42s raw_simulink_model
raw_simulink_model
May 10, 2024 11:54 1m 42s
Updated the comments JUnit #375: Commit 477a4f2 pushed by MasWag
April 20, 2024 11:51 44s raw_simulink_model
raw_simulink_model
April 20, 2024 11:51 44s
Fixed the evaluation count JUnit #374: Commit c819f53 pushed by MasWag
April 20, 2024 11:32 41s raw_simulink_model
raw_simulink_model
April 20, 2024 11:32 41s
Added ATS1 with larger step JUnit #373: Commit d8d5bbd pushed by MasWag
April 20, 2024 06:46 48s raw_simulink_model
raw_simulink_model
April 20, 2024 06:46 48s
Updated the ignored tests on CircleCI JUnit #372: Commit 2b441d8 pushed by MasWag
April 19, 2024 00:06 40s raw_simulink_model
raw_simulink_model
April 19, 2024 00:06 40s
Updated the ignored tests on CircleCI JUnit #371: Commit 518742c pushed by MasWag
April 18, 2024 15:17 50s raw_simulink_model
raw_simulink_model
April 18, 2024 15:17 50s
ImplementedExtendedSignalMapper JUnit #370: Commit 00337c0 pushed by MasWag
April 18, 2024 14:04 1m 17s raw_simulink_model
raw_simulink_model
April 18, 2024 14:04 1m 17s
Added a jupyter notebook demo for Mealy verification JUnit #369: Commit 1a6e0ca pushed by MasWag
April 12, 2024 07:06 45s split_modules
split_modules
April 12, 2024 07:06 45s
Added the pacemaker example JUnit #368: Commit 19385d6 pushed by MasWag
April 9, 2024 12:32 50s split_modules
split_modules
April 9, 2024 12:32 50s
Added Jupyter Notebook demos JUnit #367: Commit 9b8cb87 pushed by MasWag
April 8, 2024 12:13 42s split_modules
split_modules
April 8, 2024 12:13 42s
Added examples to run FalCAuN via kscript JUnit #366: Commit 55972bb pushed by MasWag
April 7, 2024 22:56 45s split_modules
split_modules
April 7, 2024 22:56 45s
Added examples to run FalCAuN via kscript JUnit #365: Commit e2b8499 pushed by MasWag
April 7, 2024 02:11 46s split_modules
split_modules
April 7, 2024 02:11 46s
Added examples to run FalCAuN via kscript JUnit #364: Commit f77d30d pushed by MasWag
April 6, 2024 09:10 47s split_modules
split_modules
April 6, 2024 09:10 47s
Implemented LTL JUnit #363: Commit f0b6a40 pushed by MasWag
April 5, 2024 00:59 46s split_modules
split_modules
April 5, 2024 00:59 46s
Update config.yml JUnit #362: Commit ff0f122 pushed by MasWag
April 5, 2024 00:45 40s master
master
April 5, 2024 00:45 40s
Implemented LTL JUnit #361: Commit e1e9940 pushed by MasWag
April 4, 2024 13:04 47s split_modules
split_modules
April 4, 2024 13:04 47s
Implemented LTL JUnit #360: Commit 0b63f9b pushed by MasWag
April 4, 2024 13:01 43s split_modules
split_modules
April 4, 2024 13:01 43s
Implemented LTL JUnit #359: Commit 1c30e9a pushed by MasWag
April 4, 2024 13:01 44s split_modules
split_modules
April 4, 2024 13:01 44s
Updated libraries JUnit #358: Commit 604fc7d pushed by MasWag
March 31, 2024 14:19 54s split_modules
split_modules
March 31, 2024 14:19 54s
ProTip! You can narrow down the results and go further in time using created:<2024-03-31 or the other filters available.