Skip to content

Actions: Skptak/CI-CD-Github-Actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,221 workflow runs
1,221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add echo groups to the CBMC proof run action Executable Monitor Tests #199: Commit efaf9cb pushed by Skptak
October 10, 2023 17:56 7m 18s main
main
October 10, 2023 17:56 7m 18s
Add echo endgroup to the set_up_cbmc_runner/action.yml file Executable Monitor Tests #198: Commit 5ec448a pushed by Skptak
October 10, 2023 17:41 7m 8s main
main
October 10, 2023 17:41 7m 8s
Add echo endgroup to the set_up_cbmc_runner/action.yml file Formatting Tests #234: Commit 5ec448a pushed by Skptak
October 10, 2023 17:41 50s main
main
October 10, 2023 17:41 50s
Add echo endgroup to the set_up_cbmc_runner/action.yml file Test Actions #732: Commit 5ec448a pushed by Skptak
October 10, 2023 17:41 1m 51s main
main
October 10, 2023 17:41 1m 51s
Merge branch 'main' into main Executable Monitor Tests #197: Commit f2644c8 pushed by Skptak
October 10, 2023 16:56 7m 48s main
main
October 10, 2023 16:56 7m 48s
Merge branch 'main' into main Test Actions #731: Commit f2644c8 pushed by Skptak
October 10, 2023 16:56 8m 5s main
main
October 10, 2023 16:56 8m 5s
Merge branch 'main' into main Formatting Tests #233: Commit f2644c8 pushed by Skptak
October 10, 2023 16:56 1m 58s main
main
October 10, 2023 16:56 1m 58s
Take in upstream formatting bot Executable Monitor Tests #196: Commit 7eac675 pushed by Skptak
October 10, 2023 16:56 7m 59s main
main
October 10, 2023 16:56 7m 59s
Take in upstream formatting bot Test Actions #730: Commit 7eac675 pushed by Skptak
October 10, 2023 16:56 2m 48s main
main
October 10, 2023 16:56 2m 48s
Take in upstream formatting bot Formatting Tests #232: Commit 7eac675 pushed by Skptak
October 10, 2023 16:56 58s main
main
October 10, 2023 16:56 58s
Fix two echo endgroups Formatting Tests #231: Commit 397d255 pushed by Skptak
September 20, 2023 20:47 53s main
main
September 20, 2023 20:47 53s
Fix two echo endgroups Test Actions #729: Commit 397d255 pushed by Skptak
September 20, 2023 20:47 2m 0s main
main
September 20, 2023 20:47 2m 0s
Fix two echo endgroups Executable Monitor Tests #195: Commit 397d255 pushed by Skptak
September 20, 2023 20:47 6m 59s main
main
September 20, 2023 20:47 6m 59s
Get upstream formatting bot Executable Monitor Tests #194: Commit 066b803 pushed by Skptak
September 20, 2023 20:43 6m 55s main
main
September 20, 2023 20:43 6m 55s
Get upstream formatting bot Test Actions #728: Commit 066b803 pushed by Skptak
September 20, 2023 20:43 3m 41s main
main
September 20, 2023 20:43 3m 41s
Get upstream formatting bot Formatting Tests #230: Commit 066b803 pushed by Skptak
September 20, 2023 20:43 53s main
main
September 20, 2023 20:43 53s
Fix missing step names Formatting Tests #229: Commit 5b9f6e5 pushed by Skptak
September 8, 2023 20:29 46s main
main
September 8, 2023 20:29 46s
Fix missing step names Executable Monitor Tests #193: Commit 5b9f6e5 pushed by Skptak
September 8, 2023 20:29 7m 34s main
main
September 8, 2023 20:29 7m 34s
Fix missing step names Test Actions #727: Commit 5b9f6e5 pushed by Skptak
September 8, 2023 20:29 1m 33s main
main
September 8, 2023 20:29 1m 33s
Test Actions Test Actions #726: Manually run by Skptak
September 8, 2023 19:15 1m 44s main
main
September 8, 2023 19:15 1m 44s
Use echo groups for doxygen action Test Actions #725: Commit 72d31af pushed by Skptak
September 8, 2023 19:13 2m 0s main
main
September 8, 2023 19:13 2m 0s
Use echo groups for doxygen action Formatting Tests #228: Commit 72d31af pushed by Skptak
September 8, 2023 19:13 44s main
main
September 8, 2023 19:13 44s
Use echo groups for doxygen action Executable Monitor Tests #192: Commit 72d31af pushed by Skptak
September 8, 2023 19:13 6m 52s main
main
September 8, 2023 19:13 6m 52s
Update the actions to use 2 spaces for tabs instead of 4. Small tweak… Formatting Tests #227: Commit c27d56b pushed by Skptak
September 8, 2023 18:33 33s main
main
September 8, 2023 18:33 33s
Update the actions to use 2 spaces for tabs instead of 4. Small tweak… Executable Monitor Tests #191: Commit c27d56b pushed by Skptak
September 8, 2023 18:33 6m 45s main
main
September 8, 2023 18:33 6m 45s