Skip to content

Actions: adisandro/MMINT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
470 workflow runs
470 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #107 from adisandro/dependabot/maven/releng/edu.to… Build and Deploy #1217: Commit 85d79af pushed by adisandro
May 21, 2024 14:36 39m 37s develop
develop
May 21, 2024 14:36 39m 37s
build(deps): bump kotlin-version from 1.9.24 to 2.0.0 in /releng/edu.toronto.cs.se.mmint.releng Build and Deploy #1216: Pull request #107 opened by dependabot bot
May 21, 2024 09:45 7m 20s dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/kotlin-version-2.0.0
dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/kotlin-version-2.0.0
May 21, 2024 09:45 7m 20s
pl: Fix sirius edge creation Build and Deploy #1215: Commit ecd42ea pushed by adisandro
May 20, 2024 21:24 7m 0s develop
develop
May 20, 2024 21:24 7m 0s
gsn: Add some documentation about extending templates Build and Deploy #1214: Commit 189f99c pushed by adisandro
May 20, 2024 18:27 6m 55s develop
develop
May 20, 2024 18:27 6m 55s
pl: Add apis to add/set/get list attributes Build and Deploy #1213: Commit 9ad585f pushed by adisandro
May 20, 2024 17:43 7m 9s develop
develop
May 20, 2024 17:43 7m 9s
Merge pull request #106 from adisandro/dependabot/maven/releng/edu.to… Build and Deploy #1212: Commit 3f8ba64 pushed by adisandro
May 20, 2024 13:41 14m 10s develop
develop
May 20, 2024 13:41 14m 10s
build(deps): bump org.eclipse.jdt:ecj from 3.38.0.v20240427-0959 to 3.38.0.v20240516-0852 in /releng/edu.toronto.cs.se.mmint.releng Build and Deploy #1211: Pull request #106 opened by dependabot bot
May 20, 2024 09:42 16m 27s dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.eclipse.jdt-ecj-3.38.0.v20240516-0852
dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.eclipse.jdt-ecj-3.38.0.v20240516-0852
May 20, 2024 09:42 16m 27s
gsn+pl: Fix creation of goals from builder Build and Deploy #1210: Commit 4532f27 pushed by adisandro
May 15, 2024 23:42 16m 11s develop
develop
May 15, 2024 23:42 16m 11s
fm24: Add strategy description update when importing Build and Deploy #1209: Commit c6c9377 pushed by adisandro
May 13, 2024 21:29 1d 17h 11m 46s develop
develop
May 13, 2024 21:29 1d 17h 11m 46s
gsn+pl: Lift template to plug in analyses part 7 Build and Deploy #1208: Commit 20258aa pushed by adisandro
May 11, 2024 00:31 5m 16s develop
develop
May 11, 2024 00:31 5m 16s
logicng: Depend on additional parser jar after 2.5.0 split part 3 Build and Deploy #1207: Commit 5fd24d0 pushed by adisandro
May 9, 2024 23:16 1d 6h 22m 12s develop
develop
May 9, 2024 23:16 1d 6h 22m 12s
releng: Bump github runner image to Ubuntu 24.04 Build and Deploy #1206: Commit b7276b0 pushed by adisandro
May 9, 2024 22:46 29m 59s develop
develop
May 9, 2024 22:46 29m 59s
gsn+pl: Add api to run analysis before/after template code Build and Deploy #1205: Commit c8df2b6 pushed by adisandro
May 8, 2024 01:02 9m 34s develop
develop
May 8, 2024 01:02 9m 34s
kotlin: Bump version to 1.9.24 in idea files Build and Deploy #1204: Commit 3525ec5 pushed by adisandro
May 8, 2024 00:17 10m 37s develop
develop
May 8, 2024 00:17 10m 37s
Merge pull request #105 from adisandro/dependabot/maven/releng/edu.to… Build and Deploy #1203: Commit 561cb13 pushed by adisandro
May 7, 2024 13:34 11m 7s develop
develop
May 7, 2024 13:34 11m 7s
build(deps): bump kotlin-version from 1.9.23 to 1.9.24 in /releng/edu.toronto.cs.se.mmint.releng Build and Deploy #1202: Pull request #105 opened by dependabot bot
May 7, 2024 09:58 9m 21s dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/kotlin-version-1.9.24
dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/kotlin-version-1.9.24
May 7, 2024 09:58 9m 21s
logicng: Depend on additional parser jar after 2.5.0 split part 2 Build and Deploy #1201: Commit faf241a pushed by adisandro
May 6, 2024 21:55 10m 37s develop
develop
May 6, 2024 21:55 10m 37s
logicng: Depend on additional parser jar after 2.5.0 split Build and Deploy #1200: Commit 40ec679 pushed by adisandro
May 2, 2024 16:14 7m 0s develop
develop
May 2, 2024 16:14 7m 0s
build(deps): bump org.logicng:logicng from 2.4.1 to 2.5.0 in /releng/edu.toronto.cs.se.mmint.releng Build and Deploy #1199: Pull request #104 opened by dependabot bot
May 2, 2024 09:19 2m 41s dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.logicng-logicng-2.5.0
dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.logicng-logicng-2.5.0
May 2, 2024 09:19 2m 41s
Merge pull request #103 from adisandro/dependabot/maven/releng/edu.to… Build and Deploy #1198: Commit 9a76058 pushed by adisandro
April 29, 2024 10:03 11m 45s develop
develop
April 29, 2024 10:03 11m 45s
build(deps): bump org.eclipse.jdt:ecj from 3.38.0.v20240415-2034 to 3.38.0.v20240427-0959 in /releng/edu.toronto.cs.se.mmint.releng Build and Deploy #1197: Pull request #103 opened by dependabot bot
April 29, 2024 09:37 13m 46s dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.eclipse.jdt-ecj-3.38.0.v20240427-0959
dependabot/maven/releng/edu.toronto.cs.se.mmint.releng/develop/org.eclipse.jdt-ecj-3.38.0.v20240427-0959
April 29, 2024 09:37 13m 46s
fm24: Add instructions Build and Deploy #1196: Commit 86b821a pushed by adisandro
April 27, 2024 03:05 8m 1s develop
develop
April 27, 2024 03:05 8m 1s
fm24: Update query templates and analyses part 13 Build and Deploy #1195: Commit ab334db pushed by adisandro
April 27, 2024 02:32 6m 58s develop
develop
April 27, 2024 02:32 6m 58s
safecomp24: Remove link for rejected paper Build and Deploy #1194: Commit 30f2782 pushed by adisandro
April 27, 2024 01:06 7m 11s develop
develop
April 27, 2024 01:06 7m 11s
fm24: Update query templates and analyses part 12 Build and Deploy #1193: Commit ce7c56f pushed by adisandro
April 26, 2024 22:37 7m 6s develop
develop
April 26, 2024 22:37 7m 6s